A Distributed Algorithm for GSPN Reachability Graph Generation

Journal of Parallel and Distributed Computing

Volumn 61, Issue 1, 2001, Pages 79-95

  Caselli, S ^a   Conte, G ^a   Marenzoni, P ^a  

^a UNIVERSITY OF PARMA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035217284     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.2000.1664     Document Type: Article

References (21)

1. Ajmone Marsan M., Balbo G., Chiola G., Conte G. Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Trans. Software Engineering. 19:February 1993;89-107.
2. Ajmone Marsan M., Balbo G., Conte G. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Trans. Comput. Systems. 2:April 1984;93-122.
3. Ajmone Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G. Modelling with Generalized Stochastic Petri Nets. 1995;Wiley, New York.
4. Ajmone Marsan M., Donatelli S., Neri F. GSPN models of Markovian multiserver multiqueue systems. Perform. Eval. 11:November 1990.
5. S. Allmaier, M. Kowarschik, and G. Horton, State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor, in Proc. 7th IEEE Int. Workshop on Petri Nets and Performance Models, Saint Malo, France, June 1997, pp. 112-121.
6. S. Caselli and G. Conte, GSPN models of concurrent architectures with mesh topology, in Proc. IEEE Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991, pp. 280-289.
7. S. Caselli, G. Conte, F. Bonardi, and M. Fontanesi, Experiences on SIMD massively parallel GSPN analysis, in Proc. 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna, Austria, May 1994, Lecture Notes in Computer Science, Vol. 794, pp. 266-283, Springer-Verlag, Berlin/New York.
8. S. Caselli, G. Conte, and P. Marenzoni, Analysis and solution of generalized stochastic Petri nets: A data parallel CM-5 approach, in Proc. Int. Conf. High-Performance Computing and Networking HPCN95, Milan, Italy, May 1995, Lecture Notes in Computer Science, Vol. 919, pp. 709-716, Springer-Verlag, Berlin/New York.
9. S. Caselli, G. Conte, and P. Marenzoni, Massively parallel analysis of generalized stochastic Petri nets, in Proc. 16th Int. Conf. on Application and Theory of Petri Nets, Torino, Italy, June 1995, Lecture Notes in Computer Science, Vol. 935, pp. 181-200, Springer-Verlag, Berlin/New York.
10. S. Caselli, G. Conte, and P. Marenzoni, Analysis of large GSPN models: a distributed solution tool, in Proc. 7th IEEE Int. Workshop on Petri Nets and Performance Models, Saint Malo, France, June 1997, pp. 122-131.
11. Chiola G., Franceschinis G., Gaeta R., Ribaudo M. GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets. Perform. Eval. 24:Nov. 1995;47-58.
12. Ciardo G., Gluckman J., Nicol D. Distributed state-space generation of discrete-state stochastic models. INFORMS J. Comput. 10:1998;82-93.
13. CRAY T3D System Architecture Overview, Cray Research Inc.
14. A. Ferscha and G. Chiola, Accelerating the evaluation of parallel program performance models using distributed simulation, in Proc. 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna, Austria, May 1994, Lecture Notes in Computer Science, Vol. 794, pp. 231-252, Springer-Verlag, Berlin/New York.
15. Kumar V., Gupta A. Analyzing scalability of parallel algorithms and architectures. J. Parallel Distrib. Comput. 22:1994;379-391.
16. Mahapatra N. R., Dutt S. Scalable global and local hashing strategies for duplicate pruning in parallel A* graph search. IEEE Trans. Parallel Distrib. Systems. 8:July 1997;738-756.
17. Manzini G., Somalvico M. Probabilistic Performance Analysis of Heuristic Search using Parallel Hash Tables. January 1992;Scuola Normale Superiore, Pisa.
18. P. Marenzoni, G. Rimassa, M. Vignali, M. Bertozzi, G. Conte, and P. Rossi, An operating system support to low-overhead communications in NOW clusters, in Proc. Communication and Architectural Support for Network-Based Parallel Computing, CANPC97, San Antonio, TX, February 1997, Lecture Notes in Computer Science, Vol. 1199, pp. 130-143, Springer-Verlag, Berlin/New York.
19. D. C. Marinescu, M. Beaven, and R. Stansifer, A parallel algorithm for computing invariants of Petri net models, in Proc. IEEE Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991, pp. 136-143.
20. Internat. J. Supercomput. Appl. 8:1994;169-414.
21. Sahni S., Thanvantri V. Performance metrics: Keeping the focus on runtime. IEEE Parallel Distrib. Technol. 4:1996;43-56.