Coloured Petri Nets extended with channels for synchronous communication
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 159-178
- https://doi.org/10.1007/3-540-58152-9_10
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Coloured Petri Nets Extended with Channels for Synchronous CommunicationDAIMI Report Series, 1992
- Towards a modular analysis of coloured Petri netsPublished by Springer Nature ,1992
- Coloured petri nets: A high level language for system design and analysisPublished by Springer Nature ,1991
- High-level Petri NetsPublished by Springer Nature ,1991
- S-CORT®: A method for the development of electronic payment systemsPublished by Springer Nature ,1990
- Coloured Petri NetsPublished by Springer Nature ,1987