Sensors selection for K-diagnosability of Petri nets via Integer Linear Programming.
Francesco BasileGianmaria De TommasiClaudio SterlePublished in: MED (2015)
Keyphrases
- petri net
- integer linear programming
- discrete event systems
- petri net model
- column generation
- colored petri nets
- state machines
- global constraints
- telecommunication networks
- complex systems
- cutting plane
- model based diagnosis
- fuzzy petri net
- stochastic petri net
- concurrent systems
- genetic algorithm
- programmable logic controller