R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science (TCS'94), pp.183-235, 1994.

N. Belala, Modèles de temps et leur intérét à la vérification formelle des systèmes temps-réel, 2010.

M. Boyer, Contribution à la modélisation des systèmes à temps constraint et application au multimedia, 1997.

M. Z. Chellali, B. Djoudi, N. Belala, and . Sa?douni, From DATA to Timed Automata, 2012.

R. Devillers, Maximality preservation and the st-idea for action refinement Advances in Petri Nets, pp.108-151, 1992.

M. Diaz and P. Senac, Time Stream Petri Nets a model for timed multimedia information, 1994.
DOI : 10.1007/3-540-58152-9_13

E. A. Emerson, Temporal and Modal Logic, pp.995-1072, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

S. Guellati, I. Kitouni, and D. E. Sa?douni, Verification of Durational Action Timed Automata using UPPAAL, International Journal of Computer Applications, vol.56, issue.11, 2012.
DOI : 10.5120/8938-3077

H. Hachichi, I. Kitouni, K. Bouaroudj, and D. E. Sa?douni, A Graph Transformation Approach for Testing Timed Systems, The 18th International Conference on Information and Software Technologies, pp.123-137, 2012.
DOI : 10.1007/978-3-642-33308-8_11

M. Jourdan, N. Laya?da, L. Sabry-ismail, and C. Roisin, Authoring and presentation environment for interactive multimedia documents, Proc. of the 4th Conf. on Multimedia Modelling, 1997.

W. Khansa, Réseaux de Petri Ptemporels : Contribution à l'Etude des Systèmes à Evénements Discrets, 1997.

W. Khansa, J. P. Denat, and D. S. Collart, P-time petri nets for manufacturing systems. International Workshop on Discrete Event Systems, WODES'96, pp.94-102, 1996.

I. Kitouni, H. Hachichi, K. Bouaroudj, and D. E. Sa?douni, Durational Actions Timed Automata: Determinization and Expressiveness, International Journal of Applied Information Systems, vol.4, issue.2, pp.2249-0868, 2012.
DOI : 10.5120/ijais12-450609

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

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

. Sémantique-de-maximalité, Application au raffinement d'actions en LOTOS

D. E. Sa?douni and N. Belala, Actions duration in timed models, Proceedings of International Arab Conference on Information Technology (ACIT'2006), 2006.

D. E. Sa?douni, N. Belala, and M. Bouneb, Aggregation of transitions in marking graph generation based on maximality semantics for petri nets, proceding of the Second International Workchop on Verification and Evaluation of Computer and Communication systems(VeCoS'2008), pp.1477-9358, 2008.

D. E. Sa?douni, N. Belala, and M. Bouneb, Using maximality-based labelled transition system as a model for petri nets. The International Arab Journal of Information Technology, pp.440-446, 2009.

D. E. Sa?douni and J. P. Courtiat, Prise en compte des durées d'action dans les algèbres de processus par l'utilisation de la sémantique de maximalité, Proceedings of CFIP2003, 2003.