Behaviour preserving refinements of Petri nets
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- 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