Coloured Petri Nets Based Diagnosis on Causal Models. - Soumia Mancer; Hammadi Bennoui (PNSE @ Petri Nets, 2017)

Distributed Diagnostic Problem Solving With Colored Behavioral Petri Nets. - Soumia Mancer; Hammadi Bennoui (IEEE Trans. Syst. Man Cybern. Syst., 2021)

CBPNs: coloured behavioural petri nets for model-based diagnosis. - Hammadi Bennoui; Soumia Mancer (Clust. Comput., 2024)