Facts in place/transition-nets
- 1 January 1978
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 213-231
- https://doi.org/10.1007/3-540-08921-7_69
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Facts in place/transition-netsLecture Notes in Computer Science, 1978
- Petri NetsACM Computing Surveys, 1977
- The calculus of factsLecture Notes in Computer Science, 1976
- Generating control mechanisms by restrictionsLecture Notes in Computer Science, 1976
- SynchronisationsgraphenActa Informatica, 1973
- First-Order LogicPublished by Springer Nature ,1968