[Software] Modélisation du robot AutoBot

La modélisation par réseaux de Pétri permet de mettre en lumière les points clé de notre système. De plus, cette modélisation donne des informations sur les états les états possibles comme par exemple des risques de blocage, si le processus est réinitialisation, etc.

Pour ce faire, j'utilise le programme Tina LAAS. Il est téléchargeable depuis la page "Download".

Petit rappel :
o Les places (rond) sont des états du système
o Les transitions (carré) sont des changements d'état
o Les jetons ou pièces représentent l'état du système à un instant "t"

Voici une partie de mon RdP

Bon comme ça ça semble indigeste. Il suffit de suivre les flèches pour comprendre.
C'est encore mieux avec tout le schéma donc voici un pdf ou sinon le .ndr à ouvrir avec Tina.

Je n'ai pas eu le temps de faire tous les tests mais les premiers semblent corrects.
A savoir :
- réseau réinitialisable
- pas de blocage
- réseau borné à 1
- pas de puits

Ce premier travail va faciliter la suite, c'est-à-dire le codage, car tous les états du système sont définis !