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

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.

• Type: Conference
• Year: 2000
• Where: APN
• Authors: H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst
• Keywords: APN 2000, Artificial Intelligence, Process Definition, Workflow, Workflow Products