A generalized stochastic high-level petri net model for performance analysis

Journal of Systems and Software

Volumn 36, Issue 3, 1997, Pages 247-265

  Koriem, Samir M ^a   Patnaik, L M ^b  

^a Al Azhar University   (Egypt)

^b INDIAN INSTITUTE OF SCIENCE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; PERFORMANCE; STATE SPACE METHODS;

COMPOUND MARKING TECHNIQUE; GENERALIZED STOCHASTIC HIGH LEVEL PETRI NET MODEL; PREDICATE TRANSITION NETS;

PETRI NETS;

EID: 0031103103     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(95)00083-6     Document Type: Article

References (21)

1. Ammar, H. H., and Islam, S., Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models, IEEE Trans. Software Eng. 15, 809-820 (1989).
2. Ammar, H. H., Huang, Y. F., and Liu, R. W., Hierarchical Models for Systems Reliability, Maintainability, and Availability, IEEE Trans. Circ. Syst. 34, 629-638 (1978).
3. Buzzard, G. D., High Performance Communications for Hypercube Multiprocessors, Ph.D. Thesis, Michigan University, 1988.
4. Courtois, P. J., Decomposability: Queueing Computer Systems Applications, New York, Academic Press, 1977.
5. Dugan, J. B., Trivedi, K. S., Geist, R. M., and Nicola, V. F., Extended stochastic Petri nets: applications and analysis, in Proceedings of Performance '84, Paris, 1984, pp. 507-519.
6. Generich, H. J., and Lautenbach, K., System Modeling with High-Level Petri Nets, Theoret. Comp. Sci. 13, 109-136 (1981).
7. Iosifescu, M., Finite Markov Processes and Their Applications, New York, Wiley, 1980.
8. Jensen, K., Colored Petri Nets (Lecture Notes in Computer Science, 254), pp. 248-299, New York, Springer-Verlag (1986).
9. Koriem, S. M., Reliability and Performability Analysis of Distributed Memory Multicomputers, Ph.D. Thesis, CSA Dept., I.I.Sc., Indian Institute of Science, Bangalore, India, 1993.
10. Koriem, S. M., and Zaki, M., A Model for the Protocol Design of Back-End Storage Networks, J. Syst. Software 5, 317-336 (1985).
11. Koriem, S. M., and Patnaik, L. M., Performance evaluation of distributed memory architectures using generalized stochastic high-level Petri nets, Al-Azhar EngineerIng Second International Conference, Cairo, 1991.
12. Koriem, S. M., and Patnaik, L. M., Performance evaluation of hypercube, in IEICE Spring Conference 92, Tokyo, 1992.
13. Lin, C., and Marinescu, D. C., Stochastic High-Level Petri Nets and Applications, IEEE Trans. Comp. 37, 815-823 (1988).
14. Marsan, M. A., Bobbio, G., and Conte, G., A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems, ACM Trans. Comp. Syst. 2, 93-122 (1984a).
15. Marsan, M. A., Bobbio, A., Conte, G., and Cumani, A., Performance Analysis of Degradable Multiprocessor Systems using Generalized Stochastic Petri Nets, Dist. Proc. Newslett. 6, 47-54 (1984b).
16. Marsan, M. A., Balbo, G., and Conte, G., Performance Models of Multiprocessor Systems, The MIT Press, Cambridge, Massachusetts, 1986.
17. Molloy, M. K., Performance Analysis Using Stochastic Petri Nets, IEEE Trans. Comp. 31, 913-917 (1982).
18. Murata, T., Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77, 541-580 (1989).
19. Saad, Y., and Schultz, M., Topological Properties of Hypercubes, IEEE Trans. Comp. 37, 867-872 (1988).
20. Yantchev, J., and Jesshope, C. R., Adaptive, Low Latency, Deadlock-Free Packet Routing for Networks of Processors, IEE Proc. 136, 178-186 (1989).
21. Zenie, A., Colored stochastic Petri nets, in Proceedings of the International Workshop on Timed Petri Nets, Torino, Italy, 1985, pp. 262-271.