Thèse - Université Abdelhamid Mehri Constantine 2 15 janv. 2010 ... Mohamed Bouali. Contributions `a l'analyse formelle et au diagnostic `a partir de réseaux de Petri ..... qui doit avoir la plus grande autonomie possible ne doit pas
surchauffer ; l'ensemble doit polluer le moins ... dans un cadre formel grâce `a
des outils mathématiques comme la logique linéaire. Nous avons ...