Decidable problems on the strong connectivity of Petri net reachability sets
scientific article; zbMATH DE number 3564351