Petri nets in hierarchical modeling of manufacturing systems

Zuberek, W.M.

Proc. IFAC Conf. on Control System Design (CSD'2000), Special Session on Petri Nets in Design, Modeling and Simulation of Control Systems, Bratislava, Slovakia, 18-20 June 2000, pp.287-292.

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.

Keywords:

Petri nets, net refinements, manufacturing systems, hierarchical modeling.

References:

• Ayres, R.U., Butcher, D.C. (1993). "The flexible factory revisited"; American Scientist, vol.81, no.5, pp.448-459.
• Banaszak, Z. (1994). "Modeling of manufacturing systems"; in Modern Manufacturing, pp.253-286, Springer-Verlag.
• Buchholz, P. (1995). "Hierarchical Markovian models: symmetries and reduction"; Performance Evaluation, vol.22, no.1, pp.93-110.
• Chretienne, P. (1986). "Timed Petri nets: a solution to the minimum time reachability problem between two states of a timed event graph"; Journal of Systems and Software, vol.6, no.1-2, pp.95-101.
• Desrochers, A.A., Al-Jaar, R.Y. (1995). Applications of Petri nets in manufacturing systems; IEEE Press.
• DiCesare, F., Harhalakis, G., Orith, J.M., Silva, M., Vernadat, F.B. (1993). Practice of Petri nets in manufacturing; Chapman & Hall.
• Krueckeberg, F., Jaxy, M. (1987). "Mathematical methods for calculating invariants in Petri nets"; in Advances in Petri Nets 1987 (Lecture Notes in Computer Science 266), pp.104-131, Springer-Verlag.
• Martinez, J., Silva, M. (1982). "Simple and fast algorithm to obtain all invariants of a generalized Petri net"; in Applications and Theory of Petri Nets (Informatik Fachberichte 52); pp.301-310, Springer-Verlag.
• Murata, T. (1989). "Petri nets: properties, analysis and applications"; Proceedings of IEEE, vol.77, no.4, pp.541-580.
• Reisig, W. (1985). Petri nets - an introduction (EATCS Monographs on Theoretical Computer Science 4); Springer-Verlag.
• Silva, M., Valette, R. (1989). "Petri nets and flexible manufacturing"; in Advances in Petri nets 1989 (Lecture Notes in Computer Science 424), pp. 374-417, Springer-Verlag.
• Wang, L.C., Wu, S.Y. (1998). "Modeling with colored timed object-oriented Petri nets for automated manufacturing systems"; Computers and Industrial Engineering, vol.34, no.2, pp.463-480.
• Zuberek, W.M. (1991). "Timed Petri nets - definitions, properties and applications"; Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models), vol.31, no.4, pp.627-644.
• Zuberek, W.M. (1995). "Application of timed Petri nets to modeling and analysis of flexible manufacturing cells"; Technical Report #9503, Department of Computer Science, Memorial University of Newfoundland, St.John's, NF, Canada A1B 3X5.
• Zuberek, W.M., Bluemke, I. (1996). "Hierarchies of place/transition refinements in Petri nets"; Proc. 5-th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA'96), Kauai, Hawaii, pp.355-360.
• Zuberek, W.M. (1998). "Hierarchical derivation of schedules for manufacturing cells"; Proc. 9-th Symp. on Information Control in Manufacturing (INCOM'98), Nancy-Metz, France, pp.423-428.

Available in pdf and postscript.