Title: Eigenschaften von Petrinetzsprachen