@inproceedings{HeinerVentreWikarski2013, author = {M. Heiner and G. Ventre and Dietmar Wikarski}, title = {A Petri Net based Tool Kit to integrate qualitative and quantitative analysis}, booktitle = {In: Transputer applications and systems '93 : proceedings of the 1993 World Transputer Congress, 20 - 22 September 1993, Aachen, Germany / ed. by R. Grebe ... [TTC, the Transputer Consortium] . - ( Transputer and occam engineering series ; 36 ). - ISBN 90-5199-140-1}, pages = {1317}, year = {2013}, }