École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Objectifs
Dans le cadre de systèmes à événements discrets (le temps et les états sont discrets), on introduit les réseaux de Pétri comme outil formel de représentation, d'analyse et de validation et enfin de mise en œuvre.