Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.
Thomas Bourdeaud'huySaïd HanafiPascal YimPublished in: CPAIOR (2004)
Keyphrases
- mathematical programming
- petri net
- combinatorial optimization
- linear programming
- petri net model
- concurrent processes
- discrete event systems
- mixed integer linear
- fuzzy petri net
- mip solver
- colored petri nets
- state machines
- metaheuristic
- vehicle routing problem
- concurrent systems
- bilevel programming
- stochastic petri net
- ims ld
- optimal solution
- service composition
- traveling salesman problem
- ant colony optimization
- simulated annealing
- expert systems