Un réseau de Petri est un modèle graphique qui permet de spécifier, modéliser et évaluer les performances de systèmes dynamiques, et en particulier de systèmes de fabrication. Les auteurs présentent des définitions et les propriétés utilisées, puis proposent la mise en pratique de ces différents aspects. Nombreux exemples et exercices corrigés.