Failures semantics and deadlocking of modular petri nets
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 542-551
- https://doi.org/10.1007/bfb0017178
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Behaviour preserving refinements of Petri netsPublished by Springer Nature ,1987
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- Lectures on a calculus for communicating systemsLecture Notes in Computer Science, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- A method for stepwise refinement and abstraction of Petri netsJournal of Computer and System Sciences, 1983
- Structural Transformations Giving B-Equivalent PT-NetsPublished by Springer Nature ,1983
- Use of the Behaviour Equivalence in Place-Transition Net AnalysisPublished by Springer Nature ,1982
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- The equality problem for vector addition systems is undecidableTheoretical Computer Science, 1976