On K-diagnosability of Petri nets via integer linear programming.
Francesco BasilePasquale ChiacchioGianmaria De TommasiPublished in: Autom. (2012)
Keyphrases
- integer linear programming
- petri net
- discrete event systems
- petri net model
- column generation
- global constraints
- colored petri nets
- stochastic petri net
- service composition
- fuzzy petri net
- ims ld
- cutting plane
- linear program
- linear programming
- concurrent systems
- evolutionary algorithm
- programmable logic controller
- state machines
- telecommunication networks
- discrete event
- constraint satisfaction
- complex systems