Verification of workflow nets
- 1 January 1997
- book chapter
- Published by Springer Nature
- Vol. 1248, 407-426
- https://doi.org/10.1007/3-540-63139-9_48
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Business process redesign: A Petri-net-based approachComputers in Industry, 1996
- Free Choice Petri NetsPublished by Cambridge University Press (CUP) ,1995
- Putting high-level Petri nets to work in industryComputers in Industry, 1994
- Complexity results for 1-safe netsPublished by Springer Nature ,1993
- A proof of the Rank Theorem for extended free choice netsPublished by Springer Nature ,1992
- Validation and verification of software process modelsPublished by Springer Nature ,1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- Proper termination of flow-of-control in programs involving concurrent processesACM SIGPLAN Notices, 1972