A Generalized Timed Petri Net Model for Performance Analysis

IEEE Transactions on Software Engineering

Volumn SE-13, Issue 12, 1987, Pages 1297-1310

  Holliday, Mark A ^a   Vernon, Mary K ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

Deterministic delays; dining philosophers; embedded Markov chain; Markov models; performance analysis; Petri nets

Indexed keywords

MATHEMATICAL TECHNIQUES - GRAPH THEORY; PROBABILITY;

DETERMINISTIC DELAYS; DINING PHILOSOPHERS; EMBEDDED MARKOV CHAIN; MARKOV MODELS; PETRI NETS;

COMPUTER SYSTEMS, DIGITAL;

EID: 0023670512     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1987.233141     Document Type: Article

References (24)

1. W. M. Zuberek, “Time Petri nets and preliminary performance evaluation,” in Proc. 7th Annu. Symp. Computer Architecture, 1980, pp. 88–96.
2. R. R. Razouk and C. V. Phelps, “Performance analysis using timed Petri nets,” in Proc. 1984 Int. Conf. Parallel Processing, Aug. 1984, pp. 126–129.
3. M. A. Holliday and M. K. Vernon, “Exact performance estimates for multiprocessor memory and bus interference,” IEEE Trans. Comput., vol. C-36, pp. 76–85, Jan. 1987.
4. C. A. Petri, “Kommunikation mit Automaten,” Schriften des Rheinisch-Westfalischen Institute fur Instrumentelle Mathematick an der Universitat Bonn, Heft 2, Bonn, W. Germany, 1962; translation: C. F. Greene, Supplement I to Tech. Report RADC-TR-65-337, Vol. 1, Rome Air Development Center, Grifiss Air Force Base, NY, 1965.
5. S. Natkin, “Reseaux de Petri stochastiques,” these de Docteur-Ingenieur, genieur, CNAM-Paris, June 1980.
6. F. J. W. Symons, “Introduction to numerical Petri nets, a general graphical model of concurrent processing systems,” Australian Telecommun. Res., vol. 14, Jan. 1980.
7. M. K. Molloy, “On the integration of delay and throughput measures in distributed processing models,” Ph.D dissertation, Univ. California, Los Angeles, 1981.
8. M. K. Molloy, “Performance Analysis using stochastic Petri nets,” IEEE Trans. Comput., vol. C-31, pp. 913–917, Sept. 1982.
9. M. K. Molloy, “Discrete time stochastic petri nets,” IEEE Trans. Software Eng., vol. SE-11, pp. 417–423, Apr. 1985.
10. M. A. Marsan, G. Balbo, and G. Conte, “A class of generalized stochastic Petri nets,” ACM Trans. Comput. Syst., vol. 2, pp. 93–122, 122, May 1984.
11. J. B. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola, “Extended stochastic Petri nets: Applications and analysis,” in Performance 84, Paris, France, Dec. 1984, pp. 507–51 9.
12. M. A. Holliday and M. K. Vernon, “A generalized timed Petri net model for performance analysis,” in Proc. Int. Workshop Timed Petri Nets, July 1985, pp. 181–190.
13. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
14. C. Ramachandani, “Analysis of asynchronous concurrent systems by timed Petri nets,” Ph.D. dissertation, Massachusetts Inst. Technol., Cambridge, MA, 1974.
15. C. V. Ramamoorthy and G. S. Ho, “Performance evaluation of asnchronous systems using Petri nets,” IEEE Trans. Software Eng., vol. SE-6, pp. 440–449, Sept. 1980.
16. G. J. Nutt, “Evaluation nets for computer systems perf. analysis,” in 1972 Fall Joint Computer Conf., AFIPS Conf. Proc., vol. 41. Montvale, NJ: AFIPS Press, 1972, pp. 279–286.
17. J. G. Kemeny and J. L. Snell, Finite Markov Chains. New York: Springer-Verlag, 1976.
18. R. Sedgewick, Algorithms. Reading, MA: Addison-Wesley, 1983, pp. 428–430.
19. H. M. Taylor and S. Karlin, An Introduction to Stochastic Modeling. Orlando, FL: Academic, 1984.
20. C. H. Sauer and K. M. Chandy, Computer Systems Performance Modeling. Englewood Cliffs, NJ: Prentice-Hall, 1981.
21. M. A. Holliday and M. K. Vernon, “The GTPN analyzer: Numerical methods and user interface,” Dep. Comput. Sci., Univ. Wisconsin- Madison, Madison, Tech. Rep. 639, Apr. 1 9 86.
22. M. A. Marsan et al., “On Petri nets with stochastic timing,” in Proc. Int. Workshop Time Petri Nets, July 1985, pp. 80–87.
23. G. Chiola, “A so ftwar e package for the analysis of generalized stochastic Petri net models,” in Proc. Int. Workshop Time Petri Nets, July 1985, pp. 136–143.
24. M. K. Vernon and M. A. Holliday, “Performance analysis of multiprocessor cache consistency protocols using generalized timed Petri nets,” in Performance 86, May 1986.