Reduction of Petri-nets
- 1 January 1976
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Systems of open paths in Petri netsLecture Notes in Computer Science, 1975
- Parallel recursive program schemesPublished by Springer Nature ,1975
- Testing for the Church-Rosser PropertyJournal of the ACM, 1974
- Proper termination of flow-of-control in programs involving concurrent processesACM SIGPLAN Notices, 1972