Online verification of K-step opacity by Petri nets in centralized and decentralized structures.
Guanghui ZhuZhiwu LiNaiqi WuPublished in: Autom. (2022)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- peer to peer
- discrete event systems
- online learning
- manufacturing systems
- service composition
- discrete dynamical systems
- stochastic petri net
- distributed systems
- state machines
- multi agent
- ims ld
- fuzzy petri net
- contract net protocol
- production process
- neural network
- model checking
- low cost
- expert systems
- programmable logic controller