Liveness and boundedness analysis for Petri nets with event graph modules
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 328-347
- https://doi.org/10.1007/3-540-55676-1_19
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Synthesis of feedback control logic for a class of controlled Petri netsIEEE Transactions on Automatic Control, 1990
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Hierarchical reduction method for analysis and decomposition of Petri netsIEEE Transactions on Systems, Man, and Cybernetics, 1985
- The Orderly Resolution of Memory Access Conflicts Among Competing Channel ProcessesIEEE Transactions on Computers, 1982
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Properties of Conflict-Free and Persistent Petri NetsJournal of the ACM, 1978
- A Synthesis Rule for Concurrent SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- Termination Properties of Generalized Petri NetsSIAM Journal on Computing, 1976
- On the Equivalence of Asynchronous Control StructuresSIAM Journal on Computing, 1973
- Marked directed graphsJournal of Computer and System Sciences, 1971