Eigenschaften von Petrinetzsprachen - Jantzen, Matthias (Univ., Fachbereich Informatik, 1979)