Diagnosability of labeled Petri nets via integer linear programming.
Francesco BasilePasquale ChiacchioGianmaria De TommasiPublished in: WODES (2010)
Keyphrases
- integer linear programming
- petri net
- discrete event systems
- column generation
- petri net model
- colored petri nets
- global constraints
- service composition
- complex systems
- ims ld
- stochastic petri net
- cutting plane
- concurrent systems
- telecommunication networks
- knowledge base
- collaborative learning
- evolutionary algorithm