R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, Comparison of the Expressiveness of Timed Automata and Time Petri Nets, 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), pp.211-225, 2005.
DOI : 10.1007/11603009_17

B. Berard, A. Petit, V. Diekert, and P. Gastin, Characterization of the expressive power of silent transitions in timed automata, Fundam. Inform, vol.36, issue.23, pp.145-182, 1998.

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415

A. Cheng, J. Esparza, and J. Palsberg, Complexity results for 1-safe nets, Theoretical Computer Science, vol.147, issue.1-2, pp.117-136, 1995.
DOI : 10.1016/0304-3975(94)00231-7

A. Giua, F. Dicesare, and M. Silva, Petri net supervisors for generalized mutual exclusion constraints, Proc. 12th IFAC World Congress, pp.267-270, 1993.

L. E. Holloway and B. H. Krogh, Synthesis of feedback control logic for a class of controlled Petri nets, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.514-523, 1990.
DOI : 10.1109/9.53517

D. Lime and O. , Roux. Model checking of time Petri nets using the state class timed automaton, Journal of Discrete Events Dynamic Systems -Theory and Applications (DEDS), pp.179-205, 2006.

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, Proc. STACS '95, number 900 in LNCS, pp.229-242, 1995.
DOI : 10.1007/3-540-59042-0_76

M. Uzam, A. H. Jones, and I. , Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System, The International Journal of Advanced Manufacturing Technology, vol.16, issue.7, pp.85-110, 2002.
DOI : 10.1007/s001700070058

V. Valero, D. Frutos-escrig, and F. Cuartero, On non-decidability of reachability for timedarc Petri nets, Proc. 8th International Workshop on Petri Nets and Performance Models (PNPM 99), 1999.

D. Xu, Y. Xudong-he-he, and . Deng, Compositional schedulability analysis of realtime systems using time Petri nets, IEEE Transactions on Software Engineering, vol.28, issue.10, pp.984-996, 2002.