For the most recent entries see the Petri Nets Newsletter.

Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool.

Verbeek, Eric; van der Aalst, Wil M.P.

In: Nielsen, M.; Simpson, D.: Lecture Notes in Computer Science, Vol. 1825: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, pages 475-484. Springer-Verlag, 2000.

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 workflow products. Furthermore, Woflan guides the modeler of a workflow process definition towards finding and correcting possible errors.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography