Towards a modular analysis of coloured Petri nets
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 113-133
- https://doi.org/10.1007/3-540-55676-1_7
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Semantics, composition and net properties of algebraic high-level netsPublished by Springer Nature ,2005
- Use of reentrant nets in modular analysis of colored netsPublished by Springer Nature ,2005
- On the invariants of coloured Petri NetsPublished by Springer Nature ,2005
- Coloured Petri Nets Extended with Channels for Synchronous CommunicationDAIMI Report Series, 1992
- Avoiding state explosion by composition of minimal covering graphsPublished by Springer Nature ,1992
- Coloured petri nets: A high level language for system design and analysisPublished by Springer Nature ,1991
- Petri Nets and Algebraic SpecificationsPublished by Springer Nature ,1991
- High-level Petri NetsPublished by Springer Nature ,1991
- Reachability Trees for High-level Petri NetsPublished by Springer Nature ,1986
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981