On the invariants of coloured Petri Nets
- 13 November 2005
- book chapter
- Published by Springer Science and Business Media LLC
- p. 330-345
- https://doi.org/10.1007/bfb0016219
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The analysis of distributed systems by means of predicate/transition-netsPublished by Springer Science and Business Media LLC ,2005
- A Petri net approach to the modelling and analysis of flexible manufacturing systemsAnnals of Operations Research, 1985
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- How to find invariants for coloured Petri netsLecture Notes in Computer Science, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- Linear algebra in net theoryPublished by Springer Science and Business Media LLC ,1980
- Formal properties of place/transition netsPublished by Springer Science and Business Media LLC ,1980
- A Synthesis Rule for Concurrent SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978