W. v.d. Aalst, K.M. van Hee and M. Voorhoeve. The DONS rail scheduling system. ATPN Case Studies Tutorial:1-12, 1994 (abstract / pdf)
T. Basten and M. Voorhoeve. An Algebraic Semantics for Hierarchical P/T Nets (extended abstract). In G. De Michelis and M. Diaz, editors, Application and Theory of Petri Nets 1995, 16th. International Conference, Proceedings, pages 45-65. Torino, Italy, June 1995. Lecture Notes in Computer Science 935. Springer-Verlag, Berlin, Germany, 1995. (abstract / postscript)
M. Voorhoeve and T. Basten. Process Algebra with Autonomous Actions. In A. Ponse, C. Verhoef, and S.F.M. van Vlijmen, editors, ACP '95, 2nd. Workshop on Algebra of Communicating Processes, Proceedings, pages 181-194. Eindhoven, The Netherlands, May 1995. Computing Science Report 95/15, Eindhoven University of Technology, Eindhoven, The Netherlands, 1995. (abstract / postscript)
M. Voorhoeve and W. van der Aalst. Ad-hoc Workflow: Problems and Solutions. In R. Wagner, editor, Proceedings of the 8th International Workshop on Database and Expert Systems Applications, pages 36-41, Toulouse, France, Sept 1997. IEEE Computer Society, Los Alamitos (Cal), USA (abstract / PDF)
M. Voorhoeve Modeling and Verification of Workflow Nets In W.M.P. van der Aalst, G. De Michelis, and C.A. Ellis, editors, Workflow Management: Net-based Concepts, Models, Techniques and Tools, vol. 98/7 of Computing Science Reports, pages 96-108, Eindhoven University of Technology, Eindhoven, 1998 (abstract / pdf)
M. Voorhoeve and S. Mauw Impossible futures and determinism In Information Processing Letters vol. 80, pages 51-58, 2001 (abstract / IPL version / report)
K.M. van Hee, N. Sidorova and M. Voorhoeve Consistency control in model integration In Proceedings BPM 2004 LNCS 3080