bonsoir à tous,je cherche à modéliser un processus pas réseau de pétri,j'ai utilisé les matrice de P/T et T/P (places/transition )et (transition/places) pour la modélisation .
ce que j'ai y arrive pas et comment construire correctement le graphe de marquage à partir de ces deux matrices . j'ai arrivé à trouver quelques sommet de graphe qui sont correstes mais pour le cas d'un choix ou d'une union je trouve des difficultés. (le ou et le et dans le réseau de pétri).
aidez moi SVP.
merci à tous.