Manel Khlif-Bouassida

According to our database, Manel Khlif-Bouassida authored at least 4 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

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

2019

Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node.

Paul Cazenave, Manel Khlif-Bouassida, Armand Toguyéni

Proceedings of the 6th International Conference on Control, 2019

2018

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

2016

Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules.

Ben Li, Manel Khlif-Bouassida, Armand Toguyéni

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016