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

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