Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
482142 | European Journal of Operational Research | 2007 | 22 Pages |
Abstract
This paper focuses on the resolution of the reachability problem in Petri nets, using the mathematical programming paradigm. The proposed approach is based on an implicit traversal of the Petri net reachability graph. This is done by constructing a unique sequence of Steps that represents exactly the total behaviour of the net. We propose several formulations based on integer and/or binary linear programming, and the corresponding sets of adjustments to the particular class of problem considered. Our models are validated on a set of benchmarks and compared with standard approaches from IA and Petri nets community.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
Authors
Thomas Bourdeaud’huy, Saïd Hanafi, Pascal Yim,