Eude et analyse de la sureté de fonctionnement du four par réseaux ...
diagramme d'activité vers réseau de Petri coloré d'une approche définie ... 3
Livre de Mouez Ali, « Vérification Et Validation Formelles de Modèles UML » ....
un fichier de sortie du RDP résultant sous format standard (PNML : Petri Net
Markup.
Un extrait du document