Relation-algebraic analysis of Petri nets with RELVIEW
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Algorithms from Relational SpecificationsPublished by Springer Nature ,1997
- Relations and GraphsPublished by Springer Nature ,1993
- Nets, Terms and FormulasPublished by Cambridge University Press (CUP) ,1991
- Relational algebraic semantics of deterministic and nondeterministic programsTheoretical Computer Science, 1986
- Petri NetsPublished by Springer Nature ,1985
- SynchronisationsgraphenActa Informatica, 1973
- Hierarchical ordering of sequential processesActa Informatica, 1971
- On the calculus of relationsThe Journal of Symbolic Logic, 1941