Petri net refinements and hierarchical modeling of manufacturing systems

Zuberek, W.M., Bluemke, I.

in: Emerging Technologies, Robotics and Control Systems, vol.2, ed. S. Pennacchio; International Society for Advanced Research, Palermo, Italy, pp.104-110, 2008 (ISBN 978-88-901928-5-2).

Abstract:

Hierarchical models of manufacturing systems can be systematically derived by model refinements in which simple components of a preliminary, more abstract model are replaced by their more detailed representations. In order to model concurrent activities and interactions of different components of manufacturing 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. The approach is illustrated by simple examples of modeling and performance analysis.

Keywords:

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

References:

• Aalst van der, W.M.P., "Interval timed colored Petri nets"; in: Advances in Petri nets 1993 (Lecture Notes in Computer Science 674), pp.126-147, Springer-Verlag 1993.
• Ajmone Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., Cumani, A., "The effect of execution policies on the semantics and analysis of stochastic Petri nets"; IEEE Trans. on Software Engineering, vol.15, no.7, pp.832-846, 1989.
• Ajmone Marsan, M., Balbo, G., Conte, G., "The early days of GSPNs"; Performance Evaluation: Origins and Directions (Lecture Notes in Computer Science 1769), pp.505-512, Springer-Verlag 2000.
• Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G., Modeling with Generalized Stochastic Petri Nets; J. Wiley & Sons 1995.
• Ajmone Marsan, M., Conte, G., Balbo, G., "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, 1984.
• Bause, F., Kritzinger, P.S., Stochastic Petri Nets - an Introduction to the Theory, Vieweg Verlag 1996.
• Bobbio, A., Puliafito, A., Telek, M., Trivedi, K.S., "Recent developments in non-Markovian stochastic Petri nets"; Journal of Circuits, Systems, and Computers, vol.8, no.1, pp.119-158, 1998.
• Chiola, G., Ajmone Marsan, M., Balbo, G., Conte, G., "Generalized stochastic Petri nets: a definition at the net level and its implications"; IEEE Trans. on Software Engineering, vol.19, no.2, pp.89-107, 1993.
• Desrochers, A.A., Al-Jaar, R.Y., Applications of Petri Nets in Manufacturing Systems; IEEE Press 1995.
• DiCesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F.B., Practice of Petri Nets in Manufacturing; Chapman and Hall 1993.
• Haas, P.J., Stochastic Petri Nets; Springer-Verlag 2002.
• Hillston, J., A Compositional Approach to Performance Modeling; Cambridge University Press 1996.
• Jensen, K., Colored Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol.1; Springer-Verlag 1992.
• Jensen, K., Colored Petri Nets - Basic Concepts, Analysis Methods and Practical Use, vol.2; Springer-Verlag 1995.
• Koutny, M., "A compositional model of time Petri nets"; in: Application and Theory of Petri Nets 2000 (Lecture Notes in Computer Science 1825), pp.303-322, Springer-Verlag 2000.
• Krueckeberg, F., Jaxy, M., "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 1987.
• Lindemann, C., Performance Modeling with Deterministic and Stochastic Petri Nets; Wiley and Sons 1998.
• Martinez, J., Silva, M., "Simple and fast algorithm to obtain all invariants of a generalized Petri netr; in: Applications and Theory of Petri Nets (Informatik Fachberichte 52); pp.301-310, Springer-Verlag 1982.
• Merlin, P.M., Farber, D.J., "Recoverability of communication protocols - implications of a theoretical study"; IEEE Trans. on Communications, vol.24, no.9, pp.1036-1049, 1976.
• Molloy, M.K., "Performance analysis using stochastic Petri nets"; IEEE Trans. on Computers, vol.31, no.9, pp.913-917, 1982.
• Murata, T., "Petri nets: properties, analysis and applications"; Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
• Peterson, J.L., Petri Net Theory and the Modeling of Systems; Prentice-Hall 1981.
• Petri, C.A., "Kommunikation mit Automaten"; Ph.D. Dissertation, University of Bonn, Bonn, Germany 1962; also: Memorandum MAC-M-212, Project MAC, Massachusetts Institute of Technology, Cambridge, MA.
• Proth, J.M., Xie, X., Petri Nets; Wiley & Sons 1996.
• Reisig, W., Petri Nets - an Introduction (EATCS Monographs on Theoretical Computer Science 4); Springer-Verlag 1985.
• Reisig, W., Elements of Distributed Algorithms - Modeling and Analysis with Petri Nets; Springer-Verlag 1999.
• Rokyta, P., Fengler, W., Hummel, T., "Electronic system design automation using high level Petri nets"; in: Hardware Design and Petri Nets, pp.193-204, Kluwer Academic Publ. 2000.
• Sethi, S.P., Sriskandarajah, C., Sorger, G., Blazewicz, J., Kubiak, W., "Sequencing of parts and robot moves in a robotic cell"; Int. Journal of Flexible Manufacturing Systems, vol.4, pp.331-358, 1992.
• Sifakis, J., "Structural properties of Petri nets"; in: Mathematical Foundations of Computer Science 1978 (Lecture Notes in Computer Science 64), pp.474-483, Springer-Verlag 1978.
• \bibitem {Si99} Sifakis, J., "The compositional specification of timed systems - a tutorial"; in: Computer Aided Verification (Lecture Notes in Computer Science 1633), pp.2-7, Springer-Verlag 1999.
• Wang, J., Timed Petri nets; Kluwer Academic Publ. 1998.
• Wu, Z., "CEM/T net, a high level Petri net for FMS modeling''; International Journal of Intelligent Control Systems, vol.3, no.3, pp.377-387, 1999.
• Zhou, M-C., Petri Nets in Flexible and Agile Automation; Kluwer Academic Publishers 1995.
• Zuberek, W.M., "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, 1991.
• Zuberek, W.M., "Stepwise refinements of net models and their place invariants"; Proc. 8-th Int. Workshop on Petri Nets and Performance Models (PNPM'99), Zaragoza, Spain, pp.92-101, 1999.
• Zuberek, W.M., "Event-driven simulation of timed Petri net models"; Proc. 33-rd Annual Simulation Symposium; Washington, D.C., pp.91-98, 2000.
• Zuberek, W.M., "Petri nets in hierarchical modeling of manufacturing systems"; Proc. IFAC Conf. on Control System Design (CSD'2000), Bratislava, Slovakia, pp.287-292, 2000.
• Zuberek, W.M., Zuberek, M.S., "Transformations of timed Petri nets and performance analysis"; Proc. 33-rd Midwest Symp. on Circuit and Systems (Special Session on Petri Net Models), Calgary, Alberta, Canada, pp.774-778, 1990.

Available in pdf.