Mathematical programming approach to the Petri nets reachability problem
scientific article; zbMATH DE number 5078475
scientific article