Analysis of large GSPN models: A distributed solution tool

International Workshop on Petri Nets and Performance Models

Volumn , Issue , 1997, Pages 122-131

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

^a UNIVERSITY OF PARMA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GENERALIZED STOCHASTIC PETRI NETS (GSPN);

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; STATE SPACE METHODS; STORAGE ALLOCATION (COMPUTER);

PETRI NETS;

EID: 0030677057     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. M. Ajmone Marsan, G. Balbo, G. Chiola and G. Conte, Applicability of stochastic Petri nets to performance modeling. In G. lazeolla, P.J. Courtois, and O.J. Boxma, editors, Proc. 2th Int. Workshop Applied Mathematics & Performance/Reliability Models of Computer/Communication Systems, Roma, Italy, May 1987. North-Holland.
2. M. Ajmone Marsan, G. Balbo, G. Chiola and G. Conte, Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Trans, on Software Engineering, Vol. 19, No. 2, February 1993, pp. 89-107.
3. G. Chiola, A simulation framework for timed and stochastic Petri nets. International Journal of Computer Simulation, 1991. Special Issue on Simulation of Multiple Processor Networks.
4. G. Chiola and G. Franceschinis, A Structured Colour Simplification in Well-Formed Coloured Nets. In Proc. IEEE Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991. IEEE-CS Press.
5. M. K. MoUoy, Structurally bounded stochastic Petri nets. In Proc. IEEE Int. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987. IEEE-CS Press.
6. G. Chiola, G. Franceschinis, R. Gaeta and M. Rib-audo, GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, Vol. 24, Nos. 1-2, pp. 47-68, Nov. 1995.
7. G. Chiola, Compiling Techniques for the Analysis of Stochastic Petri Nets. In Proc. 4th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, AFCET, Palma de Mallorca, Spain, September 1988.
8. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
9. S. Caselli and G. Conte, GSPN Models of Concur-rennt Architectures with Mesh Topology. In Proc. Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991. IEEE-CS Press.
10. 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, LNCS 794, Vienna, Austria, May 1994, pp. 266-283, Springer-Verlag.
11. 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, LNCS 919, pp. 709-716, Springer-Verlag.
12. 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, LNCS 935, pp. 181-200, Springer-Verlag.
13. P. Marenzoni, G. Rimassa, M. VignaJi, 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, Texas, Feb. 1997, LNCS 1199, pp. ISO-MS, Springer-Verlag.
14. G. Ciardo, J. GluckmaLU and D. Nicol, Distributed State-Space Generation of Discrete-State Stochastic Models. To appear in ORSA J. Comp, 1996.
15. MPI Forum, MPI: A Message-Passing Interface Standard. International Journal of Supercomputer Applications, Vol. 8, Nos. 3/4, 1994, pp. 169-414.
16. W. J. Stewart, Introductio to the Numerical Solution of Markov Chains. Princeton University Press, 1994.
17. I. S. Duff and J. K. Reid, The Design of MA48: A Code for the Direct Solution of Sparse Unsymmetric Linear Systems of Equations. ACM Transactions on Mathematical Software, Vol 22, No. 2, page 187, 1996.
18. G. Golub and J. M. Ortega, Scientific Computing with an Introduction to Parallel Computing. Academic Press, Boston MA, 1993.
19. R. A. Saleh, K. A. Gallivan, M. Chang, I. N. Hajj, D. Smart and T. N. Trick, Parallel Circuit Simulation on Supercomputers. Proceedings of the IEEE, 77(12);1915-1930, December 1989.
20. D. P. Koester, S. Ranka and G. C. Fox, A Parallel Gauss-Seidel Algorithm for Sparse Power System Matrices. In Proc. Supercomputing '94, Washington, November 1994.