An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets

Nakatumba, J. (Corresponding author); Westergaard, M. (Corresponding author); van der Aalst, Wil M. P. (Corresponding author)

Berlin [u.a.] : Springer (2012)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Application and theory of Petri nets : 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings / Serge Haddad; Lucia Pomello (eds.)
Seite(n)/Artikel-Nr.: 308-327


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