Finding errors in the design of a workflow process : a Petri-net-based approach

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

54 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationWorkflow management : net-based concepts, models, techniques, and tools (WFM '98) : proceedings of the workshop, June 22, 1998, Lisbon, Portugal
EditorsW.M.P Aalst, van der
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1998

Publication series

NameComputing Science Reports
ISSN (Print)9432-0101


Dive into the research topics of 'Finding errors in the design of a workflow process : a Petri-net-based approach'. Together they form a unique fingerprint.

Cite this