Understanding parallel program behavior through petri net models

Journal of Parallel and Distributed Computing

Volumn 15, Issue 3, 1992, Pages 171-187

  Balbo, Gianfranco ^a   Donatelli, Susanna ^a   Franceschinis, Giuliana ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012994981     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-7315(92)90002-5     Document Type: Article

References (17)

1. An introduction to generalized stochastic Petri nets
2. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets Lamport's fast mutual exclusion algorithm
3. GSPN versus SPN: what is the actual role of immediate transitions?
4. GreatSPN 1.5 software architecture
5. Superposed automata nets
6. Comparing Occam2 program placements by a GSPN model
7. An exercise in concurrency: a CSP process as a Condition Event system
8. Modelling mappings of parallel computations onto parallel architectures with prm-net model
9. Parallel software development in disc programming environment
10. Distributed discrete event simulation
11. Detection of Ada static deadlocks using Petri nets invariants
12. A Petri net framework for automated static analysis of Ada tasking
13. A general purpose algorithm for analyzing concurrent programs