Hierarchical control of time Petri nets by means of transformations

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 4, Issue , 2002, Pages 429-434

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

^a Bioinformatique et Chimie Moléculaire   (France)

^b UNIVERSITÉ DE SAVOIE   (France)

Author keywords

Constraints graph; Control; Performance evaluation; Reduction rule; Time Petri nets; Time critical systems

Indexed keywords

CONTROL SYSTEMS; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS;

TIME-CRITICAL SYSTEMS;

PETRI NETS;

EID: 0036966333     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. G. Berthelot,"Transformations et analyse de réseaux de Petri: Application aux protocoles". PhD thesis, Université de Paris 6, 1983.
2. B. Berthomieu, M. Diaz,"Modeling and verification of time dependent systems using time Petri nets", IEEE Trans. Soft. Eng., 16(3): pp. 259-273, March 1991.
3. P. Bonhomme, P. Aygalinc, S. Calvez."Towards the control of time-critical systems", IEEE, CCA/ISIC'01, September 5-7, 2001, Mexico City, Mexico.
4. P. Bonhomme, P. Aygalinc, S. Calvez."Transformation rules for P-Time Petri Nets". IEEE/ETFA 99, Barcelona, Catalonia Spain, October 18-21, 1999, pp. 251-260.
5. 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, Algérie, février 1999.
6. H. Boucheneb, G. Berthelot,"Towards a simplified building of Time Petri Nets reachability graph", Proceedings of PNPM'93, pp. 46-55, September 1993.
7. G. W. BRAMS, Réseaux de Petri: Théorie et Pratique, Tome 1 and 2, Massen, 1983.
8. W. Khansa,"Réseaux de Petri P-temporel. Contribution à l'Etude des Systèmes à Evénements Discrets", Thesis University of Savoie, March 7, 1997.
9. P. Merlin, D. Faber,"Recoverability of communication protocols - implications of a theoretical study", IEEE Trans. Communications, COM-24(9): pp. 381-404, September 1976.
10. T. Murata,"Petri Nets, Properties, Analysis and Applications", Proceedings of the IEEE, Vol 77, n 4, pp 541-580, April 1989.
11. R. H. Sloan and U. Buy."Reduction rules for Time Petri Nets", Acta Informatica, Springer-Verlag, 33(7): pp. 687-706, 1996.