Réseaux de Petri, syntaxe, sémantique, propriétés, analyse.
Extensions aux réseaux de Petri: réseaux colorés, réseaux temporisés.
Logique propositionnelle, logique des prédicats, preuves.

Compilateurs et interprètes

Ce cours a comme objectif de présenter les concepts fondamentaux des systèmes concurrents et répartis, ainsi que les outils de modélisation et de preuves de ces systèmes.

Nous aborderons dans ce cours les moyens pratiques pour modéliser et vérifier des systèmes, les techniques et les outils spécifiques seront découverts et employés sur la base de projets concrets.