Exercice Réseau de Pétri:
Le système est composé de deux tâches informatiques cycliques T1 et T2 qui se partagent un processeur unique. Les tâches peuvent être soit en attente de processeur, soit en cours d’exécution sur le processeur. L’allocation et la dés-allocation des tâches au processeur se fait se l’on une certaine politique que l’on ne cherche pas à décrire.
a)Modéliser les états et les transitions d’état de ce système avec un diagramme d’état (automate à états finis). Expliquer la signification des états et des transitions.
b) Modéliser le même système avec un réseau de Pétri. Expliquer la signification des places et des transitions.Le processeur sera modélisé par une place.Pendant son exécution T1 peut se mettre en attente d’un événement. Le processeur peut alors être alloué à T2 jusqu’à ce que l’événement arrive. Modifier en conséquence la modélisation.
c)Nouveau diagramme d’état.
d) Nouveau réseau de Pétri. nb: L’arrivée de l’événement sera modélisé par une transition.