Ben Li, Manel Khlif-Bouassida, Armand Toguyéni. Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules. In Christos G. Cassandras, Alessandro Giua, Zhiwu Li, editors, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. pages 171-176, IEEE, 2016. [doi]
Abstract is missing.