Timed Petri Nets and Performance Evaluation of Systems

Zuberek, W.M.

Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), San Diego, CA, 11-14 October 1998, pp.278-283.

Abstract:

Several simple applications of timed Petri nets to modeling and performance analysis of concurrent systems are presented as an illustration of a uniform approach to analysis of a wide class of discrete-event systems. Such a unified approach is used in a graduate course on performance evaluation of systems at Memorial University.

Keywords:

Discrete-event systems, timed Petri nets, performance analysis, graduate courses.

References:

• Agerwala, T., "Putting Petri nets to work"; IEEE Computer Magazine, vol.12, no.12, pp.85-94, 1979.
• Agerwala, T., Flynn, M., "Comments on capabilities, limitations and 'correctness' of Petri nets"; Proc. of the First Annual Symp. on Computer Architecture, pp.81-86, 1973.
• Ajmone Marsan, M., Balbo, G., Conte, G., Performance models of multiprocessor systems; MIT Press 1986.
• Buchholz, P., "Hierarchical high-level Petri nets for complex system analysis"; in Application and Theory of Petri Nets 1994 (Lecture Notes in Computer Science 815), pp.119-138, Springer-Verlag 1994.
• Buchholz, P., "Hierarchical structuring of superposed GSPNs"; Proc. 7-th Int. Workshop on Petri Net and Performance Models (PNPM'97), pp.81-90, IEEE Press 1997.
• Fehling, R., "A concept of hierarchical Petri nets with building blocks''; Proc. Int. Conf. on Applications and Theory of Petri Nets 1991, pp.370-389, 1991.
• Feldbrugge, F., "Petri net tool overview 1992"; in Advances in Petri Nets 1993 (Lecture Notes in Computer Science 674), Rozenberg, G., (ed.), pp.169-209, Springer-Verlag 1993.
• Holliday, M.A., Vernon, M.K., "Exact performance estimates for multiprocessor memory and bus interference"; IEEE Trans. on Computers, vol.36, no.1, pp.76-85, 1987.
• Jensen, K., "Coloured Petri nets"; in Advanced Course on Petri Nets 1986 (Lecture Notes in Computer Science 254), Rozenberg, G. (ed.), pp.248-299, Springer-Verlag 1987.
• 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.
• Reisig, W., Petri nets - an introduction (EATCS Monographs on Theoretical Computer Science 4); Springer-Verlag 1985.
• Valk, R., "Test on zero in Petri nets"; in Applications and Theory of Petri Nets (Informatik-Fachberichte 52), Girault, C., Reisig, W. (eds.), pp.193-197, Springer-Verlag 1982.
• 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., "Modeling using timed Petri nets - model description and epresentation"; Technical Report #9601, Department of Computer Science, Memorial University of Newfoundland, St. John's, Canada A1B 3X5, 1996.
• Zuberek, W.M., "Modeling using timed Petri nets - event-driven simulation"; Technical Report #9602, Department of Computer Science, Memorial University of Newfoundland, St. John's, Canada A1B 3X5, 1996.
• Zuberek, W.M., Govindarajan, R., "Timed colored Petri net models of distributed memory multithreaded multiprocessors"; Proc. Workshop on Practical use of Colored Petri Nets and Design/CPN, Aarhus, Denmark, pp.253-270, 1998.

Available in pdf and postscript.