Comme nous I'avons vu précédemment, la structure d'un réseau de Petri peut
être définie par sa matrice d'incidence. Sa dynamique peut être décrite par l'
équation fondamentale. Les invariants que nous allons définir permettent de
caractériser les propriétés des marquages atteignables et des transitions
franchissables au ... 
