1. W.M.P. van der Aalst, Petri net-based workflow management software, in: Proceedings of the NSF Workshop on Workflow and Process Automation in Information Systems: State-of-the-Art and Future Directions, Athens, Georgia, May 1996, pp. 114–118.
2. W.M.P. van der Aalst, Verification of workflow-nets, in: P. Azema, G. Balbo (Eds.), Application and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 1248, Springer, Berlin, 1997, pp. 407–426.
3. The application of Petri nets to workflow management;van der Aalst;The Journal of Circuits, Systems and Computers,1998
4. W.M.P. van der Aalst, Workflow verification: finding control-flow errors using Petri net-based techniques, in: W.M.P. van der Aalst, J. Desel, A. Oberweis (Eds.), Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science, vol. 1806, Springer, Berlin, 2000, pp. 161–138.
5. Expressing real-time constraints in a reflective object model;Babau;IFAC Control Engineering Practice,1998