Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell

Research output: Contribution to journalArticlepeer-review

100 Scopus citations


The modeling and analysis of a flexible manufacturing system (FMS) cell using Petri nets is presented. In order to illustrate how a Petri net with desirable properties can be constructed, the detailed synthesis process for this cell is described. During the process, top-down refinement, system decomposition, and modular composition ideas are used to achieve the hierarchy and preservation of important system properties. These properties include liveness, boundedness/safeness, and reversibility that guarantee the system to operate in a stable, deadlock-free, and cyclic manner. Furthermore, the analysis of a timed Petri net for cycle time is presented. The timed Petri net is first converted into an equivalent timed marked graph by a reduction technique. Then the standard procedure to find the cycle time for marked graphs is applied. The paper is of significance in the sense that it provides industrial engineers and academic researchers a comprehensive real-life example of applying Petri net theory to modeling and analysis of FMS cells.

Original languageEnglish (US)
Pages (from-to)523-531
Number of pages9
JournalIEEE Transactions on Systems, Man and Cybernetics
Issue number2
StatePublished - 1993

All Science Journal Classification (ASJC) codes

  • General Engineering


Dive into the research topics of 'Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell'. Together they form a unique fingerprint.

Cite this