Control flow analysis of distributed computing system software using structured Petri net model
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. se 9, 174-183
- https://doi.org/10.1109/ftdcs.1988.26696
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Synthesis of a Class of Deadlock-Free Petri NetsJournal of the ACM, 1984
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Distributed Software System Design Representation Using Modified Petri NetsIEEE Transactions on Software Engineering, 1983
- A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representationInformation Sciences, 1983
- Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming PrimitivesIEEE Transactions on Software Engineering, 1983
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- An Approach to Distributed Computing System Software DesignIEEE Transactions on Software Engineering, 1981
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980
- Communication Port: A Language Concept for Concurrent ProgrammingIEEE Transactions on Software Engineering, 1980
- Communicating sequential processesCommunications of the ACM, 1978