Parallel state space exploration for GSPN models
- 1 January 1995
- book chapter
- Published by Springer Nature
- Vol. 935, 181-200
- https://doi.org/10.1007/3-540-60029-9_40
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A structural colour simplification in well-formed coloured netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experiences on SIMD massively parallel GSPN analysisPublished by Springer Nature ,1994
- Generalized stochastic Petri nets: a definition at the net level and its implicationsIEEE Transactions on Software Engineering, 1993
- Parallel Program DesignPublished by Springer Nature ,1989