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 paper 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 workfIows.
|Title of host publication||Workflow management : net-based concepts, models, techniques, and tools (WFM '98) : proceedings of the workshop, June 22, 1998, Lisbon, Portugal|
|Editors||W.M.P Aalst, van der|
|Place of Publication||Eindhoven|
|Publisher||Technische Universiteit Eindhoven|
|Publication status||Published - 1998|
|Name||Computing Science Reports|