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

by Ernst W. Mayr