Woflan: A Petri-net-based workflow analyzer. Workflow management technology promises a flexible solution for business-process support facilitating the easy creation of new business processes and modification of existing processes. Unfortunately, todays workflow products have no support for workflow verification. Errors made at design-time are not detected and result in very costly failures at run-time. Woflan helps you to detect these errors before the workflow is put into production. Woflan is a remarkable product with unique features. State-of-the-art Petri-net-based analysis techniques are deployed to verify the correctness of a workflow process. The functionality of Woflan starts where other workflow tools give up. Woflan can interface with several workflow management systems and BPR tools. The challenge is not to detect errors: The real challenge is to provide diagnostics why something is wrong and how it can be repaired. For this purpose, Woflan generates high-quality diagnostic information guiding the designer towards the error. Woflan is based on the strong theoretical results and practical experiences with contemporary workflow management system

References in zbMATH (referenced in 32 articles )

Showing results 1 to 20 of 32.
Sorted by year (citations)

1 2 next

  1. van Hee, Kees M.; Sidorova, Natalia; van der Werf, Jan Martijn: Refinement of synchronizable places with multi-workflow nets (2013)
  2. Kokash, Natallia; Krause, Christian; De Vink, Erik: Reo + $\mathrmmCRL2$: a framework for model-checking dataflow in service compositions (2012)
  3. Reichert, Manfred; Weber, Barbara: Enabling flexibility in process-aware information systems. Challenges, methods, technologies (2012)
  4. Polyvyanyy, Artem; Weidlich, Matthias; Weske, Mathias: Connectivity of workflow nets: The foundations of stepwise verification (2011)
  5. van der Aalst, Wil; Stahl, Christian: Modeling business processes. A Petri net-oriented approach (2011)
  6. van der Aalst, W.M.P.; van Hee, K.M.; ter Hofstede, A.H.M.; Sidorova, N.; Verbeek, H.M.W.; Voorhoeve, M.; Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis (2011)
  7. Norta, Alex; Eshuis, Rik: Specification and verification of harmonized business-process collaborations (2010)
  8. van der Aalst, Wil M.P.; Dumas, Marlon; Gottschalk, Florian; ter Hofstede, Arthur H.M.; La Rosa, Marcello; Mendling, Jan: Preserving correctness during business process model configuration (2010)
  9. van Hee, K.M.; Verbeek, H.M.W.; Stahl, Christian; Sidorova, N.: A framework for linking and pricing no-cure-no-pay services (2009)
  10. Gottschalk, F.; van der Aalst, W.M.P.; Jansen-Vullers, M.H.; Verbeek, H.M.W.: Protos2cpn: Using colored Petri nets for configuring and testing business processes (2007)
  11. Ouyang, Chun; Verbeek, Eric; van der Aalst, Wil M.P.; Breutel, Stephan; Dumas, Marlon; ter Hofstede, Arthur H.M.: Formal semantics and analysis of control flow in WS-BPEL (2007)
  12. van Hee, Kees; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc; Lomazova, Irina A.: Checking properties of adaptive workflow nets (2007)
  13. Zhou, Conghua; Chen, Zhenyu: Model checking workflow net based on Petri net (2006)
  14. Norta, Alexander: Web supported enactment of Petri-net based workflows with XRL/flower (2004)
  15. van der Aalst, Wil M.P.: Business process management demystified: A tutorial on models, systems and standards for workflow management (2004)
  16. van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc: Generalised soundness of workflow nets is decidable (2004)
  17. Reijers, Hajo A.: Design and control of workflow processes. Business process management for the service industry. (2003)
  18. van der Aalst, Wil (ed.); ter Hofstede, Arthur (ed.); Weske, Mathias (ed.): Business process management. International conference, BPM 2003, Eindhoven, The Netherlands, June 26--27, 2003. Proceedings. (2003)
  19. van der Aalst, W.M.P.: Inheritance of business processes: a journey visiting four notorious problems (2003)
  20. van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc: Soundness and separability of workflow nets in the stepwise refinement approach (2003)

1 2 next

Further publications can be found at: http://www.win.tue.nl/woflan/doku.php?id=publications