Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool
- 9 June 2000
- book chapter
- Published by Springer Nature
- p. 475-484
- https://doi.org/10.1007/3-540-44988-4_28
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Verification Of Workflow Task Structures: A Petri-net-baset ApproachInformation Systems, 2000
- THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENTJournal of Circuits, Systems and Computers, 1998
- Verification of workflow netsPublished by Springer Nature ,1997
- Free Choice Petri NetsPublished by Cambridge University Press (CUP) ,1995
- The minimal coverability graph for Petri netsPublished by Springer Nature ,1993