一种基于λ-free Petri网的离散事件系统可诊断性验证方法
满育冰,霍翊茗,董亮,冉宁
A verification method for the diagnosability of discrete event systems based on λ-free Petri nets
MAN Yubing, HUO Yiming, DONG Liang, RAN Ning
河北大学学报(自然科学版)
.
2025, (6): 582
-589
.
DOI: 10.3969/j.issn.1000-1565.2025.06.003
