Analysis of petri nets by stepwise refinements
- 1 February 1979
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 18 (1) , 35-46
- https://doi.org/10.1016/0022-0000(79)90050-3
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Computation sequence setsJournal of Computer and System Sciences, 1976
- Formal verification of parallel programsCommunications of the ACM, 1976
- Analysis of structured programsJournal of Computer and System Sciences, 1974
- Marked directed graphsJournal of Computer and System Sciences, 1971
- A Theory of Asynchronous Control NetworksIEEE Transactions on Computers, 1971