A compositional partial order semantics for Petri net components
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 235-252
- https://doi.org/10.1007/3-540-63139-9_39
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Mutex needs fairnessInformation Processing Letters, 1997
- Message passing mutexPublished by Springer Nature ,1995
- Petri Net models of distributed algorithmsPublished by Springer Nature ,1995
- Composition of nets via a communication mediumPublished by Springer Nature ,1991
- Some comments on the assumption-commitment framework for compositional verification of distributed programsPublished by Springer Nature ,1990
- Parallel Program DesignPublished by Springer Nature ,1989
- Compositional semantics of pure place/transition systemsLecture Notes in Computer Science, 1988
- On internal and external characterisations of PT-net building block behaviourPublished by Springer Nature ,1988
- In Transition From Global to Modular Temporal Reasoning about ProgramsPublished by Springer Nature ,1985
- The non-sequential behaviour of Petri netsInformation and Control, 1983