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 conflict-free Petri nets used for controlling manufacturing systems

Abstract : This paper is devoted to the behavior evaluation and management of non-cyclic discrete systems and in particular manufacturing systems. We introduce a special type of Petri nets called CFIOs (Conflict Free nets with Input and Output transitions). It is shown that CFIOs are live, and if consistent, they can be kept bounded and are reversible. We also develop reduction rules which facilitate the computation of the t-invariants of CFIOs. We then show how to take advantage of the qualitative properies of CFIOs to perform planning in manufacturing systems. Numerical examples illustrate these approaches.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 4:15:57 PM
Last modification on : Friday, February 4, 2022 - 3:22:37 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 7:12:56 PM


  • HAL Id : inria-00074765, version 1



G. Harhalakis, M. Leventopoulos, C.P. Lin, R. Nagi, Jean-Marie Proth. A Class of conflict-free Petri nets used for controlling manufacturing systems. [Research Report] RR-1908, INRIA. 1993, pp.25. ⟨inria-00074765⟩



Record views


Files downloads