Composition of nets via a communication medium
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 457-470
- https://doi.org/10.1007/3-540-53863-1_34
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Some equivalence notions for concurrent systems. An overviewPublished by Springer Nature ,2005
- Deterministic systems of sequential processes: Theory and toolsPublished by Springer Nature ,1988
- High-Level Petri NetsInformatik-Fachberichte, 1983
- Deterministic buffer synchronization of sequential processesActa Informatica, 1982
- Use of the Behaviour Equivalence in Place-Transition Net AnalysisPublished by Springer Nature ,1982
- Stepwise Refinements of Transitions and PlacesPublished by Springer Nature ,1982
- Fuites dans les réseaux de PetriRAIRO. Informatique théorique, 1978