, International Association of Public Transport. Metro service performance indicators, 2011.
Modeling and verification of time dependent systems using time petri nets, IEEE Trans. on Soft. Eng, 1991. ,
A branch and bound algorithm for scheduling trains in a railway network, European Journal of Operational Research, 2007. ,
Decidability of properties of timed-arc petri nets, Lecture Notes in Computer Science : 21st International Conference on Application and Theory of Petri Nets, 2000. ,
Modeling and supervisory control of railway networks using petri nets, IEEE Trans. Aut. Sci. & Eng, 2008. ,
Transient analysis of non-markovian models using stochastic state classes, Perf. Eval, 2012. ,
Contribution à la commande des systèmes (max,+)-linéaires. Applications aux réseaux de transport, 2006. ,
Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets, 1998. ,
P-time petri nets for manufacturing systems, Workshop Series on Discrete Event Systems, 1996. ,
A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems, ACM Trans. on Comp. Sys, 1984. ,
A study of the recoverability of computing systems, 1974. ,
, Contextual nets. Acta Informatica, 1994.
, Kommunikation mit Automaten. Doktorarbeit, Institut für Instrumentelle Mathematik, 1962.