Title: Entscheidbarkeit bei Petri Netzen
Subjects: Petri nets