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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

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.
Original languageEnglish
Title of host publicationBusiness Process Management: Models, Techniques, and Empirical Studies
EditorsW.M.P. Aalst, van der, J. Desel, A. Oberweis
Place of PublicationBerlin
PublisherSpringer
Pages161-183
ISBN (Print)978-3-540-67454-2
DOIs
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
Volume1806
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Workflow verification: Finding control-flow errors using Petri-net-based techniques'. Together they form a unique fingerprint.

Cite this