19696 Thomas Bourdeaud'huy/Said Hanafi/Pascal Yim: Mathematical programming
approach to the Petri nets reachability problem.
Europ. J. Op. Res. 177 (2007), 176-197.