Parallel state space exploration for GSPN models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 935, Issue , 1995, Pages 182-200

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

^a UNIVERSITY OF PARMA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; PETRI NETS; SPACE RESEARCH; STOCHASTIC SYSTEMS;

CONCURRENT SYSTEMS; GENERALIZED STOCHASTIC PETRI NETS; MASSIVELY PARALLEL PROCESSING; MASSIVELY PARALLELS; PERFORMANCE ANALYSIS; PROGRAMMING MODELS; STATE SPACE EXPLORATION; STATE-SPACE EXPLOSION;

COMPUTER ARCHITECTURE;

EID: 84956855188     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60029-9_40     Document Type: Conference Paper

References (9)

1. nd Int. Workshop Applied Mathematics & Perfor-m'ánce/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 n. 2 (1993), 89-107.
3. S. Caselli and G. Conte: GSPN models of concurrent architectures with mesh topology. In Proc. Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991. IEEE-CS Press.
4. th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.
5. 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.
6. th Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
7. M. K. Molloy: Structurally bounded stochastic Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987. IEEE-CS Press.
8. S. Caselli, G. Conte, F. Bonardi and M. Fontanesi: Experiences on SIMD Massively Parallel GSPN Analysis. Lecture Notes in Computer Science 794 (1994) 266-283.
9. K. Mani Chandy and Jayadev Misra: Parallel Program Design. Addison-Wesley (1988).