K-Codiagnosability Verification of Labeled Petri Nets
Ran, Ning, Hao, Jinyuan, Dong, Zijian, He, Zhou, Liu, Zhiheng, Ruan, Yuan, Wang, ShouguangVolume:
7
Year:
2019
Journal:
IEEE Access
DOI:
10.1109/access.2019.2959904
File:
PDF, 1.33 MB
2019