Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve & Moe Thandar Wynn (2011):
Soundness of workflow nets: classification, decidability, and analysis.
Formal Asp. Comput. 23(3),
pp. 333–363,
doi:10.1007/s00165-010-0161-4.
Wil M. P. van der Aalst & Arthur H. M. ter Hofstede (2005):
YAWL: yet another workflow language.
Inf. Syst. 30(4),
pp. 245–275,
doi:10.1016/j.is.2004.02.002.
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski & A.P. Barros (2003):
Workflow Patterns.
Distributed and Parallel Databases 14(1),
pp. 5–51,
doi:10.1023/A:1022883727209.
Edmund M. Clarke, Orna Grumberg & Doron Peled (2001):
Model checking.
MIT Press.
Dimitra Giannakopoulou & Jeff Magee (2003):
Fluent model checking for event-based systems.
In: ESEC SIGSOFT FSE,
pp. 257–266,
doi:10.1145/940071.940106.
Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Adams & Nick Russell (2010):
Modern Business Process Automation - YAWL and its Support Environment.
Springer.
Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee & Stuart M. Wheater (2000):
Model Checking of Workflow Schemas.
In: EDOC,
pp. 170–181,
doi:10.1109/EDOC.2000.882357.
Jeff Magee & Jeff Kramer (2006):
Concurrency - state models and Java programs (2. ed.).
Wiley.
Rob Miller & Murray Shanahan (1999):
The Event Calculus in Classical Logic - Alternative Axiomatisations.
Electron. Trans. Artif. Intell. 3(A),
pp. 77–105.
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello & Sergio Storari (2010):
Declarative specification and verification of service choreographiess.
TWEB 4(1),
doi:10.1145/1658373.1658376.
Germán Regis, Nicolás Ricci, Nazareno Aguirre & T. S. E. Maibaum (2012):
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.
In: Brazilian Symposium on Formal Methods, SBMF 2012,
pp. 147–162,
doi:10.1007/978-3-642-33296-8_12.
Peter Y. H. Wong & Jeremy Gibbons (2011):
Formalisations and applications of BPMN.
Sci. Comput. Program. 76(8),
pp. 633–650,
doi:10.1016/j.scico.2009.09.010.