A constraint programming model for solving ...

Document type :
Communication dans un congrès avec actes
Title :
A constraint programming model for solving reachability problem in timed Petri nets
Author(s) :
Huang, Yongliang [Auteur]
Systèmes Tolérants aux Fautes [STF]
Bourdeaud'Huy, Thomas [Auteur]
LAGIS-OSL
Yvars, Pierre-Alain [Auteur]
Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux [LISMMA]
Toguyeni, Armand [Auteur] refId
Centrale Lille
Conference title :
International Conference of Modeling, Optimization and Simulation
Country :
France
Start date of the conference :
2012-06-06
Book title :
Performance, interoperability and safety for sustainable development
Publication date :
2012-06-08
HAL domain(s) :
Computer Science [cs]/Operations Research [math.OC]
English abstract : [en]
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 ...
Show more >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL