In: Stucky, W.; Winand, U.: Bericht No. 350: Petri-Netze zur Modellierung verteilter DV-Systeme - Erfahrungen im Rahmen des DFG-Schwerpunktprogramms ``Verteilte DV-Systeme in der Betriebswirtschaft'', pages 15-39. Institut für Angewandte Informatik und Formale Beschreibungssprachen, Universität Karlsruhe (TH), 1997.