Using Constraint Programming for Solving the Reachability Problem in Timed Petri Nets: Evaluation of Basic Labeling Strategies

Yongliang Huang (1) , Thomas Bourdeaud'Huy (2) , Pierre-Alain Yvars (3) , Armand Toguyeni (1)

1 STF - Systèmes Tolérants aux Fautes
2 LAGIS-OSL
3 LISMMA - Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux

In this paper, we propose to use a constraint programming approach to address the reachability problem in Timed Petri Nets (TPNs). TPNs can be used to model a wide class of systems, from manufacturing issues to formal verification of embedded systems. Many of the considered problems can be modeled as reachability problems in TPNs. To reduce the space state explosion brought by the exploration of the TPN behavior, we propose to follow the incremental methodology proposed by Bourdeaud'huy and Hanafi (2006), who translate the reachability graph of Timed PNs into a mathematical model. We improve this model by adding valid inequalities and search for solutions using Constraint Programming (CP). More particularly, we compare different labeling strategies and assess their respective efficiency.

Mots clés: Manufacturing; Timed Petri Nets; Reachability Problem; Constraint Programming; Labeling Strategies

Domaines: Automatique

Yongliang Huang, Thomas Bourdeaud'Huy, Pierre-Alain Yvars, Armand Toguyeni. Using Constraint Programming for Solving the Reachability Problem in Timed Petri Nets: Evaluation of Basic Labeling Strategies. 14th IFAC Symposium on Information Control Problems in Manufacturing, May 2012, Bucarest, Romania. pp.160-166, ⟨10.3182/20120523-3-RO-2023.00216⟩. ⟨hal-00801027⟩