, International Association of Public Transport. Metro service performance indicators, 2011.

B. Bernard and M. Diaz, Modeling and verification of time dependent systems using time petri nets, IEEE Trans. on Soft. Eng, 1991.

A. Ariano, A branch and bound algorithm for scheduling trains in a railway network, European Journal of Operational Research, 2007.

D. David and . Escrig, Decidability of properties of timed-arc petri nets, Lecture Notes in Computer Science : 21st International Conference on Application and Theory of Petri Nets, 2000.

G. Alessandro, Modeling and supervisory control of railway networks using petri nets, IEEE Trans. Aut. Sci. & Eng, 2008.

H. András, Transient analysis of non-markovian models using stochastic state classes, Perf. Eval, 2012.

H. Laurent, Contribution à la commande des systèmes (max,+)-linéaires. Applications aux réseaux de transport, 2006.

C. W. Janczura, Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets, 1998.

K. Wael, P-time petri nets for manufacturing systems, Workshop Series on Discrete Event Systems, 1996.

M. A. Marsan, A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems, ACM Trans. on Comp. Sys, 1984.

P. M. Merlin, A study of the recoverability of computing systems, 1974.

U. Montanari and F. Rossi, Contextual nets. Acta Informatica, 1994.

C. A. Petri, Kommunikation mit Automaten. Doktorarbeit, Institut für Instrumentelle Mathematik, 1962.