Verification of C-detectability Using Petri Nets.

Hao Lan Yin Tong Jin Guo Carla Seatzu

Published in: CoRR (2019)

Keyphrases

ims ld
petri net
petri net model
colored petri nets
concurrent systems
high level petri nets
manufacturing systems
discrete event systems
service composition
fuzzy petri net
model checking
process model
stochastic petri net
programmable logic controller
state machines