Diagnosing Workflow Processes using Woflan

By H. Verbeek, Twan Basten, Wil M.P. van der Aalst. Computer/law journal, 2001

422 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Management Information Systems, Management Science and Operations Research

View Paper: https://www.semanticscholar.org/paper/1f77ae853007ffb1dbf45be63b8b5e0dadfe49c2

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

In Management Information Systems

In Management Science and Operations Research

Citations in the corpus

Business Process Management: A Survey (2003, background): “[25]) demonstrates that workflows specified as workflow nets [2], a subclass of Petri nets, can be analyzed in order to determine whether they are e.”
Business Process Management: A Comprehensive Survey (2013, background): “A classical example is Woflan that is tailored towards checking soundness [210].”
Enabling Flexibility in Process-Aware Information Systems (2012, methodology): “For checking soundness of a process model, different verification frameworks and tools exist [1, 4, 79, 249, 327, 343, 344].”
Process Mining (2016, methodology): “A classical example is Woflan that is tailored towards checking soundness [179].”
Workflow mining: discovering process models from event logs (2004, methodology): “An example of a tool tailored toward the analysis of WF-nets is Woflan [47].”
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000, methodology): “To support the application of the results presented in this chapter, we have developed a Petri-net-based workflow analyzer calledWoflan[4, 5, 23, 24].”
Soundness of workflow nets: classification, decidability, and analysis (2011, methodology): “Since the mid nineties, many researchers have been working on workflow verification techniques [1–3, 5, 6, 8–11, 14, 15, 19, 21, 30, 31, 36, 37, 40, 45, 48–50, 53–59, 66–69, 71–74, 78–80].”
Genetic Process Mining (2005, methodology): “An example of a tool tailored towards the analysis of WF-nets is Woflan [76, 77].”
The P2P Approach to Interorganizational Workflows (2001, methodology): “We have developed a tool named Woﬂan (WOrkFLow ANalyzer [2,28]).”
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition (2007, methodology): “Mendling et al. [9] [8] have analyzed more than 2000 EPC process models using the Woflan tool [17] for a relaxed version of soundness.”