A constraint programming approach for generating firing sequences in timed Petri nets with token identification.
Yongliang HuangThomas Bourdeaud'huyPierre-Alain YvarsArmand ToguyéniPublished in: WODES (2012)
Keyphrases
- constraint programming
- timed petri nets
- combinatorial problems
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- discrete event systems
- integer programming
- model based diagnosis
- global constraints
- np hard problems
- constraint logic programming
- constraint solving
- symmetry breaking
- constraint solver
- search heuristics
- column generation
- search strategies
- hard and soft constraints
- arc consistency
- sequential patterns
- video sequences
- finite domain
- np complete