Réseaux de Pétri

Cette formation présente les réseaux de Petri pour la modélisation et l’analyse des systèmes à événements discrets (SED). Il montre comment cet outil échappe à l’explosion combinatoire qui constitue le défaut principal des graphes d’états. Sa puissance de modélisation est couplée à des outils d’analyse qui rendent les réseaux de Petri aptes à la complexité des situations rencontrées dans l’industrie. Il constitue un complément idéal à un cours de Grafcet.

Industriels exploitant un système de production à événements discrets.

Introduction aux Réseaux de Petri. Réseaux de Petri temporisés. Réseaux de Petri colorés. Exercices de modélisation et d’application. Travaux pratiques sous Visual Object Net++ et Tina pour le dimensionnement d’un système de production piloté par du kanban, et pour la modélisation d’un système de transport de colis utilisant un robot dans un flowshop à deux machines.