Petri Nets in Hierarchical Modeling of Manufacturing Systems

Abstract Hierarchical models of manufacturing systems can be derived systematically by replacing simple components of the model by their more detailed representations. In order to model concurrent activities and interactions of different components of such systems, Petri nets are used as the modeling platform with a formally defined operation of net refinements. The durations of modeled activities are represented by timing information associated with transitions of the model. Structural analysis is used to derive the basic performance measures, such as throughput or cycle time. Simple examples of modeling and performance analysis of the derived models are included.

[1]  Fritz Krückeberg,et al.  Mathematical methods for calculating invariants in Petri nets , 1986, European Workshop on Applications and Theory of Petri Nets.

[2]  Li-Chih Wang,et al.  Modeling with colored timed object-oriented Petri nets for automated manufacturing systems , 1998 .

[3]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

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

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

[6]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

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

[8]  Wlodzimierz M. Zuberek.  Hierarchical Derivation of Schedules for Manufacturing Cells , 1998 .

[9]  Zbigniew Banaszak,et al.  Modeling of Manufacturing Systems , 1994 .

[10]  Wlodzimierz M. Zuberek,et al.  Hierarchies of place/transition refinements in Petri nets , 1996, Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96.

[11]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[12]  Philippe Chrétienne.  Timed petri nets: A solution to the minimum-time-reachability problem between two states of a timed-event graph , 1986, J. Syst. Softw..

[13]  Peter Buchholz,et al.  Hierarchical Markovian Models: Symmetries and Reduction , 1995, Perform. Evaluation.