HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

A class of Petri nets for manufacturing system integration

Abstract : This paper addresses the problem of integration of Petri nets representing manufacturinfg systems. A modular modelling methodology being adopted, we define a class of Petri nets that characterizes a large sort of real-word manufacturing systems. These Petri nets are shown to have the properties of liveness, consistency and reversibility. We also show that the integration of such Petri nets preserves these properties under fairly weak conditions. Moreover the integrated Petri net belongs to the same Petri net class. The results obtained in this paper are expected to shed light on the design, management and control of large scale manufacturing systems where complexity problems are bound to rise and can be dealt with from the point of view of modular modelling and integration.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 3:54:39 PM
Last modification on : Friday, February 4, 2022 - 3:22:42 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 3:55:32 PM


  • HAL Id : inria-00074617, version 1



Jean-Marie Proth, Liming Wang, Xiaolan Xie. A class of Petri nets for manufacturing system integration. [Research Report] RR-2055, INRIA. 1993, pp.28. ⟨inria-00074617⟩



Record views


Files downloads