Understanding parallel program behavior through petri net models
- 1 July 1992
- journal article
- Published by Elsevier BV in Journal of Parallel and Distributed Computing
- Vol. 15 (3), 171-187
- https://doi.org/10.1016/0743-7315(92)90002-5
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An introduction to generalized stochastic Petri netsMicroelectronics Reliability, 1991
- Parallel software development in the DISC programming environmentFuture Generation Computer Systems, 1990
- Detection of Ada static deadlocks using Petri net invariantsIEEE Transactions on Software Engineering, 1989
- A petri net framework for automated static analysis of Ada tasking behaviorJournal of Systems and Software, 1988
- An exercise in concurrency: A CSP process as a condition/event systemLecture Notes in Computer Science, 1988
- Distributed discrete-event simulationACM Computing Surveys, 1986
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983