xoEPC - Jan Mendling

Bibliography 487
[VA06] H. M. W. Verbeek and W.M.P. van der Aalst. On the verification of EPCs using
T-invariants. BPMCenter Report BPM-06-05, BPMcenter.org, 2006.
[Val98] A. Valmari. The state explosion problem. In W. Reisig and G. Rozenberg,
editors, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the
volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl,
September 1996, volume 1491 of Lecture Notes in Computer Science, pages
429–528. Springer, 1998.
[VBA01] H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow
Processes using Woflan. The Computer Journal, 44(4):246–279, 2001.
[VDMA06] H.M.W. Verbeek, B.F. van Dongen, J. Mendling, and W.M.P. van der Aalst.
Interoperability in the ProM Framework. In T. Latour and M. Petit, editors,
Proceedings of the CAiSE Workshops at the 18st Conference on Advanced In-
formation Systems Engineering (CAiSE 2006), pages 619–630, Luxembourg,
Luxembourg, 2006.
[Ver04] H.M.W. Verbeek. Verification and Enactment of Workflow Management Sys-
tems. PhD thesis, Eindhoven University of Technology, Eindhoven, The
Netherlands, 2004.
[VPAJ07] H.M.W. Verbeek, A.J. Pretorius, W.M.P. van der Aalst, and J.J. van Wijk.
Visualizing state spaces with Petri nets. Computer Science Report 07/01, Eind-
hoven University of Technology, Eindhoven, The Netherlands, 2007.
[VPL07] V. K. Vaishnavi, S. Purao, and J. Liegle. Object-oriented product metrics: A
generic framework. Information Sciences, 177:587–606, January 2007.
[VW93] P.F. Velleman and L. Wilkinson. Nominal, ordinal, interval, and ratio typologies
are misleading. The American Statistician, 47(1):65–72, February 1993.
[WAD + 05] P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and
N. Russell. Pattern-Based Analysis of the Control-Flow Perspective of UML
Activity Diagrams. In L. Delcambre, C. Kop, H.C. Mayr, J. Mylopoulos, and