Additional methods for reduction and expansion of marked graphs
- 1 October 1981
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Circuits and Systems
- Vol. 28 (10) , 1009-1014
- https://doi.org/10.1109/tcs.1981.1084918
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and PerformanceIEEE Transactions on Software Engineering, 1980
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980
- Relevance of network theory to models of distributed/parallel processingJournal of the Franklin Institute, 1980
- Reduction and expansion of live and safe marked graphsIEEE Transactions on Circuits and Systems, 1980
- Special Feature: Putting Petri Nets to WorkComputer, 1979
- The CRAY-1 computer systemCommunications of the ACM, 1978
- Petri NetsACM Computing Surveys, 1977
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- Marked directed graphsJournal of Computer and System Sciences, 1971