Entscheidbarkeit Bei Petri Netzen Uberblick Und Kompendium