&. Lime, ]. D. Roux, O. H. Lime, and . Roux, State class timed automaton of a time Petri net, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings., 2003.
DOI : 10.1109/PNPM.2003.1231549
URL : https://hal.archives-ouvertes.fr/hal-00523588

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

]. C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, 1974.

]. A. Sava, Sur la synthèse de la commande des systèmes à évènements discrets temporisés, IINPG, issue.4, 2001.

&. Sifakis, ]. J. Yovine, S. Sifakis, and . Yovine, Compositional specification of timed systems, STACS'96, pp.347-359, 1996.
DOI : 10.1007/3-540-60922-9_29

]. S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009