Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm
scientific article; zbMATH DE number 5377238