Ekkart Kindler: Modularer Entwurf verteilter Systeme mit Petrinetzen. Diplomarbeit (Dissertation ?) TU Mu''nchen, ca. 1995. Wolfgang Reisig: System design using Petri nets. Springer 1992, 120p. 3-540-52044-9. DM 71.