Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules. - Ben Li; Manel Khlif-Bouassida; Armand Toguyéni (WODES, 2016)

On-The-Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets. - Ben Li; Manel Khlif-Bouassida; Armand Toguyéni (Int. J. Appl. Math. Comput. Sci., 2018)

Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. - Paul Cazenave; Manel Khlif-Bouassida; Armand Toguyéni (CoDIT, 2019)

Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets. - Ben Li; Manel Khlif-Bouassida; Armand Toguyéni (IEEE Trans Autom. Sci. Eng., 2020)