Issue No.12 - December (1987 vol.13)
M.A. Holliday , Department of Computer Science, Duke University
We have developed a Generalized Timed Petri Net (GTPN) model for evaluating the performance of computer systems. Our model is a generalization of the TPN model proposed by Zuberek  and extended by Razouk and Phelps . In this paper, we define the GTPN model and present how performance estimates are obtained from the GTPN. We demonstrate the use of our automated GTPN analysis techniques on the dining philosophers example. This example violates restrictions made in the earlier TPN models. Finally, we compare the GTPN to the stochastic Petri net (SPN) models. We show that the GTPN model has capabilities for modeling and analyzing parallel systems lacking in existing SPN models. The GTPN provides an efficient, easily used method of obtaining accurate performance estimates for models of computer systems which include both deterministic and geometric holding times.
Petri nets, Deterministic delays, dining philosophers, embedded Markov chain, Markov models, performance analysis
M.A. Holliday, M.K. Vernon, "A Generalized Timed Petri Net Model for Performance Analysis", IEEE Transactions on Software Engineering, vol.13, no. 12, pp. 1297-1310, December 1987, doi:10.1109/TSE.1987.233141