K-Codiagnosability Verification of Labeled Petri Nets.

Ning Ran Jinyuan Hao Zijian Dong Zhou He Zhiheng Liu Yuan Ruan Shouguang Wang

Published in: IEEE Access (2019)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
manufacturing systems
high level petri nets
service composition
web services
fuzzy petri net
production process
model checking
ims ld
discrete dynamical systems
process model