Algebraic structure of flows of a regular coloured net
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Towards Reachability Trees for High-level Petri NetsDAIMI Report Series, 1985
- Computation of flows for unary-predicates/transitions-netsPublished by Springer Nature ,1985
- S-invariance in Predicate/Transition NetsPublished by Springer Nature ,1983
- High-Level Petri NetsInformatik-Fachberichte, 1983
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- How to find invariants for coloured Petri netsPublished by Springer Nature ,1981