Analysis of Parallel Manufacturing Processes with Resource Sharing

—Multiple resource sharing has a complex nature in parallel manufacturing processes due to the competition of different operations for scarce resources. This paper presents the Petri net model for parallel manufacturing processes with shared resources called parallel process net with resources (PPNR). The structural characteristics of PPNR are discussed and siphon based characterizations of live and reversible PPNR are also presented. Simple structure based conditions and properties for conservative PPNR are presented for checking its liveness and reversibility. Finally, proposed method of net modeling is demonstrated by a practical example.

[1]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[2]  Javier Martínez,et al.  Synthesis of live models for a class of FMS , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[3]  H.J. Huang,et al.  Property-preserving composition of augmented marked graphs that share common resources , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[4]  Roberto Cordone,et al.  Some results on the computation of minimal siphons in Petri nets , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[7]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[8]  Joël Favrel,et al.  Generalized Petri Net Reduction Method , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[9]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[10]  Feng Chu,et al.  Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..

[11]  MuDer Jeng,et al.  Process nets with resources for manufacturing modeling and their analysis , 2002, IEEE Trans. Robotics Autom..

[12]  MengChu Zhou,et al.  Petri net synthesis and analysis of a flexible manufacturing system cell , 1993, IEEE Trans. Syst. Man Cybern..

[13]  Nabil Hameurlain.  Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems , 2003, CEEMAS.

[14]  MengChu Zhou,et al.  On Siphon Computation for Deadlock Control in a Class of Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[15]  Li-Chen Fu,et al.  A Petri net based approach to modeling and scheduling for an FMS and a case study , 1994, IEEE Trans. Ind. Electron..

[16]  Younes Souissi,et al.  On liveness preservation by composition of nets via a set of places , 1990, Applications and Theory of Petri Nets.

[17]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[18]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[19]  Zhiwu Li,et al.  Deadlock control of flexible manufacturing systems via invariant–controlled elementary siphons of petri nets , 2007 .

[20]  Hejiao Huang.  Enhancing the property-preserving petri net process algebra for component-based system design (with application to designing multi-agent systems and manufacturing systems) , 2004 .

[21]  Erwin R. Boer,et al.  Generating basis siphons and traps of Petri nets using the sign incidence matrix , 1994 .

[22]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[23]  MuDer Jeng,et al.  A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions , 2008, IEEE Transactions on Automation Science and Engineering.

[24]  Manjunath Kamath,et al.  Applications of petri net based models in the modelling and analysis of flexible manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.