Article contents
Modelling integer linear programs with petri nets*
Published online by Cambridge University Press: 15 August 2002
Abstract
We show in this paper that timed Petri nets, with one resource shared by all the transitions, are directly connected to the modelling of integer linear programs (ILP). To an ILP can be automatically associated an equivalent Petri net. The optimal reachability delay is an optimal solution of the ILP. We show next that a net can model any ILP. I order to do this, we give a new sufficient reachability condition for the marking equation, which also holds for general Petri nets without timed transitions.
- Type
- Research Article
- Information
- Copyright
- © EDP Sciences, 2000
References
* This work was done while the author was in the Laboratoire d'Informatique, E3I/Université de Tours, 64 avenue J. Portalis, 37200 Tours, France.
- 5
- Cited by