TY - JOUR
T1 - Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell
AU - Zhou, Meng Chu
N1 - Funding Information:
Manuscript received November 22, 1991; revised July 29, 1992. This work was supported in part by the Center for Manufacturing Systems, New Jersey Institute of Technology, and in part by the Engineering Foundation under Grant RI-A-91-08.
PY - 1993
Y1 - 1993
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0027560257&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0027560257&partnerID=8YFLogxK
U2 - 10.1109/21.229464
DO - 10.1109/21.229464
M3 - Article
AN - SCOPUS:0027560257
SN - 0018-9472
VL - 23
SP - 523
EP - 531
JO - IEEE Transactions on Systems, Man and Cybernetics
JF - IEEE Transactions on Systems, Man and Cybernetics
IS - 2
ER -