A client-server protocol for the composition of Petri nets
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 377-396
- https://doi.org/10.1007/3-540-56863-8_57
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Asynchronous communication of Petri Nets and the refinement of transitionsPublished by Springer Nature ,1992
- Hierarchies in Coloured Petri NetsPublished by Springer Nature ,1991
- A Compositional Semantics for Timed Petri Nets1Fundamenta Informaticae, 1990
- Equivalence notions for concurrent systems and refinement of actionsPublished by Springer Nature ,1989
- Superposed Automata NetsPublished by Springer Nature ,1982
- Behaviour of a Place-Transition Net on a Subset of TransitionsPublished by Springer Nature ,1982
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979