The Community for Technology Leaders
Green Image
Issue No. 12 - December (1987 vol. 13)
ISSN: 0098-5589
pp: 1297-1310
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 [1] and extended by Razouk and Phelps [2]. 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. Holliday and M. Vernon, "A Generalized Timed Petri Net Model for Performance Analysis," in IEEE Transactions on Software Engineering, vol. 13, no. , pp. 1297-1310, 1987.
93 ms
(Ver 3.3 (11022016))