Verification of C-detectability using Petri nets.

Hao Lan Yin Tong Jin Guo Carla Seatzu

Published in: Inf. Sci. (2020)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
manufacturing systems
service composition
high level petri nets
process model
ims ld
fuzzy petri net
stochastic petri net
state machines
discrete dynamical systems
sequence diagrams