A Petri Net Approach to Generate Integer Linear Programming Problems