Woflan 2.0 a petri-net-basedworkflow diagnosis tool

Eric Verbeek, Wil M.P. van der Aalst

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

65 Citations (Scopus)

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 verificationmechanisms 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 workflow 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
Subtitle of host publication21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
EditorsMogens Nielsen, Dan Simpson
PublisherSpringer
Chapter28
Pages475-484
Number of pages10
ISBN (Electronic)978-3-540-44988-1
ISBN (Print)978-3-540-67693-5
DOIs
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 (LNCS)
PublisherSpringer
Volume1825
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st International Conference on Application and Theory of Petri Nets, ICATPN 2000
Abbreviated titleICATPN 2000
Country/TerritoryDenmark
CityAarhus
Period26/06/0030/06/00

Fingerprint

Dive into the research topics of 'Woflan 2.0 a petri-net-basedworkflow diagnosis tool'. Together they form a unique fingerprint.

Cite this