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

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

1 Downloads (Pure)

Abstract

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
PublisherSpringer
Pages475-484
Publication statusPublished - 2000
Event21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), June 26-30, 2000, Aarhus, Denmark - Aarhus, Denmark
Duration: 26 Jun 200030 Jun 2000

Publication series

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

Conference

Conference21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), June 26-30, 2000, Aarhus, Denmark
Abbreviated titleICATPN 2000
CountryDenmark
CityAarhus
Period26/06/0030/06/00

Fingerprint

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

Cite this