Verification of current-state opacity using Petri nets.

Yin Tong Zhiwu Li Carla Seatzu Alessandro Giua

Published in: ACC (2015)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
high level petri nets
state space
process model
manufacturing systems
service composition
neural network
production process
workflow process
fuzzy petri net