Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. - Wil M. P. van der Aalst; Poul J. N. de Crom; Roy R. H. M. J. Goverde; Kees M. van Hee; Wout J. Hofman; Hajo A. Reijers; Robert A. van der Toorn (ICATPN, 2000)