Fei Xue, Da-Zhong Zheng. Diagnosability for discrete event systems based on Petri net language. In 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings. pages 2111-2116, IEEE, 2004. [doi]
Abstract is missing.