1. W. van der Aalst, K. van Hee, A. ter Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve & M. Wynn (2011): Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing 23, pp. 333–363, doi:10.1007/s00165-010-0161-4.
  2. W. M. P. van der Aalst (1998): The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), pp. 21–66, doi:10.1142/S0218126698000043.
  3. Wil M. P. van der Aalst, Maja Pesic & Helen Schonenberg (2009): Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2), pp. 99–113, doi:10.1007/s00450-009-0057-9.
  4. Wil M.P van der Aalst & Maja Pesic (2006): A Declarative Approach for Flexible Business Processes Management. In: Proceedings of DPM 2006, LNCS. Springer Verlag.
  5. Wil M.P van der Aalst & Maja Pesic (2006): DecSerFlow: Towards a Truly Declarative Service Flow Language. In: M. Bravetti, M. Nunez & Gianluigi Zavattaro: Proceedings of Web Services and Formal Methods (WS-FM 2006), LNCS 4184. Springer Verlag, pp. 1–23.
  6. Kamal Bhattacharya, Cagdas Gerede, Richard Hull, Rong Liu & Jianwen Su (2007): Towards Formal Analysis of Artifact-Centric Business Process Models. In: Gustavo Alonso, Peter Dadam & Michael Rosemann: Business Process Management, Lecture Notes in Computer Science 4714. Springer Berlin / Heidelberg, pp. 288–304, doi:10.1007/978-3-540-75183-0.
  7. Christoph Bussler & Stefan Jablonski (1994): Implementing agent coordination for workflow management systems using active database systems. In: Research Issues in Data Engineering, 1994. Active Database Systems. Proceedings Fourth International Workshop on, pp. 53–59, doi:10.1109/RIDE.1994.282853.
  8. Allan Cheng (1995): Petri Nets, Traces, and Local Model Checking. In: Proceedings of AMAST, pp. 322–337.
  9. Nihan Kesim Cicekli & Ilyas Cicekli (2006): Formalizing the specification and execution of workflows using the event calculus. Information Sciences 176(15), pp. 2227 – 2267, doi:10.1016/j.ins.2005.10.007. Available at
  10. Nihan Kesim Cicekli & Yakup Yildirim (2000): Formalizing Workflows Using the Event Calculus. In: Proceedings of the 11th International Conference on Database and Expert Systems Applications, DEXA '00. Springer-Verlag, London, UK, pp. 222–231. Available at
  11. David Cohn & Richard Hull (2009): Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes. IEEE Data Eng. Bull. 32(3), pp. 3–9. Available at
  12. Hasam Davulcu, Michael Kifer, C. R. Ramakrishnan & I.V. Ramakrishnan (1998): Logic Based Modeling and Analysis of Workflows. In: Proceedings of ACM SIGACT-SIGMOD-SIGART. ACM Press, pp. 1–3.
  13. J Desel & Thomas Erwin (2000): Modeling, Simulation and Analysis of Business Processes. In: Wil van der Aalst, J Desel & Andreas Oberweis: Business Process Management, Lecture Notes in Computer Science 1806. Springer Berlin / Heidelberg, pp. 247–288, doi:10.1007/3-540-45594-9-9.
  14. Alin Deutsch, Richard Hull, Fabio Patrizi & Victor Vianu (2009): Automatic verification of data-centric business processes. In: Proceedings of the 12th International Conference on Database Theory, ICDT '09. ACM, New York, NY, USA, pp. 252–267, doi:10.1145/1514894.1514924.
  15. Alvaro A. A. Fernandes, M. Howard Williams & Norman W. Paton (1997): A logic-based integration of active and deductive databases. New Gen. Comput. 15(2), pp. 205–244, doi:10.1007/BF03037238.
  16. Thomas Hildebrandt & Raghava Rao Mukkamala (2010): Distributed Dynamic Condition Response Structures. In: Pre-proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 10). Available at
  17. Richard Hull (2010): Formal Study of Business Entities with Lifecycles: Use Cases, Abstract Models, and Results. In: Proceedings of 7th International Workshop on Web Services and Formal Methods, Lecture Notes in Computer Science 6551, doi:10.1007/978-3-642-15618-2.
  18. Robert Kowalski (1992): Database updates in the event calculus. J. Log. Program. 12(1-2), pp. 121–146, doi:10.1016/0743-1066(92)90041-Z.
  19. Karen Marie Lyng, Thomas Hildebrandt & Raghava Rao Mukkamala (2008): From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. In: Proceedings ProHealth 08 workshop. Available at
  20. Raghava Rao Mukkamala & Thomas Hildebrandt (2010): From Dynamic Condition Response Structures to Büchi Automata. In: Proceedings of 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2010), doi:10.1109/TASE.2010.22. Available at
  21. Raghava Rao Mukkamala, Thomas Hildebrandt & Janus Boris Tøth (2008): The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL.. In: Proceedings of DDBP.
  22. Maja Pesic (2008): Constraint-Based Workflow Management Systems: Shifting Control to Users. Eindhoven University of Technology, Netherlands.
  23. Pinar Senkul, Michael Kifer & Ismail H. Toroslu (2002): A Logical Framework for Scheduling Workflows Under Resource Allocation Constraints. In: In VLDB, pp. 694–705.
  24. Munindar P. Singh, Greg Meredith, Christine Tomlinson & Paul C. Attie (1995): An Event Algebra for Specifying and Scheduling Workflows. In: Proceedings of DASFAA. World Scientific Press, pp. 53–60.
  25. Rüdiger Valk & Heino Carstensen (1985): Infinite Behaviour and Fairness in Petri Nets. In: G. Rozenberg: Advances in Petri Nets 1984, Lecture Notes in Computer Science 88. Springer-Verlag, pp. 83–100.
  26. Glynn Winskel (1986): Event Structures. In: Wilfried Brauer, Wolfgang Reisig & Grzegorz Rozenberg: Advances in Petri Nets, Lecture Notes in Computer Science 255. Springer, pp. 325–392.
  27. Glynn Winskel & Mogens Nielsen (1995): Models for concurrency. In: Handbook of logic in computer science (vol. 4): semantic modelling. Oxford University Press, Oxford, UK, pp. 1–148.

Comments and questions to:
For website issues: