Verification of initial-state opacity in Petri nets.
Yin TongZhiwu LiCarla SeatzuAlessandro GiuaPublished in: CDC (2015)
Keyphrases
- petri net
- initial state
- petri net model
- colored petri nets
- concurrent systems
- situation calculus
- discrete event systems
- state space
- optimal policy
- service composition
- probability distribution
- fuzzy petri net
- stochastic petri net
- state machines
- ims ld
- production process
- average cost
- partially observable
- markov decision processes
- model checking
- complex systems