On-line verification of current-state opacity by Petri nets and integer linear programming.
Xuya CongMaria Pia FantiAgostino Marcello ManginiZhiwu LiPublished in: Autom. (2018)
Keyphrases
- petri net
- integer linear programming
- petri net model
- colored petri nets
- concurrent systems
- discrete event systems
- perfect phylogeny
- state space
- programmable logic controller
- service composition
- linear programming
- column generation
- sequence diagrams
- state machines
- hardware and software
- production system
- objective function
- boolean optimization