Roland Lepold Guenter Klas Generierung und analytische Auswertung stochastischer Petri-Netz-Modelle zur Bewertung komplexer Rechensysteme. 219-229 1990 conf/arcs/1990 ARCS db/conf/arcs/arcs1990.html#LepoldK90