Efficient algorithms for three reachability problems in safe Petri nets
scientific article; zbMATH DE number 7493584