Displaying similar documents to “Modelling integer linear programs with Petri nets”