Tutoriel sur Roméo

imt

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

arcs

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

observer1

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

observer2

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)

observer priority

4.3. Réseau de Petri temporisé

Ajoutez des intervalles de temps sur les transitions de cette façon et testez à nouveau

timed observer