Publications

Dynamic, Extensible and Context-Aware Exception Handling for Workflow

Michael Adams, Arthur H.M. ter Hofstede, Wil M.P. van der Aalst, and David Edmond.
Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS 2007), Vilamoura, Algarve, Portugal, November 2007. Springer Verlag.

Facilitating Dynamic Flexibility and Exception Handling for Workflows

Michael Adams
PhD Thesis, Queensland University of Technology, May 2007

Dynamic and Extensible Exception Handling for Workflows: A Service-Oriented Implementation

M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
BPM Center Report BPM-07-03, BPMcenter.org, 2007.

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows

Michael Adams, Arthur ter Hofstede, David Edmond, W.M.P. van der Aalst.
Proceedings of the 14th International Conference on Cooperative Information Systems (CoopIS 06), Montpellier, France, November, 2006.

Download from QUT e-Prints

Implementing Dynamic Flexibility in Workflows using Worklets

M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
BPM Center Report BPM-06-06, BPMcenter.org, 2006

Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets.

Michael Adams, Arthur H. M. ter Hofstede, David Edmond and Wil M.P. van der Aalst.
In Proceedings of the 17th Conference on Advanced Information Systems Engineering Forum (CAiSE05 Forum), June 2005, Porto, Portugal. Springer Verlag

Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets

Michael Adams, Arthur ter Hofstede, David Edmond, W.M.P. van der Aalst
QUT Technical Report, FIT-TR-2004-03, Queensland University of Technology, Brisbane, 2004.

Foundations of Process-Aware Information System

Nick Russell
PhD Thesis, Queensland University of Technology, June 2007

YAWL: Yet Another Workflow Language

W.M.P. van der Aalst and A.H.M. ter Hofstede
Information Systems, 30(4):245-275, 2005

Download from QUT e-Prints

YAWL: Yet Another Workflow Language (Revised Version)

W.M.P. van der Aalst and A.H.M. ter Hofstede
QUT Technical Report, FIT-TR-2003-04, Queensland University of Technology, Brisbane, 2003.

YAWL: Yet Another Workflow Language

W.M.P. van der Aalst and A.H.M. ter Hofstede
QUT Technical Report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002

Workflow Patterns: On the Expressive Power of (Petri-net based) Workflow Languages

W.M.P. van der Aalst and A.H.M. ter Hofstede
In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1-20, Aarhus, Denmark, August 2002. University of Aarhus.

Visual Support for Work Assignment in Process-aware Information Systems: Framework, Formalization, Operationalisation

M. de Leoni, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
BPM Center Report BPM-08-06, BPMcenter.org, 2008.

Download from BPM Center

Design and Implementation of the YAWL system

W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Proceedings of The 16th International Conference on Advanced Information Systems Engineering (CAiSE 04), Riga, Latvia, June 2004. Springer Verlag.

Download from QUT e-Prints

Soundness of Workflow Nets: Classification, Decidability, and Analysis

W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn.
BPM Center Report BPM-08-02, BPMcenter.org, 2008.

Download from BPM Center

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants

H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
The Computer Journal 50(3):294-314, 2007.

Reduction Rules for Reset/Inhibitor Nets

H.M.W. Verbeek, M.T. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
BPM Center Report BPM-07-13, BPMcenter.org, 2007

Download from BPM Center

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis

M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond
BPM Center Report BPM-06-12, BPMcenter.org, 2006.

Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins

Moe Thandar Wynn
PhD Thesis, Queensland University of Technology, Nov 2006.

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants

H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
BPM Center Report BPM-06-01, BPMcenter.org, 2006.

Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets

Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede.
Proceedings of the 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, Miami, Florida, June 2005. Springer Verlag.

Workflow Simulation for Operational Decision Support using YAWL and ProM

A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge.
BPM Center Report BPM-08-04, BPMcenter.org, 2008.

Download from BPM Center

Business Process Simulation for Operational Decision Support

M.T. Wynn, M. Dumas, C.J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Proceedings of the 3rd Workshop on Business Process Intelligence (BPI 2007), Brisbane, Australia, 25-27 September 2007. Springer Verlag.