|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
December 1987 (vol. 13 no. 12)
pp. 1297-1310
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1987.233141, author = {M.A. Holliday and M.K. Vernon}, title = {A Generalized Timed Petri Net Model for Performance Analysis}, journal ={IEEE Transactions on Software Engineering}, volume = {13}, number = {12}, issn = {0098-5589}, year = {1987}, pages = {1297-1310}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233141}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - A Generalized Timed Petri Net Model for Performance Analysis IS - 12 SN - 0098-5589 SP1297 EP1310 EPD - 1297-1310 A1 - M.A. Holliday, A1 - M.K. Vernon, PY - 1987 KW - Petri nets KW - Deterministic delays KW - dining philosophers KW - embedded Markov chain KW - Markov models KW - performance analysis VL - 13 JA - IEEE Transactions on Software Engineering ER - | |||
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.
Index Terms:
Petri nets, Deterministic delays, dining philosophers, embedded Markov chain, Markov models, performance analysis
Citation:
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, Dec. 1987, doi:10.1109/TSE.1987.233141
Usage of this product signifies your acceptance of the Terms of Use.

