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. 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). PhD thesis, University of Technology of Compiègne, France, 2009. [doi]