Integer linear programming and the analysis of some Petri net problems
scientific article; zbMATH DE number 1309896