ExSpect 6.4: An Executable Specification Toolfor Hierarchical Colored Petri Nets

van der Aalst, Wil M. P.; de Crom, Poul J. N.; Goverde, Roy R. H. M. J.; van Hee, Kees M.; Hofman, Wout J.; Reijers, Hajo A.; van der Toorn, Robert A.

Berlin ; Heidelberg : Springer (2000)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Application and theory of Petri nets 2000 : 21st international conference ; proceedings / ICATPN 2000, Aarhus, Denmark, June 26 - 30, 2000. Mogens Nielsen ... (eds.)
Seite(n)/Artikel-Nr.: 455-464

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]