Aller au contenu

Réseaux de Pétri : jetons et franchissements

Réseaux de Pétri · Débutant · 10 questions. Choisissez une réponse par question, puis consultez les explications.

  • 1. Que décrit le marquage d’un réseau de Pétri places/transitions ?
  • 2. Quel arc appartient à un réseau places/transitions ordinaire ?
  • 3. Une transition exige deux jetons de P. P n’en contient qu’un. Peut-elle être franchie ?
  • 4. T consomme un jeton de P et produit un jeton dans Q. Depuis (P,Q)=(2,0), quel état suit un franchissement ?
  • 5. T consomme deux jetons de P et en produit trois dans Q. Depuis (3,1), quel est le résultat ?
  • 6. T exige un jeton de P et un jeton de Q. Le marquage vaut (1,0). T est-elle sensibilisée ?
  • 7. Deux transitions consomment chacune l’unique jeton de P et ne le restituent pas. Que se passe-t-il si l’une est franchie ?
  • 8. Un réseau est 1-borné. Que peut contenir une place dans un marquage accessible ?
  • 9. Dans le graphe d’accessibilité, que représente un sommet ?
  • 10. Dans un état donné, aucune transition n’est sensibilisée. Comment qualifier cet état ?
Corrigé à lire, même sans JavaScript
  1. Le nombre de jetons dans chaque place. L’état est donné par la répartition des jetons entre les places.
  2. Un arc d’une place vers une transition. Les arcs relient les deux types de nœuds ; le graphe est biparti.
  3. Non. Le marquage ne satisfait pas le poids de l’arc d’entrée.
  4. (1,1). On retire un jeton de P puis on en ajoute un à Q.
  5. (1,4). P devient 3 − 2 et Q devient 1 + 3.
  6. Non. Toutes les places d’entrée doivent satisfaire leur exigence.
  7. L’autre perd cette possibilité de franchissement. Elles sont en conflit pour la même ressource disponible.
  8. Au plus un jeton. La borne porte sur tous les états accessibles, pas seulement sur le départ.
  9. Un marquage accessible. Les arêtes correspondent à des franchissements entre ces états.
  10. Un marquage mort. Aucun franchissement n’est possible depuis cet état ; il peut aussi représenter une fin prévue.

Revoir le cours · Documentation de référence