Modélisation et analyse des systèmes discrets

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.