Inconsistent State Analysis of a Network Receiver with Colored Petri Nets. - Mohamed Bouali; Pavol Barger; Walter Schön (DepCoS-RELCOMEX, 2009)

Contributions à l'analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l'accessibilité arrière. (Contributions to formal analysis and to diagnosis using Colored Petri Nets with backward reachability). - Mohamed Bouali (2009)

Backward reachability of Colored Petri Nets for systems diagnosis. - Mohamed Bouali; Pavol Barger; Walter Schön (Reliab. Eng. Syst. Saf., 2012)