- Enseignant-e: Didier Buchs
- Enseignant-e: Gilles Falquet
- Enseignant-e: Dimi Racordon
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.