Top-down synthesis of live and bounded free choice nets
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 118-139
- https://doi.org/10.1007/bfb0019972
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Some Classes of Live and Safe Petri NetsPublished by Springer Nature ,1987
- A fresh look at free choice netsInformation and Control, 1984
- A theory of bipolar synchronization schemesTheoretical Computer Science, 1984
- A method for stepwise refinement and abstraction of Petri netsJournal of Computer and System Sciences, 1983
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- Complexity of some problems in Petri netsTheoretical Computer Science, 1977