Verification technique for time petri nets

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 5, Issue , 2004, Pages 4278-4283

  Bonhomme, Patrice ^a   Berthelot, Gérard ^b   Aygalinc, Pascal ^c   Calvez, Soizick ^c  

^a Laboratoire d'Informatique   (France)

^b CEDRIC   (France)

^c Université de Savoie   (France)

Author keywords

Control; Performances evaluation; Real time systems; Time Petri nets; Verification

Indexed keywords

ENUMERATIVE ANALYSIS; INEQUALITIES SYSTEM; PERFORMANCES EVALUATION; TIME PETRI NETS (TPN);

COMPUTER SIMULATION; CONSTRAINT THEORY; CONTROL; LINEAR PROGRAMMING; PERFORMANCE; PROBLEM SOLVING; REAL TIME SYSTEMS; SCHEDULING; SPECIFICATIONS;

PETRI NETS;

EID: 15744392263     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1401203     Document Type: Conference Paper

References (12)

1. B. Berthomieu, and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets", IEEE Trans. Soft. Eng., 16(3): pp. 259-273, March 1991.
2. H. Boucheneb, "Conception et analyse d'un modèle temporisé unificateur à base de réseaux de Petri de haut niveau". Thèse de Doctorat d'Etat, Algeria, février 1999.
3. H. Boucheneb, and G. Berthelot, "Towards a simplified building of Time Petri Nets reachability graph", Proceedings of PNPM'93, pp. 46-55, September 1993.
4. G. W. BRAMS, Réseaux de Petri: Théorie et Pratique, Tome 1 and 2, Masson, 1983.
5. R. David, and H. Alla, "Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems", Prentice-Hall, 1992.
6. C. Ghezzi, D., Mandrioli, S., Morasca, and M., Pezze, "A Unified High-Level Petri Net Formalism for Time-Critical Systems", IEEE Trans. Soft. Engineering, Vol. 16, n°2, pp. 150-162, February 1991.
7. W. Khansa, "Réseaux de Petri P-temporel. Contribution à l'Etude des Systèmes à Evénements Discrets", Thesis University of Savoie, March 7, 1997.
8. W. Khansa, J.P. Denat, and S. Collait Dutilleul, "P-Time Petri Nets for Manufacturing Systems", WODES'96. Edinburgh UK, pp. 94-102, August 19-21, 1996.
9. X. Li, and J. Lilius, "Verifying Time Petri Nets by linear Programming", Technical Report 259, Turku Centre for Computer Science TUCS, 1999.
10. P. Merlin, and D. Faber, "Recoverability of communication protocols - implications of a theoretical study", IEEE Trans. Communications, COM-24(9): pp. 381-404, September 1976.
11. T. Murata, "Petri Nets, Properties, Analysis and Applications", Proceedings of the IEEE, Vol 77, n°4, pp 541-580, April 1989.
12. J. Wang, Y. Deng, and G. Xu, "Reachability Analysis of real-Time Systems Using Time Petri Nets", IEEE Trans. on Systems, Man and Cybernetics-Part B: Cybernetics, Vol. 30, n°5, pp. 725-736, October 2000.