Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool

  • Eric Verbeek
  • Wil M. P. van der Aalst
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1825)


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.


Business Process Coverability Graph Process Definition Diagnosis Process Diagnostic Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Aal97]
    W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 407–426, Toulouse, France, June 1997. Springer, Berlin, Germany, 1997.Google Scholar
  2. [Aal98]
    W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.CrossRefGoogle Scholar
  3. [AH00]
    W.M.P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-net-based Approach. Information Systems, To appear, 2000.Google Scholar
  4. [DE95]
    J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.MATHGoogle Scholar
  5. [EN94]
    J. Esparza and M. Nielsen. Decidability Issues for Petri Nets-a Survey. Journal of Information Processing and Cybernetics, 30(3):210–242, 1994.Google Scholar
  6. [Fin93]
    A. Finkel. The Minimal Coverability Graph for Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 1993, volume 674 of Lecture Notes in Computer Science, pages 210–243. Springer, Berlin, Germany, 1993.Google Scholar
  7. [IC96]
    R.R.A. Issa and R.F. Cox. Using Process Modeling and Workflow Integration to gain (ISO 9000) Certification in Construction. In CIB W89 Beijing International Conference on Construction, Modernization, and Education, Beijing, China, 1996.Google Scholar
  8. [Pal97]
    Pallas Athena. Protos User Manual. Pallas Athena BV, Plasmolen, The Netherlands, 1997.Google Scholar
  9. [SKM]
    A. Sheth, K. Kochut, and J. Miller. Large Scale Distributed Information Systems (LSDIS) laboratory, METEOR project page. http://www.lsdis.cs.uga.edu/proj/meteor/meteor.html.
  10. [SL98]
    Software-Ley. COSA User Manual. Software-Ley GmbH, Pullheim, Germany, 1998.Google Scholar
  11. [Sta97]
    Staffware. Staffware 97 / GWD User Manual. Staffware Plc, Berkshire, UK, 1997.Google Scholar
  12. [VA]
    H.M.W. Verbeek and W.M.P. van der Aalst. Woflan Home Page. http://www.win.tue.nl/~woflan.
  13. [VBA99]
    H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. Computing Science Report 99/02, Eindhoven University of Technology, Eindhoven, The Netherlands, 1999.Google Scholar
  14. [WFM96]
    WFMC. Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Eric Verbeek
    • 1
  • Wil M. P. van der Aalst
    • 1
  1. 1.Department of Technology ManagementEindhoven University of Technologythe Netherlands

Personalised recommendations