@inproceedings{HeinerVentreWikarski1993, author = {Heiner, M. and Ventre, G. and Wikarski, Dietmar}, title = {A Petri Net based Tool Kit to integrate qualitative and quantitative analysis}, series = {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}, 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 = {1993}, language = {en} }