Critical Observability of Safe Petri Nets via Integer Linear Programming.
Xuya CongMaria Pia FantiAgostino Marcello ManginiZhiWu LiPublished in: CDC (2018)
Keyphrases
- petri net
- integer linear programming
- column generation
- petri net model
- colored petri nets
- discrete event systems
- service composition
- perfect phylogeny
- fuzzy petri net
- global constraints
- ims ld
- cutting plane
- state machines
- stochastic petri net
- genetic algorithm
- lower bound
- multistage
- concurrent systems
- dynamic programming
- search algorithm
- web services