Compilation de réseaux de Petri - Université d'Évry

Il existe différents types de réseaux de Petri : temporisés, interprétés, stochastiques, colorés, continus et hybrides. Grafcet.