Master Informatique 2
Formalismes de Description de Systèmes
Année 2005/2006

• Le cours est également dispensé par Frédéric Herbreteau.
  • La partie Automates à contrainte
  • La partie Automates à contrainte avec exercices corrigés.
  • La partie Réseau de Petri (Merci à Stéphane Mariel)
  • La partie CCS (Merci à Mats Dam)
• Le projet réseau de Petri
  • Le sujet.

Autres années

• Année courante.
• ...
• 2003-2004.