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)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 308-327


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]