Verification of infinite-step and K-step opacity Using Petri Nets.

Hao Lan Yin Tong Jin Guo Carla Seatzu

Published in: CoRR (2019)

Keyphrases

petri net
petri net model
colored petri nets
manufacturing systems
concurrent systems
web services
learning environment
fuzzy sets
state machines