Un réseau Petri est une description d'un système en termes d'éléments nets. Il existe quatre types d'éléments nets: lieu, transition, entrée et sortie. Une entrée relie un endroit à une transition. Une sortie connecte une transition vers un lieu. Une annotation est un type d'information. Un élément net peut avoir zéro ou plus d'annotations. Une annotation peut également avoir zéro ou plus d'annotations.
Y a-t-il un logiciel pour dessiner un réseau de Petri et générer un code source de là-bas? Le code source pourrait être dans une langue de programmation dé ...
