Constraints graph based approach for the analaysis and the control of time critical systems

Abstract : The increasing complexity of manufacturing systems gives rise to the development of new formal methods allowing to handle their particularities. Petri nets are a powerful formalism for the specification and verification of concurrent systems including sequential systems and manufacturing systems. To deal with sys- tems whose time issues become fundamental, different time Petri nets extensions have been developed in the literature, each one being dependent on the application considered. For the time critical systems, their correct- ness depends not only on the logic correctness but also on the time constraints. Timing issues are essential. In this paper, a new method of analysis and control for P-time Petri nets is proposed. It is based on the firing instant notion and exploits a constraint graph approach
Type de document :
Article dans une revue
International Journal of Advanced Manufacturing Technology, Springer Verlag, 2011, 57 (1-4), pp.353-365. 〈10.1007/s00170-011-3282-x〉
Liste complète des métadonnées

https://hal-univ-tours.archives-ouvertes.fr/hal-01003793
Contributeur : Vincent T'Kindt <>
Soumis le : mardi 10 juin 2014 - 16:35:21
Dernière modification le : jeudi 28 avril 2016 - 15:43:19

Identifiants

Collections

Citation

Patrice Bonhomme. Constraints graph based approach for the analaysis and the control of time critical systems. International Journal of Advanced Manufacturing Technology, Springer Verlag, 2011, 57 (1-4), pp.353-365. 〈10.1007/s00170-011-3282-x〉. 〈hal-01003793〉

Partager

Métriques

Consultations de la notice

23