Réseaux de Petri TD n°2
Objectifs :
Analyse des propriétés d’un Réseau de Petri Synchronisé vs RdP
ordinaire,
Modélisation en RdPIC,
Modélisation en RdPC
Exercice 5 : Analyse des propriétés d’un Réseau de Petri Synchronisé
Soit le réseau de Petri synchronisé (RdPS) de la Figure 1. Nous l'appellerons Rs.
1. Construire le graphe de marquage de Rs. Ce RdPS est-il borné ? Est-il
vivant ?
Figure 1
2. Considérons à présent le RdP autonome associé à Rs. Nous l'appellerons
R. Construire le graphe de marquage de R. Ce RdP est-il borné ? Est-il
vivant ?
RdP TD n°2 -1/4-
Exercice n°6
Une chaîne de remplissage de bidons d’huile (Figure 2) comprenant deux postes
de travail fonctionnant de la façon suivante. Le tapis avance pas à pas et amène
les bidons vides jusqu’au poste de remplissage. Les bidons sont remplis, puis
amenés au poste de bouchage. Une fois bouchés, ils sont évacués par le tapis.
L’arrivée des bidons sur le tapis est aléatoire.
L’avance du tapis est réalisée par un moteur pas à pas commandé sur détection
d’un front montant sur la sortie avance tapis AvT. Quand le tapis a avancé d’un
pas le moteur émet un signal de fin d’avance tapis (fAvt). Lorsqu’un bidon est
présent devant le poste de remplissage, il est détecté par le capteur pbr (présence
bouteille pour remplissage). De même quand un bidon est présent devant le poste
de bouchage, il est détecté par le capteur pbb (présence bidon pour le bouchage).
Le remplissage et le bouchage sont respectivement déclenchés par les actions à
niveau Remp et Bou. La durée du remplissage est de 4s alors que la durée du
bouchage est de 2s.
1. Modéliser le fonctionnement de ce système par un RdPIC (RdP Interprété
de Commande).
2. Considérer le RdP autonome (ou RdP ordinaire) correspondant au RdPIC
de la question précédente. Le réduire en appliquant les règles de réduction.
On indiquera les règles utilisées lors des différentes étapes de la réduction.
3. Le RdP autonome est-il vivant ? Quasi-vivant ? Borné ? Sans-blocage ?
Figure 2. Chaîne de remplissage de bidons.
RdP TD n°2 -2/4-
Exercice 7 : Machines M1-M2 et les produits p1 et P2 en colorés
Une ligne de fabrication (Figure 3) produit deux types de pièces p1 et p2 à l’aide
de deux machines munies chacune d’un stock d’entrée. Toutes les pièces passent
dans le même ordre sur les deux machines. Les machines sont de capacité unitaire.
L’ordonnancement du système consiste à envoyer alternativement des pièces p1
et p2 (p1, p2, p1, p2, p1, … ). Les pièces sont portées par des palettes recyclées à
la fin de la production de chaque pièce (on pourra assimiler les pièces aux
palettes). Le chargement et le déchargement des palettes sont supposés être sans
contraintes (durées négligeables, stocks de pièces à traiter jamais vide et de
capacité infinie, …). Ils ne seront donc pas représentés.
1. Modéliser la production de ce système par RdP colorés. On notera par mi
la ième machine et pj la pièce j.
2. Modéliser ce système sous CPN Tools
Stock1 Machine1 Stock2 Machine2
Figure 3. Chaine de production
RdP TD n°2 -3/4-
Exercice 8 : Repas gastronomique
Comme l'indique la Figure 4, trois philosophes phi1 à phi3 sont autour d'une table,
disposant des baguettes b1 à b3 disposées entre eux. Un philosophe peut avoir
essentiellement deux états : il pense ou il mange. Pour manger il a besoin des deux
baguettes qui sont de chaque côté de lui. A l'état initial tous les philosophes
pensent et les baguettes sont posées sur la table.
1. Définir un protocole tel qu'il ne puisse pas y avoir de blocage, et donner le
RdP correspondant.
2. Donner le modèle RdP coloré de ce système et sa matrice d'incidence dans
le cas où il n'y a pas de blocage (question 1). On associera la couleur phi au
philosophe n°i et le la couleur bi à la baguette bi.
3. Modéliser le RdP coloré à l’aide de CPN Tools.
phi1
b1 b2
phi3 phi2
b3
Figure 4
RdP TD n°2 -4/4-
