Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
By Wil M.P. van der Aalst. International Conference on Business Process Management, 2000
494 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Information Systems, Management Information Systems
View Paper: https://www.semanticscholar.org/paper/6d3ebdad3733604bba5936e493a8a6cff2e2d1f0
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Manfred Reichert
- Bernd Weber
- Bogdan Gabrys
- Marcin Budka
- Manuel Martin Salvador
- Hajo Alexander Reijers
- Dirk Fahland
- Sander J. J. Leemans
In Information Systems
- Bernd Weber
- Manfred Reichert
- Wil M.P. van der Aalst
- Dirk Fahland
- Sander J. J. Leemans
- Hajo Alexander Reijers
- Jan Mendling
- Bogdan Gabrys
In Management Information Systems
- Bernd Weber
- Manfred Reichert
- Wil M.P. van der Aalst
- Hajo Alexander Reijers
- Jan Mendling
- Dirk Fahland
- Sander J. J. Leemans
- Bogdan Gabrys
Citations in the corpus
- 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].”
- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach (2013, background): “The four operators presented here translate to well-structured, free-choice Petri nets [1]; other operators might not.”
- What Makes Process Models Understandable? (2007, background): “In particular, Eindhoven students have been explicitly and thoroughly taught about ‘soundness’ [ 33 ], a general correctness criterion for workflow nets.”
- Modelling Multi-Component Predictive Systems as Petri Nets (2017, methodology): “Analysis methods like (van der Aalst 2000) inspect PN structure to find potential design errors.”