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

Published in: ICATPN (2000)

Keyphrases