A petri net approach for performance oriented parallel program design
- 1 July 1992
- journal article
- Published by Elsevier in Journal of Parallel and Distributed Computing
- Vol. 15 (3) , 188-206
- https://doi.org/10.1016/0743-7315(92)90003-6
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: Lamport's fast mutual exclusion algorithmIEEE Transactions on Parallel and Distributed Systems, 1992
- Editorial: Technology or managementCommunications of the ACM, 1991
- ParaGraph: Graph editor support for parallel programming environmentsInternational Journal of Parallel Programming, 1990
- A survey of parallel computer architecturesComputer, 1990
- Programming languages for distributed computing systemsACM Computing Surveys, 1989
- How to write parallel programs: a guide to the perplexedACM Computing Surveys, 1989
- Faust: an integrated environment for parallel programmingIEEE Software, 1989
- CODE: a unified approach to parallel programmingIEEE Software, 1989
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Concepts and Notations for Concurrent ProgrammingACM Computing Surveys, 1983