分布式离散事件系统的可诊断性判定策略
王晓宇1,2, 欧阳丹彤1,2, 迟晋进1,2, 韩正服3

Strategy in judging diagnosability of distributed discrete event systems
WANG Xiao-yu1,2, OUYANG Dan-tong1,2, CHI Jin-jin1,2, HAN Zheng-fu3
排序例