A verification method for the diagnosability of discrete event systems based on λ-free Petri nets
MAN Yubing, HUO Yiming, DONG Liang, RAN Ning
Journal of Hebei University(Natural Science Edition) . 2025, (6): 582 -589 .  DOI: 10.3969/j.issn.1000-1565.2025.06.003