Outils de modélisation comportementale des systèmes à évènements discrets
Systèmes logiques combinatoires – compléments et méthodologie de résolution.
Systèmes séquentiels et fonction mémoire - compléments et méthodologie de
résolution
Systèmes séquentiels et modèle GRAFCET : Modèle formel – règles d’évolution
 Lecture et écriture de grafcet – méthodologie de résolution et application sur SAP
Gemma – grafcet complété