Ein Algoritmus für das allgemeine Erreichbarkeits-problem bei Petrinetzen udn damit zusammenhüangende probleme | lit.salon