Woflan 2.0: A Petri-net-based workflow diagnosis tool

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)


Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, most of today’s workflow products allow for erroneous processes to be put in production: these products lack proper verification mechanisms in their process-definition tools for the created or modified processes. This paper presents the workflow diagnosis tool Woflan, which fills this gap. Using Petri-net based techniques, Woflan diagnoses process definitions before they are put into production. These process definitions can be imported from commercial work-flow products. Furthermore, Woflan guides the modeler of a workflow process definition towards finding and correcting possible errors.
Original languageEnglish
Title of host publicationApplication and theory of Petri nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June.
EditorsM Nielsen, D Simpson
Place of PublicationBerlin
Publication statusPublished - 2000
Event21st International Conference on Application and Theory of Petri Nets, ICATPN 2000 - Aarhus, Denmark
Duration: 26 Jun 200030 Jun 2000
Conference number: 21

Publication series

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


Conference21st International Conference on Application and Theory of Petri Nets, ICATPN 2000
Abbreviated titleICATPN 2000


Dive into the research topics of 'Woflan 2.0: A Petri-net-based workflow diagnosis tool'. Together they form a unique fingerprint.

Cite this