Verification Of Workflow Task Structures: A Petri-net-baset Approach
By Wil M.P. van der Aalst, A. T. Hofstede. Information Systems, 2000
311 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Information Systems, Management Information Systems
View Paper: https://www.semanticscholar.org/paper/d85a635d8cbc5bd85f9719a8f3d37ce076ebefd5
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
- Wil M.P. van der Aalst
- Twan Basten
- A. T. Hofstede
- Bartek Kiepuszewski
- Christoph Bussler
- Manfred Reichert
- Bernd Weber
- Wil van der Aalst
In Information Systems
- Wil M.P. van der Aalst
- A. T. Hofstede
- Twan Basten
- Christoph Bussler
- Bartek Kiepuszewski
- Manfred Reichert
- Bernd Weber
- Wil van der Aalst
In Management Information Systems
- Wil M.P. van der Aalst
- A. T. Hofstede
- Twan Basten
- Manfred Reichert
- Christoph Bussler
- Bartek Kiepuszewski
- Bernd Weber
- Wil van der Aalst
Citations in the corpus
- On Structured Workflow Modelling (2000, methodology): “Using sophisticated verification tools for these purposes (incorporating techniques from state-of-the-art Petri-net theory) seems feasible from a practical perspective (see [1]).”
- Inheritance of workflows: an approach to tackling problems related to change (2002, methodology): “Woflan can also import process definitions made with Staffware [7, 57], METEOR [55], or Protos [48].”