@book{HeinerWikarski2012, author = {Monika Heiner and Dietmar Wikarski}, title = {An approach to Petri net based integration of qualitative and quantitative analysis of parallel systems}, year = {2012}, }