Analysis of Capacity Overflow for Manufacturing Systems

A manufacturing system is typically a shared resource system whose components never have unlimited capacities. In manufacturing system design, a major objective is to achieve a system which is free from capacity overflow. In this paper, a method is proposed for analysing if a system possesses this property. The method is based on augmented marked graphs. By modelling a manufacturing system as an augmented marked graph, we can analyse the possibility of capacity overflow using the properties of bounded augmented marked graphs

[1]  King Sing Cheung,et al.  New characterization for live and reversible augmented marked graphs , 2004, Inf. Process. Lett..

[2]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

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

[5]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[6]  King Sing Cheung.  Boundedness and conservativeness of augmented marked graphs , 2007, IMA J. Math. Control. Inf..

[7]  King Sing Cheung,et al.  Cycle inclusion property of augmented marked graphs , 2005, Inf. Process. Lett..

[8]  Jean-Marie Proth,et al.  Petri nets : a tool for design and management of manufacturing systems , 1996 .

[9]  Wolfgang Reisig,et al.  Place or Transition Petri Nets , 1996, Petri Nets.

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

[11]  S. Toumodge.  Applications of Petri Nets in Manufacturing systems; Modeling, Control, and Performance Analysis [Book review] , 1995, IEEE Control Systems.

[12]  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).

[13]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

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