Analysis of stochastic Petri nets by the method of supplementary variables - German, Reinhard 1964-; Lindemann, Christoph 1961- (Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992)