Characterizing Stable and Deriving Valid Inequalities of Petri Nets.
Marvin TriebelJan SürmeliPublished in: Fundam. Informaticae (2016)
Keyphrases
- petri net
- valid inequalities
- integer programming
- traveling salesman problem
- mixed integer programming
- linear programming
- lower and upper bounds
- feasible solution
- mixed integer
- convex hull
- petri net model
- cutting plane
- column generation
- colored petri nets
- integer program
- primal dual
- network design problem
- discrete event systems
- fuzzy petri net
- lagrangian relaxation
- service composition
- facet defining inequalities
- facet defining
- network flow
- continuous variables
- ant colony optimization
- itemsets
- lower bound
- bayesian networks
- learning algorithm