Bonjour, à tous actuellement en Term S, j'ai un exercice concernant un sujet à modéliser en réseau de pétri, voila l’énoncé, et vous trouverez ma modélisation du Rdp juste en dessous, qu'en pensez vous ?

On souhaite modéliser à l'aide d'un réseau de pétri le fonctionnement d'un téléphone français avec les indications suivantes :
  • Un numéro de téléphone francais est composé obligatoirement de 10 numéro (un numéro de téléphone commence par la touche 0)
  • Pour appeler, il faut valider avec une touche spécifique
  • On raccroche (ou on annule le numéro) avec une autre touche
Voici ma modélisation qu'en pensez vous ?