Workflow verification: Finding control-flow errors using Petri-net-based techniques

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic


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.
Originele taal-2Engels
TitelBusiness Process Management: Models, Techniques, and Empirical Studies
RedacteurenW.M.P. Aalst, van der, J. Desel, A. Oberweis
Plaats van productieBerlin
ISBN van geprinte versie978-3-540-67454-2
StatusGepubliceerd - 2000

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Workflow verification: Finding control-flow errors using Petri-net-based techniques'. Samen vormen ze een unieke vingerafdruk.

Citeer dit