Tutoriel sur Roméo
1. Objectif
Nous allons voir ici d’autres fonctionnalités de Roméo.
2. Utilisation des arcs spéciaux
Construisez le réseau de Petri suivant
Il y a dans ce réseau un arc lecteur (reader), un arc inhibiteur (inhibitor) et un arc de réinitialisation (reset). Simuler ce réseau pour comprendre le fonctionnement de chaque arc.
3. Sous-réseau observateur
Construisez le réseau de Petri suivant
Vérifiez si la transition T1 est toujours exécutée avant la transition T2 avec la propriété suivante
AG(M(PERR)==0)
4. Correction du réseau de Petri
4.1. Corriger le réseau avec une transition en plus
Testez à nouveau avec ce réseau de Petri
4.2. Priorités sur les transitions
Testez à nouveau avec ce réseau de Petri (des priorités ont été ajoutées sur les transitions)
4.3. Réseau de Petri temporisé
Ajoutez des intervalles de temps sur les transitions de cette façon et testez à nouveau
