Options d’inscription

Présentation des modèles de base (automates, machines à états à entrées et sorties binaires, réseaux de Petri, Grafcet,UML Etats-Transitions) utilisés pour représenter les comportements logiques et temporels de systèmes à événements discrets. Techniques de modélisation, de simulation, et d'analyse des principales propriétés.

Les visiteurs anonymes ne peuvent pas accéder à ce cours. Veuillez vous connecter.