Decentralized Diagnosis by Petri Nets and Integer Linear Programming.
Xuya CongMaria Pia FantiAgostino Marcello ManginiZhiwu LiPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2018)
Keyphrases
- petri net
- integer linear programming
- discrete event systems
- column generation
- petri net model
- colored petri nets
- stochastic petri net
- model based diagnosis
- fuzzy petri net
- service composition
- cutting plane
- concurrent systems
- ims ld
- global constraints
- distributed systems
- knowledge base
- state machines
- hardware and software
- linear programming
- perfect phylogeny