Bonsoir,
J'étudie le fonctionnement des réseaux de Petri en ce moment.
J'ai bien compris qu'il permet de modéliser des systèmes industriels discrets et qu'on pouvait détecter des erreurs dans les enchaînements.
Mon problème se situe au niveau de ses propriétés comportementales (vivacité...) et structurales (invariant...)
Je connais la définition théorique mais je ne comprend pas vraiment leur utilité.
Pourquoi faut il qu'un réseau soit absolument vivant ?
Merci à vous !
-----