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
Institutions
- Department of Computer Science [120000]
- Chair of Computer Science 9 (Process and Data Science) [122510]
Identifier
- DOI: 10.1007/978-3-642-31131-4_17
- RWTH PUBLICATIONS: RWTH-CONV-221103