Hierarchical modeling of manufacturing systems

Zuberek, W.M.

Machine Engineering, vol.2, no.2-3, pp.69-86, 1998. (in Polish)

Abstract:

Timed Petri nets are used for hierarchical modeling of manufacturing systems. Net refinements, in which simple net elements are replaced by more detailed subnets, creates a hierarchy of models in which different parts of the model are represented at different levels of detail. The durations of model activities, associated with transitions of the model, are used for performance analysis of the modeled systems.

Keywords:

Timed Petri nets, manufacturing systems, net refinements, hierarchical modeling, place invariants, performance analysis.

References:

• Ajmone Marsan, M., Conte, G., Balbo, G. (1984). "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems"; ACM Trans. on Computer Systems, vol.2, no.2, pp.93-122.
• 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.
• Buchholz, P. (1997). "Hierarchical structuring of superposed GSPNs"; Proc. 7-th Int. Workshop on Petri Net and Performance Models (PNPM'97), St.Malo, France, pp.81-90.
• 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.
• Feldbrugge, F. (1992). "Petri net tool overview 1992"; in Advances in Petri Nets 1993 (Lecture Notes in Computer Science 674), pp.169-209, Springer-Verlag.
• 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.
• Merlin, P.M., Farber, D.J. (1976). "Recoverability of communication protocols - implications of a theoretical study"; IEEE Trans. on Communications, vol.24, no.9, pp.1036-1049.
• 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.
• 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.
• Zhou, M.C., Jeng, M.D. (1998). "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems - a Petri net approach"; IEEE Trans. on Semiconductor Manufacturing, vol.11, no.3, pp.333-357.
• 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.