H. Fleischhack and E. Pelz, Hierarchical Timed High Level Nets and Their Branching Processes, Proceedings of ICATPN'03, pp.397-416, 2003.
DOI : 10.1007/3-540-44919-1_25

M. Heiner and L. Popova-zeugmann, Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets, Proceedings of 5. Fachtagung Entwurf komplexer Automatisierungssysteme, 1997.

P. Merlin, A Study of the Recoverability of Communication Protocols, 1974.

C. A. Petri, Fundamentals of a Theory of Asynchronous Information Flow, IFIP Congress, 1962.

L. Popova-zeugmann, On Time Petri Nets, J. Inform. Process. Cybern. EIK, vol.274, 1991.

L. Popova-zeugmann, Time and Petri Nets, 2013.

L. Popova-zeugmann and E. Pelz, Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays, Fundamenta Informaticae, vol.120, issue.3-4, pp.341-357, 2012.

L. Popova-zeugmann, M. Werner, and J. Richling, Using State-equation to Prove Nonreachability in Timed Petrinets, Fundamenta Informaticae (FI), vol.61, issue.55, pp.187-202, 2003.

C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, 1974.

J. Sifakis, Use of petri nets for performance evaluation, Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems, pp.75-93, 1977.

M. P. Wil and . Van-der-aalst, Interval Timed Coloured Petri Nets and their Analysis In Application and Theory of Petri Nets, 14th International Conference, 1993.

M. Werner, L. Popova-zeugmann, M. Haustein, and E. Pelz, A Holistic State Equation for Timed Petri Nets, Fundamenta Informaticae, vol.133, issue.2-3, pp.305-322, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01667554