Sciweavers

Share
BPM
2000
Springer

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

10 years 6 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this chapter we present a method based on Petri nets. This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. Moreover, the analysis method allows for the compositional verification of workflows.
Wil M. P. van der Aalst
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where BPM
Authors Wil M. P. van der Aalst
Comments (0)
books