1 Corrigé type de l'examen du module MFP 2019-2020 Exercice 1

Soit N = (R,M) un réseau de Petri marqué de transitions T et de places P. Le franchissement d'une transition t de T validée dans le marquage M conduit au ...