De nombreux processus industriels fonctionnent en temps discret en suivant des séquences d’opérations. Les chaînes de fabrication ou d’assemblage, les unités de production flexibles sont autant de systèmes à événements discrets dont le fonctionnement est régi par des automatismes logiques.
Dans ce contexte, il s’agit d’exploiter un cahier des charges afin d’aboutir à la synthèse de la partie commande du processus à automatiser. Aujourd’hui, l’automatisme industriel est essentiellement implanté au travers des automates programmables industriels. L’autre objectif consiste à s’approprier un outil de modélisation de systèmes à événements discrets appelé Réseaux de Petri, permettant de vérifier l’ensemble du système en boucle fermée par analyse de propriétés ou par simulation.