Petri Net Based Certification of Event-Driven Process Chains
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 286-305
- https://doi.org/10.1007/3-540-69108-1_16
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Free Choice Petri NetsPublished by Cambridge University Press (CUP) ,1995
- Partial order behaviour and structure of Petri netsFormal Aspects of Computing, 1990
- A theory of bipolar synchronization schemesTheoretical Computer Science, 1984