G. Avrunin/J. Corbett/U. Buy: Integer programming in the analysis of
concurrent systems. In Larsen/Skou 1991, 92-102.

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.

J. Corbett/G. Avrunin: Using integer programming to verify general safety
and liveness properties. Formal Meth. System Design 6/1 (1995), 97-123.

K. Larsen/A. Skou (ed.): Computer aided verification.
Springer LN CS 575 (1991).

J. Lasserre/P. Mahey: Using linear programming in Petri net analysis.
Op. Res. 23/1 (1989), 43-50.

10391 Stephan Melzer/Javier Esparza: Checking system properties via
integer programming. TU München SFB 342 (1995).