INSA de Lyon
http://www.insa-lyon.fr
Xavier BRUN
xavier.brun@insa-lyon.fr
Laboratoire AMPERE
http://www.ampere-lyon.fr
Version 5.2
2
INTRODUCTION .................................................................................................................................................................... 6
1 DEFINITIONS ................................................................................................................................................................ 9
1.1 DEFINITION 1 : DEFINITION FORMELLE...................................................................................................................... 9
1.2 DEFINITION 2 : MARQUAGE D’UN RESEAU DE PETRI ................................................................................................ 10
1.3 DEFINITION 3 : SENSIBILISATION D’UNE TRANSITION............................................................................................... 10
1.4 REGLE FONDAMENTALE D’EVOLUTION : FRANCHISSEMENT D’UNE TRANSITION........................................................ 11
1.5 DEFINITION 4 : SEQUENCE DE TIR ........................................................................................................................... 12
1.6 DEFINITION 5 : MARQUAGE ATTEIGNABLE A PARTIR DE M0 ..................................................................................... 12
1.7 DEFINITION 6 : ENSEMBLE DES MARQUAGES ATTEIGNABLES A PARTIR DE M0 .......................................................... 13
1.8 DEFINITION 7 : RESEAU DE PETRI AUTONOME ......................................................................................................... 13
1.9 DEFINITION 8 : RESEAU DE PETRI NON AUTONOME.................................................................................................. 13
2 STRUCTURES PARTICULIERES ET SOUS-CLASSES ....................................................................................... 15
2.1 STRUCTURES PARTICULIERES .................................................................................................................................. 15
2.1.1 Convergence, Divergence ................................................................................................................................ 15
2.1.2 Boucle élémentaire, Réseau pur ....................................................................................................................... 15
2.1.3 Transition puits, Transition source .................................................................................................................. 15
2.1.4 Verrou et Trappe .............................................................................................................................................. 16
2.2 SOUS-CLASSES DE RESEAU DE PETRI ....................................................................................................................... 17
2.2.1 Les Graphes d’états.......................................................................................................................................... 17
2.2.2 Les Graphes d’événements ............................................................................................................................... 17
2.3 LES RESEAUX DE PETRI A ARCS INHIBITEURS ........................................................................................................... 18
QUELQUES EXEMPLES DE MODELISATION PAR RESEAU DE PETRI ................................................................ 19
EXEMPLE 1 : DISTRIBUTION ALIMENTAIRE (TYPE GRANDE SURFACE) ..................................................................................... 19
CAHIER DES CHARGES.......................................................................................................................................................... 19
EXEMPLE 2 : PROTOCOLE DE GESTION D’UNE PISCINE ............................................................................................................ 20
CAHIER DES CHARGES.......................................................................................................................................................... 20
EXEMPLE 3 : ATELIER DE MONTAGE DE CYCLE (PARTIEL) ...................................................................................................... 20
CAHIER DES CHARGES.......................................................................................................................................................... 20
EXEMPLE 4 : MODELISATION D’UN ATELIER DE PRODUCTION “EN ETOILE” ............................................................................. 21
CAHIER DES CHARGES.......................................................................................................................................................... 21
EXEMPLE 5 : MODELISATION DE REACTION CHIMIQUE : FABRICATION DE METHANOL ............................................................. 22
EXEMPLE 6 : GESTION DES PRIORITES .................................................................................................................................... 23
CAHIER DES CHARGES.......................................................................................................................................................... 23
3 PROPRIETES LIEES AU MARQUAGE .................................................................................................................. 25
3.1 BORNAGE ............................................................................................................................................................... 25
3.1.1 Place bornée pour M0 ...................................................................................................................................... 25
3.1.2 Réseau borné pour M0 ...................................................................................................................................... 25
3.1.3 Réseau sauf pour M0 ........................................................................................................................................ 26
3.2 VIVACITE ............................................................................................................................................................... 26
3.2.1 Transition 1 fois vivante pour M0 ..................................................................................................................... 26
3.2.2 Transition k fois vivante pour M0 ..................................................................................................................... 26
3.2.3 Transition infiniment vivante pour M0.............................................................................................................. 26
3.2.4 Réseau vivant pour M0 ..................................................................................................................................... 26
3.2.5 Réseau bloqué pour M0 .................................................................................................................................... 26
3.2.6 Réseau pseudo-vivant pour M0 ......................................................................................................................... 26
3.3 REINITIALISATION .................................................................................................................................................. 28
3.3.1 Etat d’accueil pour M0 ..................................................................................................................................... 28
3.3.2 Réseau réinitialisable pour M0 ......................................................................................................................... 28
3.4 PERSISTANCE ......................................................................................................................................................... 29
3.4.1 Réseau persistant pour M0 ............................................................................................................................... 29
3.4.2 Conflits effectifs et ordonnancement ................................................................................................................ 30
3.4.3 Structure de coalition ....................................................................................................................................... 31
4 REPRESENTATION MATRICIELLE ...................................................................................................................... 33
4.1 DEFINITION ............................................................................................................................................................ 33
4.2 MATRICE DE DESCRIPTION (OU D’INCIDENCE) ......................................................................................................... 33
4.2.1 Définition ......................................................................................................................................................... 33
4.2.2 Exemples .......................................................................................................................................................... 34
4.3 MATRICE D’ENTREE (MATRICE PRE), MATRICE DE SORTIE (MATRICE POST) ........................................................ 35
4.4 STRUCTURES PARTICULIERES .................................................................................................................................. 36
4.4.1 Les réseaux de Petri fortement connexes ......................................................................................................... 36
3
4.4.2 Les graphes d’états .......................................................................................................................................... 37
4.4.3 Les graphes d’événements ................................................................................................................................ 37
4.5 VECTEUR MARQUAGE ............................................................................................................................................. 38
4.5.1 Définition ......................................................................................................................................................... 38
4.5.2 Exemples .......................................................................................................................................................... 38
4.5.3 Sensibilisation (algébrique) d’une transition ................................................................................................... 38
4.5.4 Marquages successifs d’un marquage donné ................................................................................................... 39
4.5.5 Relation générale des réseaux de Petri ............................................................................................................ 40
5 ANALYSE DES RESEAUX DE PETRI ..................................................................................................................... 41
5.1 ARBRE DES ACCESSIBILITES (KARP ET MILLER) ...................................................................................................... 41
5.1.1 But .................................................................................................................................................................... 41
5.1.2 Principe général ............................................................................................................................................... 41
5.1.3 Algorithme........................................................................................................................................................ 41
5.1.4 Exemples .......................................................................................................................................................... 42
5.1.5 Conclusion sur la méthode de Karp et Miller .................................................................................................. 43
5.2 ANALYSE STRUCTURELLE ....................................................................................................................................... 43
5.2.1 Recherche des verrous minimaux ..................................................................................................................... 43
5.2.2. Recherche des invariants : T semi-flots et P semi-flots .................................................................................... 44
5.2.3 Conclusions sur les exemples des § 5.2.1 et 5.2.2 ............................................................................................ 49
5.2.4 Invariants et structures particulières ............................................................................................................... 50
5.2.5 Un résultat dans le cas général ........................................................................................................................ 53
5.2.6 En guise de résumé – Intérêt de l’analyse par les invariants ........................................................................... 53
5.3 LA SIMULATION EN EVENEMENTS DISCRETS ............................................................................................................ 54
6 LA VARIABLE TEMPS ET LES RESEAUX DE PETRI ........................................................................................ 55
6.1 LES RESEAUX DE PETRI P-TEMPORISES.................................................................................................................... 55
6.1.1 Définition formelle ........................................................................................................................................... 55
6.1.2 Sensibilisation d’une transition ........................................................................................................................ 55
6.1.3 Marquages disponibles, marquages indisponibles ........................................................................................... 55
6.1.4 Initialisation, franchissement et fonctionnement à vitesse maximale ............................................................... 56
6.1.5 Utilisation des réseaux de Petri P-temporisés.................................................................................................. 56
6.2 LES RESEAUX DE PETRI T-TEMPORISES ................................................................................................................... 57
6.3 APPLICATION DES RESEAUX DE PETRI P-TEMPORISES A L’ANALYSE DE PERFORMANCES ET AU DIMENSIONNEMENT .. 57
6.3.1 Fondement théorique ....................................................................................................................................... 58
6.3.2 Exemple élémentaire ........................................................................................................................................ 60
6.3.3 Graphe d’événements fortement connexe ......................................................................................................... 60
6.3.4 Quelques exemples dans le cas général ........................................................................................................... 61
ANNALES .............................................................................................................................................................................. 65
ATELIER DE PRODUCTION ............................................................................................................................................ 67
TRANSITIQUE ET COMMERCE ELECTRONIQUE CHEZ OOSHOP ............................................................................ 69
GESTION DE FLUX SUR UN PORTE-AVIONS .............................................................................................................. 71
PROBLEME : STATION DE SKI ....................................................................................................................................... 73
PROBLEME : ATELIER DE RECYCLAGE ....................................................................................................................... 75
USINAGE ET VERIFICATION .......................................................................................................................................... 77
BIBLIOGRAPHIE ................................................................................................................................................................. 79
TRAVAUX DIRIGES ........................................................................................................................................................... 81
TD 1 : MODELISATION .......................................................................................................................................................... 83
TD 2 : MODELISATION .......................................................................................................................................................... 85
TD 3 : MODELISATION D'UNE USINE DE LOGISTIQUE .............................................................................................................. 87
TD 4 : ANALYSE ................................................................................................................................................................... 89
TD 5 : MATRICE D’INCIDENCE CALCUL DES P ET T SEMI-FLOTS ............................................................................................. 91
TD 6 : DIMENSIONNEMENT ET ANALYSE DE PERFORMANCES ................................................................................................. 93
TD 7 : DIMENSIONNEMENT ET ANALYSE DE PERFORMANCES ................................................................................................. 95
TD 8 : INITIATION A UN LOGICIEL DE SIMULATION ET D’ANALYSE DE FLUX ............................................................................ 97
4
Avant Propos
Préambule
5
6
Introduction
Les systèmes continus sont modélisés par des équations différentielles ou aux dérivées
partielles et le temps apparaît explicitement de façon continue*. D’un point de vue
général, ces systèmes sont modélisés par des équations issues des lois de la physique :
- loi d’Ohm généralisée pour un système électrique,
- lois de Newton pour un système mécanique,
- premier et deuxième principes en thermodynamique,
- loi de Maxwell en vibrations …
Pour les systèmes à événements discrets, le parti est pris de non pas de s’intéresser au
déroulement continu des phénomènes mais de ne retenir que certains instants
particuliers et leur enchaînement logique. Il est sans doute vraisemblable, que depuis
l’aube de l’humanité les hommes ont décrit ou conçu des systèmes de ce type, les
automatismes séquentiels, du plus élémentaire au plus sophistiqué, font clairement
partie de ce type de systèmes. Il est cependant indéniable que l’évolution de l‘économie
(du flux poussé au flux tendu), des moyens de communication (réseaux locaux, nationaux,
internationaux, satellites …) ont contribué à donner, depuis la fin de la seconde guerre
mondiale une importance grandissante, prépondérante actuellement aux systèmes à
événements discrets. Les exemples fourmillent dans le monde de la Productique (gestion
de flux, atelier flexible, planification de taches…), le monde des Télécommunications et
des Transports (téléphonie, messagerie …), le monde informatique (protocole de gestion,
réseaux …).
*
L’analyse de ces systèmes ou la synthèse de loi de commande peut entraîner une discrétisation
du temps (par exemple lors de l’échantillonnage de la loi de commande).
7
Dans le cadre de ce cours nous nous intéresserons essentiellement aux problèmes
rencontrés lors de la conception et la gestion de systèmes de production industrielle.
Ces derniers ont connu un essor important ces dernières décennies tant part
l’accroissement de leur complexité que de leur flexibilité. D’où l’importance de maîtriser
parfaitement toutes les phases de la conception et en particulier la conception
préliminaire, encore appelée “étude papier“. En effet, toute erreur à ce niveau se solde
par des dysfonctionnements du système qui doivent être ensuite corrigés à grands frais.
La conception préliminaire inclut :
- la spécification fonctionnelle (GEMMA…),
- la modélisation,
- et l’évaluation du comportement du système.
De nombreux outils spécifiques existent pour aider le concepteur dans chacune de ces
tâches, mais très rares sont ceux capables d’être efficaces lors de ces trois tâches.
Pour beaucoup [Brams, David et Alla, Proth et Xie] les réseaux de Petri forment un
ensemble d’outils très performant permettant de répondre à ce triple objectif. En outre
les réseaux de Petri les plus simples offrent un support graphique naturel pour les
concepteurs et permettent d’avoir un langage unifié, visuel et précis pour les échanges
entre concepteurs et analystes.
Analyse
Définition Analyse Analyse
Performances
du modèle Graphique Algébrique
Dimensionnement
0 8h 14 h 22 h 31 h
*
Ne s’écrit pas avec un accent aigu.
8
Chapitre 1 : Définitions
1 Définitions
Un Réseau de Petri est un quintuplet < P, T, Pré, Pos, > dans lequel:
Graphiquement on représente :
- les places par des cercles,
- les transitions par des barres,
- les relations par des arcs orientés. Les relations Pré sont donc des arcs orientés
qui relient les places aux transitions alors que les relations Pos sont des arcs
orientés qui relient les transitions aux places.
Si tous les poids sont égaux à un, le réseau est appelé réseau de Petri ordinaire.
Inversement s'il existe au moins un poids supérieur à un, le réseau est appelé réseau de
Petri généralisé.
Si tous les sommets possèdent au moins une relation d’entrée et au moins une relation
de sortie, le réseau de Petri est fortement connexe. Il est connexe dans le cas inverse.
Exemple
1 t1 1 t1
t2 2
2 t4 t4
t3
4 t3 3 2
t5
3
3 t2
Figure 1.1a : RdP ordinaire connexe Figure 1.1b : RdP généralisé fortement connexe
9
Chapitre 1 : Définitions
Le marquage d’un réseau de Petri est une fonction M de P dans N+ (ensemble des entiers
non négatifs). On représente graphiquement cette fonction M en plaçant des marques
ou jetons dans les places du réseau de Petri. Ainsi, une place peut être soit marquée
(elle possède alors une ou plusieurs marques) soit non marquée (elle est alors vide). Ces
marques ou jetons sont indivisibles et infusionnables.
Les réseaux de Petri des figures 1.1 sont non marqués alors que le réseau de Petri de la
figure 1.2 est marqué. Dans ce dernier réseau, les places 1 et 2 sont respectivement
marquées par 2 et 1 marques, la place 3 est vide.
Exemple
1 t1
2
t4
t3
3 2
3
t2
Exemple
t1 t1
2 2
1 1
4 4
3 3
2 2
4 4
5 5
3 t2 3 t2
10
Chapitre 1 : Définitions
Une transition peut être franchie (tirée, mise à feu) si et seulement si elle est
sensibilisée.
Les conséquences du franchissement (toujours supposé instantané) de la transition sont
les suivantes :
- on prélève dans chacune des places d’entrée un nombre de jetons égal au poids
respectif de l’arc reliant la place à la transition.
- on dépose dans chacune des places de sortie un nombre de jetons égal au poids
respectif de l’arc reliant la transition à la place.
Exemple
t1
2
1
4
3
2
4
5
3 t2
t1 t1
2 2
1 1
4 4
3 3
2 2
4 4
5 5
3 t2 3 t2
Nota 1 : le nombre de marques (ou jetons) d’un réseau de Petri n’est donc pas
nécessairement constant.
11
Chapitre 1 : Définitions
Soit T= {t1,t2,t3,…,te} l’ensemble des transitions d’un réseau de Petri muni d’un marquage
initial M0.
On appelle T* le monoïde1 libre sur T et un mot de longueur s de T*.
n j 1, e
On dit que tn1 , tn2 ,..., tns avec est une séquence de tir (admissible) à
j 1,..., s
partir de M0 si et seulement s'il existe une suite de marquage M1, …, Ms telle que le
franchissement de tn j à partir de Mj-1 conduit à Mj, quel que soit j=1,2,…,s.
On note : M 0 M s
Il faut distinguer parmi les mots de T* ceux qui sont des séquences de tir admissibles
(c'est à dire respectant la règle fondamentale du paragraphe 1.4). Dans la pratique des
réseaux de Petri, seules ces séquences ont un intérêt et implicitement lorsqu'on parlera
de séquence de tir, celles-ci seront admissibles.
Exemple
t4
t6 1
5
3
t1 t3
t5
2 4
t2
1
La structure de monoïde est particulièrement utilisée en informatique, lorsqu'il s'agit de théorie des
langages. L'ensemble des mots sur un alphabet, muni de l'opération de concaténation de deux mots,
constitue un monoïde.
12
Chapitre 1 : Définitions
On appelle M 0 l’ensemble de tous les marquages atteignables depuis M0.
Un réseau de Petri est dit non autonome (ou synchronisé) lorsque le franchissement des
transitions dépend du marquage et de conditions extérieures.
Exemple
1 t1 1 c+d
t4 a.b
t3 c
2 2
3 3
t2 e
Figure 1.6 : Réseau de Petri autonome Figure 1.7 : Réseau de Petri non autonome
13
14
Chapitre 2 : Structures particulières et sous-classes
Exemple
4
1 2
t1
1 2 10
10 t6 t2
t3
t
4 2 4 t4
3
5
3 4 5 t5
Dans une boucle élémentaire, une place P est à la fois place d’entrée et de sortie d’une
transition.
Exemple
t1
4
t2 1 2
t3
Définition: Un réseau de Petri pur est un réseau de Petri sans boucle élémentaire.
Exemple
t1
t1 t2
4 4
1 2 1 2
t2
t3
15
Chapitre 2 : Structures particulières et sous-classes
2.1.4.1 Verrou
t1 t1
1 1
t2 t3 t2 t3
2 2
t4 t4
Propriété: si toutes les places du verrou ne sont pas marquées initialement à M0,
alors toutes les places du verrou resteront éternellement vides (quelle que soit la
séquence de tir).
2.1.4.2 Trappe
Remarque: Si une séquence de tir marque une trappe, celle-ci restera marquée
éternellement.
16
Chapitre 2 : Structures particulières et sous-classes
Un réseau de Petri est un réseau de Petri graphe d’états s’il s’agit d’un réseau de Petri
ordinaire (i.e. tous les poids sont égaux à un) dans lequel toute transition a au plus une
place d’entrée et une place de sortie.
Exemple
1 2
t4 t1
t6 t2
t3
4
3
t5
Figure 2.8 : graphe d’états (fortement connexe)
Un réseau de Petri est un réseau de Petri graphe d’événements s’il s’agit d’un
réseau de Petri ordinaire (i.e. tous les poids sont égaux à un) dans lequel toute place a au
plus une transition d’entrée et une transition de sortie.
Exemple
t3
1 3
t1
4
t2
2 5
Figure 2.9 : graphe d’événements (fortement connexe)
17
Chapitre 2 : Structures particulières et sous-classes
Une transition ti est sensibilisée si et seulement si, en plus des règles habituelles, il
n’existe aucune marque dans des places d’entrée reliées à ti par un arc inhibiteur (places
vides). Les marquages obtenus après franchissement de la transition ti sont identiques
au cas des réseaux de Petri généralisés.
Exemple
t1 t1
2 2
1 1
4 4
2 2
4 4
5 5
3 3 t2 3 3 t2
Figure 2.10 : RdP à arcs inhibiteurs Figure 2.11 : RdP à arcs inhibiteurs
t1 non tirable, t2 tirable t1 tirable, t2 non tirable
18
Quelques Exemples de modélisation par réseau de Petri
Exemple 1 : Distribution alimentaire (type grande surface)
1 13 7 Chariots
Paniers NP
disponibles NC disponibles
t1 Clients potentiels t7
t3 t9
Service à la coupe Service à la coupe
- clients au panier 4 10 - clients au chariot
t4 t10
Caisses ouvertes
Attente passage en caisse 5 15 11
Attente passage en
- clients au panier Na caisse - clients au chariot
t5 t11
Passage en caisse
- clients au panier 6 12 Passage en caisse
- clients au chariot
t6 t12
19
Exemple 2 : Protocole de gestion d’une piscine
Demande cabine t1
2 Déshabillage
Attente panier t2
4 Dépose panier
6 Prise cabine
Libère panier t5
7 Habillage
Libère cabine t6
20
Stocks amonts cadre Stocks amonts roue
2 1
5
6 7
t1 t3
Machine
12 3 Machine 8
cadre
roue 13
t2 t4
4 9
Stock aval cadre 2
Stock aval roue
14 t5 15
2
16 10
Machine assemblage
t6
21
Stock amont 1/2 Stock amont 3/4
1 8
Ilot 2
4 Ilot
machine 3 2 9 10 machine
n°1
n°3
2
Robots 4
4 Stock 15 11
aval 1 2 N Stock aval 3
4
Ilot 4
machine 6 5 2 Ilot
n°2 12 13 machine
n°4
7 14
Stock aval 2 Stock aval 4
22
O C H2O
2 1 3
2 2 2
t1 t3 T>1000°C
2
CO2 2
4
6 H
T>600°C t 2
2 2
2
CO 5 4
3 t4 T>350°C et P>100b et C2O5
7 CH3OH
23
Arrivée en stock amont Arrivée en stock amont
Pièces P1 Pièces P2
Pièces P1 en Pièces P2 en
stock amont 1 2 stock amont
Pièces P1 Pièces P2
traitées sur M 3 5 4 traitées sur M
Fin de traitement Machine Fin de traitement
pièces P1 unique pièces P2
Production P1 Production P2
24
Chapitre 3 : Propriétés liées au marquage
Une place P d’un RdP est bornée par un marquage initial M0, si et seulement si :
M i M 0 , k N tel que m( P) k
m(P) est le nombre de marques (ou jetons) dans P et l’entier positif k est appelé borne
de P.
Pour un marquage initial M0, un réseau de Petri est borné par un entier positif k si et
seulement si toutes ses places sont bornées pour M0. L’entier positif k est la valeur
maximum des bornes de l’ensemble des places du réseau.
Exemple
1
t6 1
t1 t1
4 2 2 3 t4
t5
t3
t2 t2 t3
t4 4
3
Figure 3.1 : RdP borné par k=3 Figure 3.2 : RdP non borné
Remarque : La notion de bornage ainsi définie n’est pas une propriété structurelle car
elle dépend du marquage initial M0. Donc, un réseau borné pour M0, peut parfaitement
être non borné pour M 0' M 0 .
25
Chapitre 3 : Propriétés liées au marquage
Un réseau de Petri est dit sauf pour un marquage initial M0, si et seulement si il est
borné par k=1.
3.2 Vivacité
Une transition t est dite une fois vivante pour M0 si et seulement si elle est
franchissable (tirable) une fois à partir de M0.
Une transition t est dite k ( k N ) fois vivante pour M0 si et seulement si elle est
franchissable (tirable) k fois à partir de M0.
Une transition t est dite infiniment vivante pour M 0, si et seulement si elle est
franchissable (tirable) M i M 0 .
26
Chapitre 3 : Propriétés liées au marquage
Exemples
1 2 1 2 1 2
t1 t1 t1
3 3 3
t2 t2 t2
Figure 3.3: t1 non vivante Figure 3.4: t1 3 fois vivante Figure 3.5: t1, t2
t2 une fois vivante t2 4 fois vivante infiniment vivante
RdP bloqué RdP bloqué RdP vivant
1
t5
t1
2 2
4 t3
t6
t2
t4
3
En résumé :
Un réseau de Petri exempt de blocage peut être vivant ou pseudo-vivant.
Un réseau de Petri qui possède un marquage atteignable bloquant n'est ni vivant,
ni pseudo-vivant.
27
Chapitre 3 : Propriétés liées au marquage
Demande cabine t1
2 Déshabillage
Attente panier t2
4 Dépose panier
6 Prise cabine
Libère panier t5
7 Habillage
Libère cabine t6
3.3 Réinitialisation
28
Chapitre 3 : Propriétés liées au marquage
Exemples:
1
t1 1 t2
3
t1 3
2 t2
t6 2 t3
4 t4 t5
4
t3
3.4 Persistance
Exemples:
1 2 3 1 2 3
ti tj ti tj
Figure 3.10 : Réseau de Petri persistant Figure 3.11 : Réseau de Petri non persistant
29
Chapitre 3 : Propriétés liées au marquage
Exemples:
1 3 4 1 3 4
t1 t1
2 2
t2 t4 t2 t4
5 6 5 6
t3 t5 t3 t5
Figure 3.12 : RdP persistant borné, Figure 3.13 : RdP non persistant,
vivant, réinitialisable borné, vivant, réinitialisable
Remarque 2 : Pour les réseaux de Petri non autonomes il est facile de supprimer un
conflit effectif en assurant ti t j .
Exemple:
Stock amont 1 Stock amont 2
1 10 6
3 2 5 7 9
Machine
unique
4 8
Stock aval 1 11 Stock aval 2
30
Chapitre 3 : Propriétés liées au marquage
Dans un réseau de Petri vivant mais non persistant, il peut exister une séquence infinie
de tir qui ne valide pas certaines transitions. On dit qu’il y a coalition contre une
transition t (ou un ensemble de transitions) à partir de M0 si et seulement s'il existe une
séquence infinie de tir ( M 0 ) telle qu’aucun des marquages obtenus par
l’application de ne valide t (ou cet ensemble de transitions).
N
7N Réfléchir
Attendre 8N
Manger
6N
W 3 4 E
7W 6W
6E 7E
1 2
8W 8E
6S
8S
7S
S
Figure 3.15 : Réseau de Petri conforme (sauf et vivant) avec structure de coalition
31
Chapitre 3 : Propriétés liées au marquage
2 t4 3 t4
t4 1 1
1
t1 3 t1 3 t1 3
t3 2 t3 2 t3
2
t2
A t2 B t2 C
t4 t4 2 t4
1 1 1
t1 3 t1 3 t1 3
2 2 t3 2 t3 2 t3
t2 D t2 E t2 F
32
Chapitre 4 : Représentation matricielle
4 Représentation matricielle
4.1 Définition
Un réseau de Petri généralisé marqué, pur et sans arcs inhibiteurs est isomorphe à
une matrice rectangulaire C(p,t) plus un vecteur de marquage M(p) tous deux à
coefficients entiers relatifs.
4.2.1 Définition
Un réseau de Petri généralisé pur, sans arcs inhibiteurs et non marqué est
isomorphe à une matrice rectangulaire C(p,t) à coefficients entiers (appelée matrice de
description ou d’incidence) décrite comme suit :
si pi t j
Elément courant C(i,j) si pi t j
0 si pi t j , pi t j
1
p1 1 0 0 0 1
p2 1 1 1 1 0
t1
C p, t
2 3 p3 1 1 0 0 1
t2 p4 0 0 1 1 1
t3 t5 t1 t 2 t3 t 4 t5
t4
4
Figure 4.0 : Réseau de Petri et matrice d’incidence
33
Chapitre 4 : Représentation matricielle
4.2.2 Exemples
Paniers
disponibles
1 0 0 0 1 0 0 0 0 0
Chariots
disponibles
p1
p2 1 1 0 0 0 0 0 0 0 0
1
6 p3 0 1 1 0 0 0 0 0 0 0
Serveur à la coupe
0 0 1 1 0 0 0 0 0 0
t1 t6 p4
2
11 7 p5 0 0 0 1 1 0 0 0 0 0
p6 0 0 0 0 0 1 0 0 0 1
C p, t
t2 t7
p7 0 0 0 0 0 1 1 0 0 0
3 8
t3 p8 0 0 0 0 0 0 1 1 0 0
p9 0 0 0 0 0 0 0 1 1 0
Caisses ouvertes t8
4
12 9 p10 0 0 0 0 0 0 0 0 1 1
t4 t9 p11 0 1 1 0 0 0 1 1 0 0
p12 0 0 0 1 1 0 0 0 1 1
5 10
t1 t 2 t3 t4 t5 t 6 t 7 t8 t9 t10
t5 t10
34
Chapitre 4 : Représentation matricielle
Exemple 3: Atelier de production “en étoile” sans tous les stocks de capacité
infinie.
1
p1 -1 0 1 0 0 0 0
0
p2 1 0
8
t1 t5 -1 0 0 0 0 0
p3 -1 1 0 0 0 0 0 0
Ilot
2
machine 3 2 4 9 Ilot p4 0 1 0 0 0 0 0 0
10 machine
p5 0 1 1 0 0 0 0
n°1
t2 t6 n°3 0
2
Robots
4
p6 0 0 1 1 0 0 0 0
p7 0 0 1 0 0 0 0
N
4 11 0
15
C p, t p8 0
2
0 0 0 1 0 1 0
p9 0 0 0 1 1 0 0
4
0
t3
t7
p10 0 0 0 0 1 1 0 0
Ilot 2
machine
6
5
p11 0 0 0 0 0 1 0 0
Ilot
n°2
t4
4 12
13 machine p12 0 0 0 0 0 0 1 1
t8 n°4
p13 0 0 0 0 0 0 1 1
7 p14 0 0 0 0 0 0 0 1
14
p15 -2 2 2 2 4 4 4 4
Stock aval 2 Stock aval 4
t1 t2 t3 t4 t5 t 6 t7 t8
Pour un réseau de Petri généralisé pur, sans arcs inhibiteurs, on peut définir deux
matrices rectangulaires C-(p,t) et C+(p,t) à coefficients entiers positifs ou nuls
(appelée respectivement matrice d’entrée ou matrice PRE, matrice de sortie ou matrice
POST) décrites comme suit :
si pi t j
Elément courant C-(i,j)
0 sinon
si pi t j
35
Chapitre 4 : Représentation matricielle
Exemple :
p1 0 0 0 0 0 0 p1 1 0 0 0 0 0
p2 0 0 0 0 0 0
p2 1 0 0 0 0 0
p3 1 0 0 0 0 0 p3 0 1 0 0 0 0
p4 0 1 0 0 0 0 p 4 0 0 0 0 1 0
p5 0 0 0 0 0 0 p5 0 0 1 0 0 0
p6 0 0 0 0 0 0 p6 0 0 1 0 0 0
p7 0 0 0 0 0 0 p7 0 0 1 0 0 0
p 0 0 1 0 0 0 p8 0 0 0 1 0 0
C p, t 8 C p, t
p9 0 0 0 1 0 0 p9 0 0 0 0 2 0
p10 0 0 0 0 1 0 p10 0 0 0 0 0 1
p11 0 0 0 0 0 1 p11 0 0 0 0 0 0
p12 0 1 0 0 0 0 p12 1 0 0 0 0 0
p13 0 0 0 1 0 0 p13 0 0 1 0 0 0
p14 0 0 0 0 1 0 p14 0 1 0 0 0 0
p15 0 0 0 0 2 0 p15 0 0 0 1 0 0
p16 0 0 0 0 0 1 p16 0 0 0 0 1 0
t1 t2 t3 t4 t5 t6 t1 t 2 t3 t 4 t5 t6
Figure 4.4 : Atelier de cycle –matrice C+ Figure 4.5 : Atelier de cycle –matrice C-
36
Chapitre 4 : Représentation matricielle
Exemple:
t6 1
p1 1 0 0 0 1 1
t1
p2 1 1 1 0 0 0
C p, t
4 2 t5 p3 0 1 0 1 1 0
t3 p4 0 0 1 1 0 1
t2 t1 t 2 t3 t 4 t5 t 6
t4
3
Figure 4.6 : Graphe d’états fortement connexe –matrice C
Exemple:
t3 p1 1 1 0
1 0
p2 1
1 3 C p, t p3 1 0 1
p4 0 1 1
4 t1
p5 1 0 1
t2 t1 t2 t3
5
2
Figure 4.7 : Graphe d’événements fortement connexe - matrice C
37
Chapitre 4 : Représentation matricielle
4.5.1 Définition
Pour un réseau de Petri généralisé pur et sans arcs inhibiteurs, on peut définir un
vecteur M(p) à coefficients entiers positifs ou nuls décrit comme suit :
Nota 1 : M0(p) que l’on note M0 est le vecteur marquage initial du réseau de Petri.
4.5.2 Exemples
M 0 0 2 0 3 0 1 1 2 3 1
T
M 0 N P Na
T
0 0 0 0 NC 0 0 0 0 NS
4.5.3.1 Couverture et stricte couverture d’un vecteur par un autre vecteur de même dimension.
M 2 M1 M 2 ( pi ) M1 ( pi ) i 1, 2,..., n
38
Chapitre 4 : Représentation matricielle
Mj=Mi+jème colonne de C
t3 p1 1 1 0
1 0
p2 1
1 3 C p, t p3 1 0 1
p4 0 1 1
4 t1
p5 1 0 1
t2 t1 t2 t3
5
2
Donc M0 couvre la première colonne de C-. La transition t1 est sensibilisée et son tir (ou
franchissement) conduit à :
1 1 0
0 1 1
M 1 1 1 0
0 0 0
0 1 1
39
Chapitre 4 : Représentation matricielle
1 1 2
0 1 1
M 1 1 0 1
0 1 1
0 0 0
4.5.5 Relation générale des réseaux de Petri
Si l’on considère une séquence de tir (par définition admissible), on peut obtenir
directement le marquage final Mn d’un réseau de Petri obtenu par application de cette
séquence à partir du marquage initial M0 par la relation :
Mn = M0 +C(p,t) . I
i1
i
Avec : I avec ij entier positif ou nul compte le nombre de tj dans .
2
1 1 1 0 1
0 1 1 0 2
0
On obtient : M n 1 1 0 1 .2 0
0 0 1 1 1 1
0 1 0 1 1
40
Chapitre 5 : Analyse des Réseaux de Petri
Ce chapitre traite des méthodes générales d’analyse des RdP. Ces méthodes utilisent
la représentation matricielle afin de s’affranchir de la taille du réseau de Petri étudié
et donc la limitation “physique” imposée par le graphe. D’autre part, les procédures
développées sont systématiques et d’une mise en œuvre informatique aisée.
Deux types de méthodes seront développés :
Une méthode (arbre des accessibilités) qui suppose connue la matrice d’incidence C
(donc la structure du réseau) et le marquage initial. Cette méthode conduira donc,
pour un réseau donné, à des résultats dépendants du marquage initial.
Des méthodes (calcul des verrous et étude par les invariants) structurelles (ou
génériques) qui ne supposent connues que la matrice d’incidence C (la structure du
réseau). Ces méthodes conduiront donc à des résultats structurels (ou génériques).
5.1.3 Algorithme
PAS 1 : début racine M0
Puis tous les marquages successeurs de M0 qui sont obtenus en tirant toutes les
transitions tirables (test du paragraphe 4.5.3 sur la couverture des colonnes de
C- par M0, puis application avec la matrice C de la formule du paragraphe
4.5.4).
Tests si ces marquages couvrent strictement M0 (> M0), alors on met w dans la
ou les composantes de ces marquages strictement supérieures à celle (s) de M0.
*
Cette limitation est liée à l’utilisation de la matrice d’incidence et peut être levée si l’algorithme
de Karp et Miller est utilisé directement sur le réseau de Petri.
41
Chapitre 5 : Analyse des Réseaux de Petri
5.1.4 Exemples
Exemple 1
t2 1
t3
2 3
t1 5
4 t4
0 1 0 1 0
t2 t4
1 0 0 1 0 0 1 0 0 1
t2
t4 t3
1 0 0 0 1 0 1 1w 1 0 t3 P3 non bornée
t3 t2 t4
0 1 w 0 1
1 0 w 1 0
t4 t2
t1 t3
1 0 w 0 1
0 1 w 0 0
t2
1 0 w 0 0
blocage
Exemple 2
1 1 0 0 0 0 2
t4
1 2 t1
0 0 1 1 0 0 2 t4
t1
t2 t3
3 4 1 0 0 1 2 0 2 0 1 1 0 0 2 0
t3 t2
t2
2
2
t3 1 1 0 0 2 2 0
2 t4 t1 t4
5 6
0 0 1 1 2 2 0 1 1 0 0 1 1 1
7 t4 t1
t4 t2 0 0 1 1 1 1 1
1 0 0 1 4 2 0
t2
t4
1 0 0 1 3 1 1
42
Chapitre 5 : Analyse des Réseaux de Petri
Exemple 3
t4
3 0 3 0 3 2 1
2 2 1 1 0 1 1
t t t t t t 2 3
0 1 2 2 0 1 2 2 0 3 0 3 0 2 t3 5
t1
0 0 1 1 2 1 0 3 2
t4
0 0 0 0 0 1 2 2
t3 t1 3 t2
2 0
t4 2 0 t4 4
0 2
Blocage
0 2
1 0
On rappelle qu’un verrou V est un ensemble de places tel que toute transition ayant une
place de sortie dans V possède aussi une place d’entrée et qu’une condition nécessaire
de vivacité est le marquage initial (dans M0) des verrous minimaux.
43
Chapitre 5 : Analyse des Réseaux de Petri
1 1 1 1 1
t2 1 1 0 0
5 t3
t1 4 C p,t 1 0 0 1
2 t4 0 0 1 1
3 0 0 1 1
Si P2 alors P1 et si P3 alors P1
Si P1 alors P2
Si P4 alors P5 ou P1
Si P1 alors P3 ou P4 et si P5 alors P4 ou P3
Que l’on code de la façon suivante (dans laquelle les P ont été supprimés afin d’alléger
l’écriture suivante) :
2 1 3 1 1 23
1 2 1 2
4 1 5 4 1 5
1 3 4 5 3 4
3 4 15
1 231 2 1 5 4 15 3 4 123 124 1235 1245 1234 12345 12345
D’où les verrous minimaux : (P1,P2,P3), (P1,P2,P4) et (P4,P5)
5.2.2.1 T semi-flots
C.X=0
44
Chapitre 5 : Analyse des Réseaux de Petri
Un T semi-flot sera sit élémentaire ou minimal s’il ne couvre pas strictement un autre
T semi-flot.
On rappelle un résultat très classique d’algèbre linéaire : toute combinaison linéaire de
T semi-flots élémentaires est un T semi-flot.
5.2.2.2 P semi-flots
YT.C=0
Un P semi-flot sera sit élémentaire ou minimal s’il ne couvre pas strictement un autre P
semi-flot et toute combinaison linéaire de P semi-flots élémentaires est un P semi-
flot.
T semi-flots :
1 1 1 1
1 x1
1 0 0 x
C p,t 1 0 0 1 et X 2 d’où les équations :
x3
0 0 1 1
0 x4
0 1 1
x1 x 2 x3 x 4 0 1
x x 0 1
1
et un seul T semi-flot élémentaire :
2
X
x1 x 4 0 1
x 3 x 4 0
1
45
Chapitre 5 : Analyse des Réseaux de Petri
Le même résultat peut être obtenu avec l’algorithme itératif qui consiste à initialiser les
composantes du vecteur X par toutes les possibilités qui vérifient C1.X=0 (avec C1
première ligne de C).
Pour cet exemple, il est aisé de voir que les initialisations possibles de X sont :
1 0 0 1 1
1 1 0 0 1
X1 ou X1 ou X1 ou X 1 ou X1
0 1 1 0 1
0 0 1 1 1
X 1 1 * ou X 1 0 $
T T
* * * 1 * * * * $ $ $ 0 $ $ $ $
X 1 1 1 1 1 1 0 0 0 0 0
T
d’où les seuls T semi-flots élémentaires :
X 2 0 1
T
0 0 0 0 1 1 1 1
X 3 1 1
T
1 1 1 1 1 1 1 1
X 1 1
0
T
1 1 1 1 0 0 0 0
X 2 0
1
T
0 0 0 0 1 1 1 1
Y1 1 1 1 1 1 0 0 0 0 0 0 0
T
Y2 0 0
T
0 0 0 0 1 1 1 1 1 0
Y" 0 0
T
0 1 0 0 0 0 1 0 0 1
Y' 0 1
T
0 0 0 1 0 0 0 0 1 0
46
Chapitre 5 : Analyse des Réseaux de Petri
X 2 0 0
T
0 1 1 0 0 0
X 3 0 0
T
0 0 0 1 1 0
X 4 0 1
T
0 0 0 0 0 1
Et 5 P semi-flots élémentaires :
Y1 1 1 0 0 0 0 0 0 0
T
Y2 0 0
T
0 1 1 0 0 0 0
Y3 0 0
T
0 0 0 1 1 0 0
Y4 0 0
T
0 0 0 0 0 1 1
Y 2 0 2 0 4 0 4 0 1
T
5
Donc, si les composantes répétitives sont des séquences de tir (admissibles) pour un
marquage initial donné du réseau étudié, ces séquences de tir réinitialisent le
réseau. Attention cependant à ne pas conclure sur la réinitialisation du réseau car celui-
ci peut posséder un ou plusieurs blocages.
47
Chapitre 5 : Analyse des Réseaux de Petri
48
Chapitre 5 : Analyse des Réseaux de Petri
Réseau conservatif :
Quelle que soit la combinaison linéaire envisagée entre les P semi-flots, la composante
n°3 restera nulle. Ceci permet de conclure que génériquement (c’est à dire quel que soit
M0) la place n°3 est non bornée et que le réseau est non conservatif donc
génériquement non borné.
Les composantes conservatives élémentaires sont des verrous, par contre il existe
un verrou qui n’est pas une composante conservative élémentaire (cf. § 5.2.1). Par
exemple, avec le marquage M0=[0 1 0 1 0]T, on peut conclure que le réseau est peut être
vivant (la condition nécessaire de marquage des verrous minimaux et la condition de
couverture d’au moins une colonne de C- sont vérifiées). Par contre, avec M0=[0 0 1 0 1]T,
on peut conclure à la non vivacité du réseau (la condition nécessaire de marquage des
verrous est non remplie).
49
Chapitre 5 : Analyse des Réseaux de Petri
On notera que pour ce réseau généralisé la valeur de N=2 ou N=3 conduit à un réseau
pseudo-vivant, la valeur N 4 conduit à un réseau vivant.
2/ Il n’existe qu’un seul P semi-flot Y=[1 1 1 … 1]T et donc qu’une seule composante
conservative comportant toutes les places du réseau.
50
Chapitre 5 : Analyse des Réseaux de Petri
3/ Il n’existe qu’un seul verrou égal à la seule composante conservative donc à tout le
réseau.
Corollaire
1 2
t1
t4 p1 1 1 0 1 0 1
p2 1 0
t6 t2
0 1 0 0
t3 C
p3 0 0 0 1 1 1
4
p4 0 1 1 0 1 0
3
t5
X 1 0 0 0 1 0 1
T
X 2 1 0
T
0 1 1 1
X 1 0 0
T
1 0 1 1
Par exemple, le marquage M0=[1 0 0 0]T permet de conclure à un réseau borné, vivant,
réinitialisable, non persistant.
51
Chapitre 5 : Analyse des Réseaux de Petri
1/ Il n’existe qu’un seul T semi-flot X=[1 1 1 … 1]T et donc qu’une seule composante
répétitive comportant toutes les transitions du réseau.
2/ Le nombre de P semi-flots élémentaires et donc le nombre de composantes
conservatives élémentaires est égal à p-t+1.
3/ Les verrous sont égaux aux composantes conservatives.
4/ Le marquage des verrous à M0 est une condition nécessaire et suffisante de
vivacité.
Corollaire
p1 1 1 0
p2 1 0
t3
1 3 1
C p3 1 0 1
4
t1 p4 0 1 1
p5 1 0 1
t2
2 5
Y1 0 0 1 0 1
T
Y2 1 0
T
1 0 0
Y1 0 0
T
1 1 1
Par exemple, le marquage M0=[0 1 1 0 0]T permet de conclure à un réseau borné, vivant,
réinitialisable, persistant. Par contre, le marquage M0=[0 0 0 1 1]T permet de conclure à
un réseau borné, persistant mais non vivant.
52
Chapitre 5 : Analyse des Réseaux de Petri
Dans le cas général, on a le résultat suivant valable pour les réseaux répétitifs
stationnaires et conservatifs (r est le rang de la matrice C)
Le nombre de T semi-flots élémentaires est t - r
Le nombre de P semi-flots élémentaires est p - r
1/ Dans le cas des réseaux de Petri généralisés, cette analyse à l’avantage de:
- ne nécessiter qu’un nombre réduit de calculs: T et P semi-flots élémentaires, verrous
minimaux qui peuvent être en faible quantité même pour un réseau de grande dimension
pour lequel l’analyse visuelle serait impossible.
- permettre facilement de conclure et de façon générique au bornage.
- pour un marquage initial M0 donné, permettre de donner une condition nécessaire de
vivacité.
2/ Dans le cas des réseaux de Petri graphe d’états et graphe d’événements, cette
analyse à l’avantage de:
- ne nécessiter qu’un nombre réduit de calculs: T et P semi-flots élémentaires, dont on
connaît le nombre à priori, qui peuvent être en faible quantité même pour un réseau de
grande dimension pour lequel l’analyse visuelle serait impossible.
- donner directement les verrous par le biais des composantes conservatives
élémentaires.
- permettre de conclure de façon générique au bornage.
- pour un marquage initial M0 donné, permettre de donner une condition nécessaire et
suffisante de vivacité.
53
Chapitre 5 : Analyse des Réseaux de Petri
Quelques logiciels :
ARENA
WITNESS
SOLYSTIC
SIMIO
VISUAL COMPONENTS
54
Chapitre 6 : La variable temps et les Réseaux de Petri
Dans les modèles développés aux chapitres précédents, et compte-tenu des définitions
de base des réseaux de Petri, un seul tient compte (implicitement) du temps : il s’agit
des réseaux de Petri non autonomes ou synchronisés. On rappelle que dans ce type de
modèle le franchissement d’une transition est lié bien sûr au marquage correct des
places d’entrée mais également à des conditions extérieures. Dans la pratique, ce modèle
n’a de sens que si ces informations extérieures sont disponibles au concepteur
(capteurs, compte-rendu, modes de marche …). On retombe très vite dans le domaine
des machines séquentielles ou le modèle GRAFCET s’est largement imposé comme outil
de spécification et de commande.
Pourtant, dans de nombreux procédés industriels pouvant être modélisés par des RdP, le
temps est explicitement présent (durée opératoire, temps de service …). Un modèle
macroscopique de ces procédés se doit donc de prendre en compte explicitement (c’est
à dire sans synchronisation par des événements extérieurs) la variable temps.
Les réseaux de Petri P-temporisés ou (exclusif) T-temporisés, les réseaux de Petri P-
temporels ou T-temporels permettent de résoudre de façon élégante différents types
de problèmes associés à cette variable temps.
La notion de sensibilisation d’une transition est la même que dans le cas des
réseaux de Petri généralisés.
Deux états sont possibles pour une marque dans une place Pi :
- indisponible durant j et j +zj, soit pendant zj,
- disponible après j +zj
avec j = arrivée de la marque dans pi
zj réel positif = temporisation associée a pi
Remarque : Dans un réseau de Petri P-temporisé, on dit que les temporisations sont
“dans les places”.
55
Chapitre 6 : La variable temps et les Réseaux de Petri
Par convention, à l’instant initial 0 (choisi égal à zéro dans la plupart des cas) toutes
les marques du réseau sont disponibles.
On parle de fonctionnement à vitesse maximale dans le cas où si une transition est
sensibilisée et si la (ou les) marque(s) sont disponible(s), elle est immédiatement
tirée. La conséquence du tir de cette transition est identique au cas des réseaux de
Petri généralisés.
Exemple :
t1 t1 t1
t2 t2 t2
Z1=2 Z1=2
P1 P1 DISPONIBLE
t1 t1 INDISPONIBLE
Z2=3 P2 Z2=3
P2
t2 t2
3<t<5 t=5
Figure 6.1 : Réseau de Petri P-temporisé – Evolution du marquage à vitesse maximale
Les systèmes de production, de distribution, de gestion, … dont les temps moyens (de
fabrication, de services,…) peuvent être correctement représentés (temps fixes ou
valeur moyenne avec très faible écart type) par des nombres réels positifs (avec une
quelconque unité de temps) peuvent être représentés par ce type de modèle.
56
Chapitre 6 : La variable temps et les Réseaux de Petri
Exemple
Stock amont 1/2 Stock amont 3/4
1 8
Ilot Z Z3
1
2 Ilot
machine 3 2 P1 4 P3 9 10 machine
n°1
n°3
2
Robots 4
4 Stock 15 11
aval 1 2 N Stock aval 3
4
Z2
Ilot 4 Z4
machine 6 5 P2 2 Ilot
P4 12 13 machine
n°2
n°4
7 14
Stock aval 2 Stock aval 4
Les réseaux de Petri T-temporisés sont les “duaux” des réseaux de Petri P-
temporisés dans le sens où les temporisations qui étaient sur les places dans les P-
temporisés sont sur les transitions dans les T-temporisés. Il suffit alors de
transposer la définition et les règles des P-temporisés pour définir le fonctionnement
des T-temporisés. Pour la modélisation des systèmes définis précédemment, il y a
stricte équivalence entre un modèle P-temporisé ou T-temporisé. Le choix entre l’un
ou l’autre des modèles relève donc uniquement d’une “habitude” de modélisation. C’est
donc par goût personnel que nous utiliserons les P-temporisés dans la suite de ce cours.
Cette partie expose l’un des résultats majeurs des réseaux de Petri temporisés :
l’étude analytique des performances, en régime permanent, d’un système à événements
discrets et de ce fait ouvre les portes au dimensionnement en particulier du nombre de
ressource à affecter au système afin de vérifier un critère généralement économique,
de performances.
57
Chapitre 6 : La variable temps et les Réseaux de Petri
Remarque : Cette propriété que l’on sait vérifier (cf. chapitre 5) au moyen du calcul des
T et P semi-flots élémentaires n’est que suffisante.
Remarque : la relation algébrique précédente C.F = 0 avec F > 0 signifie que les
fréquences moyennes de franchissement des transitions d’une composante répétitive
stationnaire élémentaire sont “portées*” par le T semi-flot élémentaire associé.
*
« portées » signifie que les relations de proportionnalité entre les fréquences moyennes de
franchissement de transitions d’une composante répétitive stationnaire élémentaire respectant
les valeurs entières du T semi-flot associé.
58
Chapitre 6 : La variable temps et les Réseaux de Petri
59
Chapitre 6 : La variable temps et les Réseaux de Petri
Soit le réseau de Petri P-temporisé de la figure 6.1. Pour ce réseau élémentaire (à la fois
graphe d’événements et graphe d’états fortement connexe) on a bien évidemment un
seul T semi-flot XT=[1 1]T et un seul P semi-flot YT=[1 1]T. Le réseau est donc
structurellement borné et répétitif stationnaire, la théorie précédente est applicable et
on obtient :
F1 (fréquence moyenne de franchissement de t1) = F2 (fréquence moyenne de
franchissement de t2) = F.
2 0
Compte-tenu de M TO 1 0 et de Z , la formule YTM0 YTZC+F nous donne
T
0 3
F=1/5 ce qui est évident sur la figure 6.1.
P1 Z1=2
t1 P3 Z3=1
P2 Z2=3
t2
On rappelle que dans ce cas, on a XT=[1 1]T et le nombre de P semi-flot est égal à 2. Pour
ce réseau, on a Y1T 1 0 et Y2T 0 1
T T
1 1
Ce réseau est donc structurellement borné et répétitif stationnaire. L’application de la
méthode précédente avec le marquage initial et les temporisations données sur le
2 ( z 1 z 2 ) F
graphe conduit à F1=F2=F et à deux inéquations :
1 ( z 2 z 3 ) F
2 1
Soit F(Fmax)=min , =min{0.4,O.25}=0.25
1
( z z 2 ) ( z 2 z 3
)
60
Chapitre 6 : La variable temps et les Réseaux de Petri
Avant-propos :
Nous donnons ci-après les énoncés de deux problèmes qui peuvent être résolus par les
techniques présentées ci-dessus et conduisant à l’analyse de performances et au
dimensionnement d’un système de distribution (Supermarché) et d’un atelier de
production (atelier “en étoile”). Seuls les cahiers des charges respectifs seront donnés
par la suite afin de permettre au lecteur de mieux comprendre le spectre très étendu
offerts par les résultats qualitatifs et surtout quantitatifs qui existent concernant les
réseaux de Petri P-temporisés. Les solutions seront données et d’autres études de cas
seront proposées en cours et en travaux dirigés.
Données temporelles :
Les durées moyennes de passage des deux types de clients dans les trois phases sont les
suivantes :
“Client au panier”
Plb rayons libre-service
Pc rayons “à la coupe”
Pac attente devant les caisses
Pa payement
61
Chapitre 6 : La variable temps et les Réseaux de Petri
“Client au chariot”
Clb rayons libre-service
Cc rayons “à la coupe”
Cac attente devant les caisses
Ca payement
On précise que les ressources Np, Nc, Ns, Na sont directement réutilisables
Etude sur une journée avec flux constant des deux types de clients :
On choisit d’imposer Ns=7 et Na=11 et aucune attente aux caisses (Pac=Nac=0)
Avec les données suivantes : Pc=3 U.T., Pa= 6 U.T., Plb=11 U.T., Clb= 63 U.T., Cc= 12 U.T.,
Ca= 15 U.T. (l’unité de temps étant la minute)
Fc
Fp
1/3
2
1/6
1 temps temps
0 1 2 3 4 normalisé
normalisé 6
0 1 2 3 4
1 1 2 1 1
Fp t 2 t 1 Fc t t
4 54 9 3
62
Chapitre 6 : La variable temps et les Réseaux de Petri
On rappelle que la partie fortement connexe de ce problème est donnée par le réseau de
Petri P-temporisé de la figure 6.2.
Données temporelles :
Les durées moyennes de traitement des pièces brutes par les différents îlots sont :
pour l’îlot n°1 : p1 UT (unité de temps)
pour l’îlot n°2 : p2 UT (unité de temps)
pour l’îlot n°3 : p3 UT (unité de temps)
pour l’îlot n 4 : p4 UT (unité de temps)
Les intervalles de temps qui séparent deux utilisations successives des machines dans
les différents îlots sont :
pour l’îlot n°1 : z1 UT (unité de temps)
pour l’îlot n°2 : z2 UT (unité de temps)
pour l’îlot n°3 : z3 UT (unité de temps)
pour l’îlot n 4 : z4 UT (unité de temps)
Analyse de performances et dimensionnement
L’intervalle de temps qui sépare deux utilisations successives d’un robot est nul.
On donne z1= z2= z3= z4=0 et p1 = p2 = 1 et p3= p4= 0.5
Le nombre de robot est égal à 4
63
INSA de Lyon
http://www.insa-lyon.fr
ANNALES
Xavier BRUN
xavier.brun@insa-lyon.fr
Laboratoire AMPERE
http://www.ampere-lyon.fr
65
Chère étudiante ou cher étudiant,
Vous trouverez dans ce document des examens (partiels ou complets) posés ces dernières
années aux promotions qui vous ont précédées. Comme vous l’avez compris dans ce cours la
modélisation des systèmes est un problème complexe dont les solutions peuvent être nombreuses
mais nécessitent toujours un dialogue important entre les donneurs d’ordres et les exécutants
pour assurer une bonne compréhension du cahier des charges.
Je ne connais pas de solution pour pouvoir en 2h répondre à toute une promotion et pouvoir
évaluer chacun individuellement. Ainsi j’ai essayé dans chacun de ces cahiers des charges de vous
contraindre à converger vers une seule solution, certaines ambigüités pouvant être levées lors
des questions posées, raison supplémentaire pour laquelle je vous conseille vivement de lire
attentivement l’énoncé et les questions entièrement avant d’essayer d’établir un modèle.
Pour des raisons évidentes de pédagogie je ne transmets pas de corrigé. La tentation serait
trop importante de lire la correction en croyant que vous avez compris et de vous retrouver face
à votre copie blanche le jour J. Ainsi je vous engage à comparer vos solutions et discuter entre
vous de vos résultats.
Je me tiens à votre disposition pour discuter avec vous des différentes solutions que vous
auriez trouvées, soit à la fin d’un cours, d’un TD ou dans mon bureau (voir plan ci-dessous).
66
Annales AU3 – 4GE – Xavier BRUN
Examen - 4GE - AU3 - Automatique SED
Xavier Brun -INSA de Lyon - Laboratoire Ampère
Documents autorisés : Polycopié de cours et notes personnelles
TOUT appareil électronique est INTERDIT : calculatrice, téléphone, tablette, ordinateur
PARTIE 1 : PROBLEME
ATELIER DE PRODUCTION
La production des pièces P1 se fait en trois étapes. Une première étape de découpe d'une pièce brute,
provenant d'un stock qui sera supposé de capacité infinie, est effectuée par une machine de découpe au jet
d'eau. La machine est rendue disponible dès qu'un robot est utilisé pour effectuer une tâche de vérification.
En parallèle de cette tâche de vérification un stock de capacité ST est alimenté pièce par pièce par un
système d'approvisionnement non modélisé dans cette étude. Trois pièces de ce stock ST sont utilisées
simultanément et assemblées avec un produit qui sort de la phase de vérification pour effectuer le montage
du produit P1. Dans cette étude la phase de montage ne sera pas modélisée. La modélisation de la
production de P1 se termine donc par la libération simultanée d'un robot parmi les R1 disponibles et des
trois places en stock ST.
La production des pièces P2 se fait en deux étapes. Dans un premier temps une machine de découpe au
jet d'eau est utilisée, ces machines sont identiques à celle précitées et peuvent donc être utilisées
indifféremment pour la production de P1 ou de P2. Sur cette ligne de production la machine est libérée à
l'aide de deux robots utilisés simultanément pour transporter la pièce dans un stock aval supposé de
capacité infinie. Ce temps de transport sera le seul modélisé dans l'ensemble de ce système de production.
Le dépôt dans le stock aval libère les robots qui sont différents de ceux utilisés pour la fabrication de P 1 et
limités en nombre par R2.
Merci de spécifier toutes les notations utilisées dans votre copie (contraintes temporelles…).
P2/ Donner un modèle réseau de Petri fortement connexe de cet atelier de production. Si il est nécessaire
de faire des hypothèses qui ne sont pas dans le cahier des charges, les spécifier.
P3/ Lire (ou calculer) les T semi-flots et les P semi-flots. Donner pour chacun d’entre eux une
interprétation physique.
P4/ Démontrer qu’il existe un fonctionnement périodique. Etablir la structure du vecteur de fréquences
moyennes de franchissement des transitions.
67
Annales AU3 – 4GE – Xavier BRUN
Données temporelles et de dimensionnement : 1 UT = 1 minute
Le temps d'utilisation des robots issus du parc composé de R1 robots identiques est de 8 UT. Le temps
d'utilisation des robots issus du parc composé de R2 robots identiques est de 11 UT. Le temps
d'utilisation des machines de découpe au jet d'eau pour la ligne de production du produit P1 est de 10
UT, pour la fabrication du produit P2 elle est de 12 UT. Le temps de maintenance moyen des robots
après chaque utilisation est de 1 UT pour le parc composé de R1 robots et de 2 UT pour le parc composé
de R2 robots (se temps correspondant à la maintenance de l'ensemble des robots utilisés lors du transport
d'un produit). Le temps de maintenance moyen des machines après chaque utilisation est de 1 UT. Le
temps moyen passé en stock ST est de 7 UT, un temps moyen d'indisponibilité des stock après chaque
utilisation sera pris en compte, ce temps étant de 1 UT. La capacité des stock ST est de 120 places. Le
parc composé de R1 (respectivement R2) robots possède 90 robots (respectivement 208 robots).
P6/ En fonction des données temporelles et de dimensionnement ci-dessus, déterminer les cadences de
production maximale qui peuvent être atteintes sur chaque ligne de production. Pour assurer ces cadences de
production, déterminer le nombre minimum de machines M nécessaires dans tout l'atelier.
P7/ Discuter de l'influence de chacune des décisions suivantes prisent séparément d'une part puis les
trois simultanément d'autre part:
- Le chef d'atelier décide de diviser par deux la capacité du parc de robots R1.
- Le chef d'atelier décide de multiplier par deux la capacité des stocks ST.
- Le chef d'atelier propose de réduire le temps moyen passé en stock ST de 4 UT.
P8/ Sans changer la cadence de production du produit P2 dimensionner au plus juste le système pour que
la cadence de production de P1 devienne égale à la cadence de production de P2 ?
P9/ Effectuer l’inventaire des flux, ressources et contraintes modifiés par ce cahier des charges.
P10/ Donner un nouveau modèle réseau de Petri fortement connexe de cet atelier de production. Si il est
nécessaire de faire des hypothèses qui ne sont pas dans le cahier des charges, les spécifier.
P11/ Calculer les T semi-flots et les P semi-flots qui sont modifiés par rapport à la première situation.
68
Annales AU3 – 4GE – Xavier BRUN
Examen - 4GE - AU3 - Automatique SED
Xavier Brun -INSA de Lyon - Laboratoire Ampère
Documents autorisés : Polycopié de cours et notes personnelles
TOUT appareil électronique est INTERDIT : calculatrice, téléphone, tablette, ordinateur
PARTIE 1 : PROBLEME
I/ Première solution
Il est prévu dans le cahier des charges de distribuer quatre types de produits : du vin rouge, du vin
blanc, du vin rosé et du champagne. Pour ce faire les bouteilles sont stockées dans trois types de
transstockeurs (tours de stockage automatiques) qui seront supposés de capacité infinie. Nous noterons T R le
nombre de transstockeurs comportant les bouteilles de vin rouge, TB le nombre de transstockeurs comportant
des bouteilles de vin blanc et de vin rosé (ces bouteilles de vins pouvant être mélangées, leur température de
stockage étant identiques) et enfin TC le nombre de transstockeurs ne comportant que du champagne.
L'utilisation de ces transstockeurs se déroule en deux phases, la commande client déclenche un processus
(non étudié dans le détail ici) qui met à disposition de manière automatique le vin, qui sera conditionné
manuellement ou à l'aide de robots (un robot par commande). Une fois le conditionnement effectué le
transstockeur est disponible et peut servir après maintenance pour livrer un autre client. Dans le cas des
transstockeurs livrant du vin le conditionnement est entièrement automatisé à l'aide d'un parc de N robots
identiques. Le conditionnement du champagne s'effectue manuellement par H opérateurs, un seul par
commande.
Le nombre de commandes clients sera supposé infini, ces commandes une fois sorties des transstockeurs
sont déposées sur des tapis roulants (par les robots ou les opérateurs suivant le cahier des charges ci-dessus)
qui seront également supposés de capacités infinies, la suite du procédé ne sera pas étudiée ici.
Notations:
zT = Durée moyenne de maintenance d'un transstockeur après chaque utilisation (durée identique quel que
soit le type de transstockeurs utilisé).
zS = Durée moyenne pour qu'une commande soit mise à disposition par un transstockeur (durée identique
quel que soit le type de transstockeurs utilisé).
zR1 = Temps moyen d'utilisation des robots pour vider une commande client d'un transstockeur comprenant
le vin rouge vers un tapis roulant.
zR2 = Temps moyen d'utilisation des robots pour vider une commande client d'un transstockeur comprenant
le vin blanc et rosé vers un tapis roulant.
zH = Temps moyen pour vider manuellement une commande client d'un transstockeur comprenant le
champagne vers un tapis roulant.
zP = Temps moyen de repos des employés après chaque commande
zN = Temps moyen de maintenance des robots après chaque utilisation
I1/ Effectuer l’inventaire des flux, ressources et contraintes.
69
Annales AU3 – 4GE – Xavier BRUN
I2/ Donner le modèle Réseau de Petri P-temporisé de ce système de production. Il n’existe pas de solution
unique mais un modèle possible pour la partie fortement connexe pourra être composé de 11 places et 9
transitions. Préciser les hypothèses effectuées pour les conditions initiales.
I3/ Lire (ou calculer) les T semi-flots et les P semi-flots, donner pour chacun d’entre eux une interprétation
physique.
I4/ Démontrer qu’il existe un fonctionnement périodique. Etablir la structure du vecteur de fréquences
moyennes de franchissement des transitions.
I5/ Etablir les inéquations régissant le fonctionnement de ce système en régime permanent
Données numériques: (unité de temps UT = 1 seconde)
zT = 10 UT
zS = 140 UT
zR1 = 150 UT
zR2 = 90 UT
zH = 300 UT
zP = 15 UT
zN = 6 UT
TR = 50
TB = 20
TC = 30
I6/ En tenant compte des données temporelles ci-dessus, calculer les fréquences maximum de production.
Exprimer les en nombre de commandes par minute.
I7/ Pour assurer ces cadences maximums de production dimensionner le parc robot et quantifier le nombre
d'employés nécessaire au conditionnement du champagne sur la partie de l'atelier étudiée.
I8/ Sachant que le code du travail impose au minimum, qu'une pause journalière de 20 minutes soit
respectée au-delà de 6 heures de travail par jour, que pensez-vous des conditions de travail
des salariés ?
II1/ Donner un modèle Réseau de Petri P-temporisé de ce système. Préciser l'état initial
II2/ Les cadences de production limitées par le nombre de transstockeur ont-elles augmentées ? Si oui de
combien ?
II3/ Pour assurer ces cadences maximum de production le parc robot précédemment mentionné est-il
suffisant. Si non, combien de robots faut-il racheter ?
II4/ Conclure
70
Annales AU3 – 4GE – Xavier BRUN
Examen - 4GE - AU3 - Automatique SED
Xavier Brun -INSA de Lyon - Laboratoire Ampère
21 janvier 2013 - Durée 2 h
Documents autorisés : Polycopié de cours et 1 feuille A4 de notes personnelles
TOUT appareil électronique est INTERDIT : calculatrice, téléphone, tablette, ordinateur ….
PARTIE 1 : PROBLEME
Ce problème se propose d’étudier les performances et le dimensionnement d'un porte avion. Nous
demandons d’établir le modèle d'une partie du réseau conformément au cahier des charges fixé dans le but
d’effectuer une analyse de performances et le dimensionnement du système. Attention de présenter les
résultats avec une interprétation physique. Dans le cadre de toute l'étude les différents temps d'attente non
spécifiés seront tous négligés.
Source http://fr.wikipedia.org/wiki/Porte-avions
Un porte-avions (cf. figure 1) est un bâtiment doté d’une puissance militaire considérable et dont les
capacités multiples en font un instrument d’une grande souplesse d’utilisation. Capable d’assurer une
projection de puissance garantissant une supériorité aérienne depuis la mer et sur la terre, le porte-avions
est une véritable base aérienne mobile. Embarquant et mettant en œuvre, à la mer, des avions de combat, il
permet de placer une force aérienne autonome en n'importe quel endroit du globe, en s'affranchissant des
éventuelles entraves diplomatiques locales. Naviguant dans les eaux internationales, il n'occasionne en effet,
au cours de son action, aucune ingérence dans une quelconque souveraineté territoriale. Par sa puissance,
sa mobilité, son autonomie et la variété de ses moyens, le porte-avions est la pièce maîtresse des flottes de
combat modernes. Sur le plan tactique, voire stratégique, il a remplacé le bâtiment de ligne dans le rôle de
navire amiral.
Structurellement, un porte-avions est une véritable ville flottante truffée d'électronique et embarquant
plusieurs dizaines d'avions et d'hélicoptères de combat de l'aéronautique navale, et nécessitant un équipage
de plusieurs milliers de marins. En raison d’un entretien extrêmement complexe et coûteux, l'exploitation
d’un porte-avions est réservée à quelques rares états disposant de moyens industriels et d’un budget de
défense importants.
Bien que l’auteur ait essayé de se rapprocher de données crédibles la suite de l’énoncé est une fiction.
Toute ressemblance avec la réalité est donc à imputer à cette dernière. Par contre, bien évidement ceci n’est
permis qu’à l’enseignant, l’étudiant devra quand à lui donner des réponses qui devront être en accord avec
les données de l’énoncé.
71
Annales AU3 – 4GE – Xavier BRUN
On supposera que sur le porte-avions étudié trois types d’appareil peuvent se poser : des hélicoptères, des
hydravions et des avions de défense. Ce porte-avions étant constitué des éléments suivants :
un pont d'envol plat constitué de deux pistes : une piste axiale réservée exclusivement à l'appontage
et une piste latérale permettant uniquement le catapultage (ou décollage) de son parc aérien ;
des ascenseurs permettant les mouvements des aéronefs (avions, hydravions et hélicoptères) entre le
pont d'envol et les hangars ;
sous le pont d'envol, se trouvent les hangars où sont garés les aéronefs et où s'effectuent leur
entretien, les soutes à carburant et à munitions, les logements du personnel et les machines
fournissant l'énergie et assurant la propulsion ;
des ressources appelées machines dans la suite de l’énoncée (robots, chariots …) utilisés pour le
rangement des aéronefs depuis le pont jusqu’au hangar.
sur le pont d'envol se trouvent les catapultes permettant de donner aux avions une accélération au
décollage ainsi que les brins d'arrêt pour le freinage à l'appontage.
L’étude effectuée ici ne concernera que le dimensionnement et l’analyse de performances en termes
d’appontage et de rangement des aéronefs, la phase de catapultage (ou décollage) ne sera pas étudiée.
Ainsi quelque soit l’aéronef considéré son arrivée sur le porte-avions s’effectuera en deux temps : une phase
dite d’Appontage (durant zAa unité de temps pour les avions, zAy unité de temps pour les hydravions et zAh
unité de temps pour les hélicoptères), suivi immédiatement d’une phase de Rangement (durant zRa unité de
temps pour les avions, zRy unité de temps pour les hydravions et zRh unité de temps pour les hélicoptères).
La phase d’appontage ne sera modélisée que par une seule étape pour un type d’aéronef donné et
concernera l’appontage lui-même ainsi que la mise en position parking devant les ascenseurs correspondant
à la libération de la piste d’appontage.
La phase de rangement également modélisée par une seule étape pour un type d’aéronef donné
concernera l’utilisation d’un ascenseur puis d’une place dans un hangar, cette phase utilise des machines
dont le nombre dépend du type d’aéronef à ranger.
Après que chaque aéronef ait atteint sa position de parking sur le pont d’envol (et non dans le hangar) un
temps minimum est nécessaire pour retrouver des conditions climatiques compatibles avec l’appontage d’un
autre aéronef. Ce temps “d’attente Climatique” diffère en fonction du type d’aéronef qui vient d’apponter, il
sera noté zCa, zCy, zCh respectivement pour les avions, les hydravions et hélicoptères. Dans tous les cas devra
faire suite à ces temps d’attentes climatique un temps dit de sécurité identique pour les trois types d’aéronefs
(et donc représenté par une seule étape), noté zS.
La phase de rangement nécessite une ou plusieurs machines selon l’aéronef concerné. Les hélicoptères
utilisent deux machines, les avions trois et les hydravions une seule. Après chaque cycle de rangement un
temps moyen (opération de Maintenance …) est nécessaire avant un nouveau rangement. Ce temps sera noté
zM quelque soit le nombre de machines utilisées. Le nombre de places sur le Pont sera noté P (on supposera
donc que si P est différent de 1, que plusieurs aéronefs peuvent “en moyenne” être en même temps dans la
phase d’appontage), le nombre de Machines sera noté M, le nombre d’ascenseurs sera supposé infini, les
hangars seront supposés de capacité infinie.
P1/ Donner un modèle réseau de Petri fortement connexe de ce système. S'il est nécessaire de faire des
hypothèses qui ne sont pas dans le cahier des charges, les spécifier.
P2/ Après avoir démontré qu’il existe un fonctionnement périodique, établir les inéquations régissant le
fonctionnement de ce système en régime permanent.
P3/ Sachant qu’en moyenne en régime permanent 30 hydravions et 60 hélicoptères atterrissent par heure
et qu’il n’existe que deux places pour les aéronefs (quelque soit le type) sur le pont, argumenter votre étude
permettant de dimensionner le nombre minimum de machines permettant de faire apponter un nombre
maximum d’avions par heure.
P4/ Pour chaque type d’aéronef on veut respecter au minimum 45 secondes entre chaque appontage. Que
préconisez-vous ?
Données temporelles et de dimensionnement : 1 UT = 1 Unité de Temps = 1 seconde
zCa = 20 UT zAa = 10 UT zRa = 25 UT zS = 10 UT
zCy = 10 UT zAy = 20 UT zRy = 55 UT zM = 5 UT
zCh = 5 UT zAh = 25 UT zRh = 80 UT
72
Examen - 4GE - AU3 - Automatique SED
Xavier Brun -INSA de Lyon - Laboratoire Ampère
24 janvier 2012 - Durée 2 h
Documents autorisés : Polycopié de cours et notes personnelles
TOUT appareil électronique est INTERDIT : calculatrice, téléphone, tablette, ordinateur ….
Cet examen comporte 2 parties indépendantes (un problème et un exercice). Le soin apporté à la
présentation et les commentaires sur les résultats obtenus sont les bienvenus et seront pris en
compte dans la notation.
Barème envisagé : exercice sur 4 points et problème sur 16 points.
EXERCICE : Ordonnancement
Le réseau de Petri ci-dessous représente le partage de N machines sur trois flux de production
produisant les pièces P1, P2 et P3.
t1 t3 t5
P1 4 P2
1 N 2 3 P3
t2 t4 t6
73
P2/ Donner un modèle réseau de Petri fortement connexe de ce système. S'il est nécessaire de faire
des hypothèses qui ne sont pas dans le cahier des charges, les spécifier.
P3/ Lire (ou calculer) les T semi-flots et les P semi-flots. Donner pour chacun d’entre eux une
interprétation physique.
P4/ Démontrer qu’il existe un fonctionnement périodique.
P5/ Etablir la structure du vecteur de fréquences moyennes de franchissement des transitions.
P6/ Etablir les inéquations régissant le fonctionnement de ce système en régime permanent.
Données temporelles et de dimensionnement ou de performances : 1 UT = 1 seconde
Le temps moyen d'utilisation de la remontée mécanique est de 297 UT, le temps moyen de mise à
disposition (ce temps comprend la maintenance) de la remontée mécanique après chaque
utilisation est de 3 UT. Les temps où les deux pistes de ski ne peuvent être utilisées seront négligés.
Le temps moyen pour descendre la piste rouge (respectivement la piste noire) est de 180 UT
(respectivement 480 UT). Des études statistiques effectuées sur la piste rouge ont permis de mettre
en avant le fait qu'en moyenne 6 skieurs arrivent en bas de la piste toutes les secondes. La capacité
d'accueil maximale de la remontée mécanique est de 3000 places
P7/ En fonction des données ci-dessus, analyser les performances maximales de ce modèle en
donnant le dimensionnement minimal nécessaire pour maintenir les performances données ou
trouvées.
P8/ Discuter de l'influence de chacune des décisions suivantes prises séparément :
- Le responsable des pistes dimensionne la piste noire pour accueillir simultanément au maximum
2000 personnes sur cette piste.
- Le responsable des pistes dimensionne la piste rouge pour accueillir simultanément au maximum
1000 personnes sur cette piste.
Extension de la station de ski
Pour augmenter l'affluence de touristes dans la station, il est décidé de rajouter une seconde remontée
mécanique (télécabine) qui part du même point de départ que le téléphérique et donne accès à deux
pistes distinctes, soit une nouvelle piste (bleue), soit la même piste noire étudiée précédemment.
La capacité d'accueil de la nouvelle remontée mécanique est limitée à T2 places. On supposera
toujours que le nombre de places sur les pistes est limité et on notera cette limite R pour la piste
rouge, N pour la piste noire et B pour la piste bleue.
Afin de limiter la complexité du modèle demandé dans la suite de l'étude, on supposera que dès
que les skieurs quittent l'une des remontées mécaniques, ils utilisent la piste noire, la piste rouge ou la
piste bleue. L'utilisation de la piste noire sera modélisée par le même état quelque soit la remontée
mécanique utilisée.
Il est demandé de spécifier toutes les notations utilisées dans la copie (contraintes temporelles,…).
P9/ Effectuer l’inventaire des flux, ressources et contraintes par ce cahier des charges.
P10/ Donner un nouveau modèle réseau de Petri fortement connexe à partir de ce cahier des
charges. S'il est nécessaire de faire des hypothèses qui ne sont pas dans le cahier des charges, les
spécifier.
Données temporelles et de dimensionnement ou de performances : 1 UT = 1 seconde
Toutes les données issues de la pré-étude restent valables. Le temps moyen d'utilisation de la
nouvelle remontée mécanique est de 315 UT, le temps moyen de mise à disposition de la nouvelle
remontée télémécanique après chaque utilisation est de 5 UT. Les temps où les pistes de ski ne
peuvent être utilisées seront négligés. Le temps moyen pour descendre la piste bleue est de 420 UT.
Des études statistiques effectuées sur la piste bleue (respectivement la piste noire) ont permis de
mettre en avant le fait qu'en moyenne 5 skieurs (respectivement 14 skieurs) arrivent en bas de la
piste toutes les secondes.
P11/ En fonction des données ci-dessus, analyser les performances maximales de cette station de
ski en donnant le dimensionnement minimal nécessaire pour maintenir les performances trouvées ou
données. La station peut-elle accueillir en même temps 10 000 skieurs sur les pistes ?
74
Examen - 4GE - AU3 - Automatique SED
Xavier Brun -INSA de Lyon - Laboratoire Ampère
18 juin 2012 - Durée 2 h
Documents autorisés : Polycopié de cours et 2 feuilles A4 de notes personnelles
TOUT appareil électronique est INTERDIT : calculatrice, téléphone, tablette, ordinateur ….
Cet examen comporte 2 parties indépendantes (un exercice et un problème). Le soin apporté à la
présentation et les commentaires sur les résultats obtenus sont les bienvenus et seront pris en
compte dans la notation.
Barème envisagé : exercice sur 5 points et problème sur 15 points
EXERCICE
Soit le réseau de Petri défini par sa matrice d'incidence 𝐶 et son vecteur de marquage initial 𝑀0 ci-
après :
1 −1 0 0
0 1 −1 0
𝐶=[ ] 𝑀0 = [ ]
−1 0 1 2
0 −1 1 1
E1/ Démontrer les propriétés liées au marquage initial 𝑀0 donné en terme de vivacité, de bornage
et de réinitialisation.
E2/ En temporisant chacune de place Pi par une temporisation notée zi, tel que z1=3, z2=2, z3=5,
z4=1 et en supposant comme marquage initial 𝑀1 = [0 0 𝑁 𝑅 ]𝑇 tel que N = 200 et R = 84,
calculer les fréquences maximales que peuvent atteindre chacun des flux de production.
E3/ Vous ne pouvez modifier que l'une des deux valeurs N ou R. Que proposez vous pour
augmenter la productivité ?
Première partie
Il s'agit de modéliser ici une partie d'un atelier de recyclage qui comporte deux types de
machines qui seront notées M1 et M2. A partir de matières premières, qui seront supposées toujours
disponibles, ces machines produisent trois types de produits semi-finis P1, P2 et P3 qui seront stockés
dans des stocks spécifiques de capacités SP1 (pour le produit P1), SP2 (pour le produit P2) et SP3 (pour
le produit P3). Chaque utilisation d'une machine de type M1 permet de fabriquer simultanément un
produit P1 et un produit P2. Chaque utilisation d'une machine de type M2 permet de fabriquer
simultanément un produit P2 et un produit P3. La fin d'utilisation de chaque machine correspond
temporellement au début de l'utilisation des stocks. Dans le but d'obtenir deux types de produits notés
75
PA et PB, les produits semi-finis sont assemblés par des ressources non modélisées ici. Ainsi
l'assemblage d'un produit semi-fini P1 avec un produit semi-fini P3 permet d'obtenir le produit PA. Le
produit PB est obtenu par l'assemblage de deux produits semi-finis P2.
Afin de limiter la complexité du modèle demandé dans la suite de l'étude, on supposera dans un
premier temps que la capacité d'accueil des stocks des produits PA et PB est illimitée.
Il est demandé de spécifier toutes les notations utilisées dans la copie (contraintes temporelles,…).
P1/ Donner un modèle réseau de Petri fortement connexe de ce système. S'il est nécessaire de faire
des hypothèses qui ne sont pas dans le cahier des charges, les spécifier.
P2/ Calculer les T semi-flots élémentaires. Lire (ou calculer) les P semi-flots élémentaires. Donner
pour chacun des T et P semi-flots élémentaires une interprétation physique.
P3/ Démontrer qu’il existe un fonctionnement périodique.
P4/ Etablir la structure du vecteur de fréquences moyennes de franchissement des transitions.
P5/ Etablir les inéquations régissant le fonctionnement de ce système en régime permanent.
P6/ En fonction des données ci-dessus, analyser les performances optimales de ce modèle en
donnant le dimensionnement optimal nécessaire pour maintenir les performances trouvées. Exprimer
ces performances optimales en terme de nombre de produit PA et PB fabriqués par unité de temps.
P7/ Sachant qu'en moyenne une place en stock d'un produit semi-fini correspond à 1 m2 au sol,
que ces produits ne peuvent pas être entreposés l'un sur l'autre, est-ce qu'un stock total d'un hectare est
suffisant ?
Seconde partie
Dans cette poursuite de l'étude, les produits PA et PB sont conditionnés par une machine de type M3
après avoir été stockés dans des zones supposées maintenant de capacités finies que l'on notera SP A
(pour le produit PA) et SPB (pour le produit PB). Cette phase de conditionnement dure 50 UT et
correspond au mélange de un produit PA avec un produit PB pour former un produit final noté PFINAL.
Les machines M3 sont disponibles immédiatement après chaque utilisation.
P8/ Proposez un modèle correspondant uniquement au cahier des charges de la seconde partie.
Etablir les inéquations régissant le fonctionnement de ce modèle en régime permanent s'il existe.
P9/ On supposera que 100 pièces PA et 100 pièces PB sont produites par unité de temps. Calculer le
nombre de produit PFINAL fabriqués par unité de temps et dimensionner le nombre de machines M3
nécessaires pour travailler à fréquence maximale.
Question bonus
On considère comme cahier des charges les deux énoncées données à chaque partie en respectant la
contrainte de dimension finie sur les stocks SPA et SPB. On garde les mêmes contraintes temporelles et
de dimensionnement. On ne tient pas compte des cadences de production fixées à la question P9.
P10/ Dimensionner le nombre de machines M3 permettant de fonctionner aux cadences maximales
de production ?
76
Examen - 4GE - AU3 - Automatique SED
Xavier Brun -INSA de Lyon - Laboratoire Ampère
Documents autorisés : Polycopié de cours et notes personnelles
TOUT appareil électronique est INTERDIT : calculatrice, téléphone, tablette, ordinateur
USINAGE et VERIFICATION
Cette étude concerne une partie d’un atelier de production fabriquant différents types de pièces
selon la méthode suivante. Sur l’une des lignes de production une pièce provenant d’un stock amont
est usinée sur une machine à commande numérique puis est transférée vers le centre de l’atelier ou
siège le poste de vision muni de NC caméras. Deux d’entre elles seront alors utilisées, puis après
traitement des images, le produit est classé conforme ou non dans des stocks avals. Seuls les taches
d’usinage et de conformité seront modélisées, toutes les phases de transfert ne seront pas représentées
dans le modèle car leur durée est négligeable devant la durée des autres actions. Sur une ligne de
production en parallèle, un autre type de pièce est fabriqué. Il s’agit de souder et de visionner des
pièces soit avant soudage, soit après soudage (mais pas les deux), ces deux gammes de fabrication
utilisent les mêmes machines de soudage (au nombre de NS) ainsi que le poste de vision précité, une
seule caméra est nécessaire dans ce cas.
Tous les stocks seront supposés de capacité infinie.
Le nombre de machine d’usinage à commande numérique sera noté NU.
Données temporelles :
Durée moyenne d’usinage = zU
Durée moyenne de soudage = zS
Durée moyenne d’acquisition et traitement d’image après usinage = zV1
Durée moyenne d’acquisition et traitement d’image après soudage = zV2
Durée moyenne d’acquisition et traitement d’image avant soudage = zV3
Durée d’indisponibilité du poste de vision entre deux utilisations = zVind
Durée d’indisponibilité du poste d’usinage entre deux utilisations = zUind
Durée d’indisponibilité du poste de soudage entre deux utilisations = zSind
Travail à effectuer :
1°/ Effectuer l’inventaire des flux, ressources et contraintes.
2°/ Donner le modèle RdP P-temporisé de cet atelier. Il n’existe pas de solution unique mais un
modèle possible pour la partie fortement connexe pourra être composé de 9 places et 9 transitions.
Faire apparaître le marquage initial, on supposera qu’à l’état initial toutes les machines et toutes les
caméras sont disponibles, et qu’aucune pièce ne se trouve sur les lignes de production.
3°/ Lire (ou calculer) les T semi-flots et les P semi-flots, donner pour chacun d’entre eux une
interprétation physique.
4°/ Démontrer qu’il existe un fonctionnement périodique. Etablir la structure du vecteur de fréquences
moyennes de franchissement des transitions.
5°/ En respectant les notations des données temporelles ci-dessus, établir les inéquations régissant le
fonctionnement de ce système en régime permanent.
77
6°/ A partir de données numériques ci-dessus, établir les fréquences maximums de fonctionnement sur
chacun des flux modélisés.
7°/ Vous avez le choix entre des postes de soudure à 10 k€ qui demandent en moyenne 3 UT réservées
à la maintenance après chaque utilisation, et des postes plus cher mais ne demandant qu’une seule
unité de temps. En conservant les cadences maximales calculées précédemment, en dessous de quel
prix les postes de soudure les plus chers deviennent-ils les plus avantageux en terme d’investissement.
8°/ Une analyse du cahier de commandes client permet d’envisager un taux de production sur chaque
ligne de 600 pièces par heure. A partir des données temporelles précédentes (z Sind = 3 UT),
dimensionnez l’atelier permettant d’assurer ces cadences de production.
78
Bibliographie
BRAMS G.W. (ouvrage collectif) Réseau de Petri : Théorie et Pratique, Masson, 1983
Tome 1 “Théorie et analyse” - 184 pages
Tome 2 “Modélisation et applications” - 160 pages
DAVID R., ALLA H., “Du Grafcet au Réseau de Petri“, Hermès, différentes éditions, 1989-
1995
JENSEN K., “Colored Petri nets. Basic concepts, analysis methods and practical use“, 2 volumes,
Springer-Verlag, 1991, 1995
PETERSON J.L, “Petri nets theory and modeling of systems“, Prentice Hall, 1981
PROTH J.M., XIE X., “Les réseaux de Petri pour la conception et la gestion des systèmes de
production“, Masson, 292 pages, 1995.
RICHARD M., “Réseaux de Petri, Grafcet et Automates“, différentes éditions 1987-1996 (en
collaboration avec D. Thomasset depuis 1994).
SIFAKIS, J. “Use of Petri nets for Performance Evaluation,” 3rd International Symposium on
Modeling and Evaluation, IFIP, North Holland, pp. 75-93, 1977
Périodiques:
Site web :
http://www.informatik.uni-hamburg.de/TGI/PetriNets/
79
TRAVAUX
DIRIGES
TD 1
TD 1 : Modélisation
Le système considéré est constitué de deux machines, chacune précédée d’un stock. Les
pièces sont transportées par deux palettes (portant chacune une pièce) dans l’ordre suivant :
stock 1 (ST1) machine 1 (M1) stock 2 (ST2) machine 2 (M2) stock 1 (ST1) … (cf. figure 1).
ST1 M1 ST2 M2
Figure 1
1.1 Les stocks sont supposés de capacités infinies et les machines peuvent traiter un nombre
illimité de pièces en même temps. Représentez le fonctionnement de ce système par un
Réseau de Petri ordinaire.
1.2 Les hypothèses sur le système sont modifiées : la machine 1 ne peut traiter qu’une pièce à
la fois tandis que la machine 2 peut traiter deux pièces à la fois. Adaptez le modèle
précédent à ces nouvelles hypothèses.
1.3 De nouvelles contraintes sont ajoutées sur le système concernant la capacité des stocks
numéro 1 et 2 pouvant contenir respectivement 5 et 4 palettes. Le nombre total de
palettes sur la ligne de fabrication est limité à 5. L’état initial du système correspond à une
mise en route après une période de maintenance où toutes les machines sont disponibles, le
stock numéro 2 est vide et toutes les palettes sont dans le stock numéro 1. Prenez en
considération ces nouvelles hypothèses dans votre modèle.
1.4 Que devient le réseau de Petri si les machines 1 et 2 produisent par lot de 3 ?
83
TD 1
P2
P2
M3 ST3
Figure 2
84
TD 2
TD 2 : Modélisation
85
TD 2
1.2 Etablissez alors le réseau de Petri généralisé modélisant cet atelier.
Exercice 2 : Modélisation d’un atelier de production en Kanban
Retour du Retour du
kanban 1 kanban 2
Système de Système de
Arrivée d’une Satisfaction d’une
production 1 production 2
pièce demande
Figure 1
2.1 Représentez ce système par un RdP ordinaire en faisant les hypothèses suivantes :
o Pour chaque maille i, il y a une place correspondant aux pièces dans le système de
production i et une place correspondant aux pièces dans le stock ST i, le passage de l’un à
l’autre se faisant par le franchissement d’une transition qui correspond à l’exécution de
la pièce, et une seule peut être traitée à la fois ;
o Il y a deux kanbans pour la maille 1 et trois kanbans pour la maille 2 ;
o Il n’y a pas eu de demandes provenant de l’aval du système depuis longtemps, et il y a
trois pièces brutes dans le stock ST0.
2.2 On considère maintenant une maille i dans laquelle les pièces entrent dans le système de
production par lots de trois, sont traitées une par une, et sont déposées dans le stock aval
par lots de trois pièces terminées. Un kanban est associé à un lot. Les pièces arrivent une
par une et sont demandées une par une. Dès que la dernière pièce est retirée d’un lot
présent dans STi, on autorise le traitement d’un nouveau lot (retour du kanban).
Représenter ce système par un RdP généralisé en supposant qu’il y a deux kanbans et que
le marquage initial est le suivant : il n’y a pas eu de demande de l’aval depuis longtemps. Il y
a quatre pièces dans STi-1 et quatre pièces dans STi (soit un lot complet plus une pièce).
Modélisez une maille i de cet atelier comprenant un stock Sti-1, un stock Sti, un Kanban i et
un Kanban i+1. Une solution envisageable peut être représentée par un RdP à 9 places et 8
transitions.
86
TD 3
La logistique est dénommée sur le plan informatique le routage qui est une méthode
d'acheminement des informations à la bonne destination à travers un réseau. Dans le cadre de
cette étude nous nous plaçons dans un contexte manufacturier ou les informations sont des
colis et le réseau est constitué d’un circuit de chariots filoguidés. Il s’agit donc d’étudier un
centre de tri comme on peut en trouver à La Poste ou chez ses concurrents (FedEx, Calberson
…).
Le rôle du système de production étudié est de diriger les colis provenant de camions
de trois catégories (régionale, nationale et internationale) et arrivant en zone de
déchargement vers des camions fournissant soit des particuliers soit des professionnels
et situés en zone de chargement. Pour ce faire l’utilisation d’un unique circuit composé
de NC chariots filoguidés permet le transit des colis depuis la zone d’entrée (zone de
déchargement) vers la zone de sortie (zone de chargement) et ceci conformément à la
figure 1.
Camions
régionaux
Clients
Circuit professionnels
Camions de chariot
nationaux filoguidés
Clients
particuliers
Camions
internationaux
Le circuit filoguidé permet de faire circuler les chariots dans l’ordre suivant :
- déchargement de camions régionaux,
- déchargement de camions nationaux,
- déchargement de camions internationaux,
- chargement de clients particuliers,
- chargement de clients professionnels,
- maintenance des chariots,
Lors de la modélisation du circuit filoguidé les étapes amenant les chariots filoguidés d’un
poste à l’autre ne seront jamais représentés, leur durée étant négligeable par rapport aux
états de déchargement, chargement et maintenance (une rapide vérification est effectuée
87
TD 3
sur les chariots après chaque cycle d’utilisation). Chaque chariot filoguidé est débrayé de son
circuit lorsqu’il est utilisé sur l’une des trois zones de déchargement ou sur l’une des deux
zones de chargement. Ces opérations sont effectuées manuellement, les ressources humaines
ne seront pas modélisées.
2°/ Donner un modèle RdP de cet atelier. On supposera qu’à l’état initial tous les chariots
filoguidés sont en maintenance et qu’aucun camion n’est stationné en zone de déchargement
ainsi qu’en zone de chargement.
88
TD 4
TD 4 : Analyse
P1
t1 t2
P5 P7
P6 P2
P3
P8
t3 t4
P4
Figure 1
- La place P5 représente le stock tampon qui sépare les deux machines, il est supposé de
dimension infinie.
A l’état initial les deux machines sont libres et le stock est vide.
t1 t2 t3 t6
P1 P2 P5
P3
P6
t5 t4
P4
Figure 2
Représentez l'arbre d'accessibilité via l’algorithme de Karp & Miller.
Ce réseau est-il borné ?
89
90
TD 5
Exercice 1 : P et T semi-flots
On considère une ligne de fabrication, composée de deux machines M1 et M2 multi-fonctions,
permettant la production de deux types de pièces P1 et P2 à partir de deux stocks de pièces
brutes supposés de capacité infinie.
L’organisation de l’atelier est la suivante : on dispose de N robots permettant de véhiculer les
pièces brutes de leurs stocks respectifs vers les îlots de production composés d’un stock amont
et de deux machines M1 et M2. Ces robots sont banalisés et peuvent donc être utilisés
indifféremment par les lignes P1 et P2.
On précise que :
d’une part le transport d’une pièce P1 nécessite deux robots alors que le transport d’une pièce
P2 n’en nécessite qu’un seul. On souligne que ces robots restent attachés aux pièces qu’ils
véhiculent jusqu’à la fin du traitement sur les machines M1 ou M2. Après leurs traitements
respectifs sur les machines M1 et M2, les produits finis P1 et P2 sont déposés dans deux
stocks séparés supposés également de capacité infinie et le ou les robots concernés sont
libérés;
d’autre part, les stocks amonts des machines sont réalisés par un stock commun aux deux
machines de capacité C places, une pièce brute de type P1 ou de type P2 occupant une place
dans le stock ;
enfin que les machines M1 et M2 ne peuvent traiter qu’une pièce à la fois.
Modélisation : En ne retenant que la partie fortement connexe le modèle ci-dessous peut être
obtenu
Ligne P1 Ligne P2
Stock
commun
t1 t4
2 7C
1 4
t2 t5
M1 8N
libres M1
N1 3 2 occupées Parc M2 5 N2 6 M2
2 occupées libres
Robots
t3 t6
91
TD 5
Exercice 2 : P et T semi-flots
6
2 t5
t1 2
1 4
t2 t6
5 2
t3 Production de C2
t4
Production de C1
92
TD 6
Ligne P1 Ligne P2
Stock
commun
t1 t4
z1 2 z7
1 7C 4 z4
t2 t5
M1 8 N z8 z6
libres M1
N1
3 z2 2 M2 5 z5 N2
6 M2
z3 occupées Parc occupées
2 Robots libres
t3 t6
1 Lire sur le réseau de Petri ou calculer les P et T semi-flots. Pour chacun d’entre eux,
donnez une interprétation physique.
93
TD 6
PREMIERE SITUATION
Hypothèses:
- la maintenance sur les machines M1 et M2 est d’1 unité de temps après chaque utilisation,
- le temps de séjour moyen dans le stock amont de chaque ligne de production est négligeable devant
le temps de fabrication de chaque pièce.
- le temps d’occupation des machines M1 et M2 est respectivement de 4 et 5 unités de temps,
- la maintenance des robots après chaque utilisation est de 2 unités de temps,
- la maintenance des palettes (stock commun) après chaque utilisation est d’1 unité de temps
- l’atelier est composé de 15 machines M1 et de 18 machines M2.
3 Calculer la fréquence maximum de chaque ligne de production.
4 Dimensionner le système en terme de nombre de palettes nécessaire au stock commun et du
nombre de robots permettant d’assurer le fonctionnement à cadence maximum.
5 Vous avez le choix entre une ancienne génération de robots à 50 k€ demandant 2 unités de
temps d’entretien après chaque utilisation et des robots nouvelle génération à 60 k€ ne
demandant qu’une seule unité de temps. En ne tenant compte que de l’investissement au
moment de l’achat, quelle solution retenez-vous ?
6 L’entretien annuel sur les robots d’ancienne génération est de 5 k€ alors qu’il n’est que de 4
k€ pour ceux de nouvelle génération. Calculer le coût de l’entretien annuel pour chacune des
solutions. En incluant ce critère dans le bilan financier, quel est d’après vous l’investissement
le plus intéressant ? Calculer le temps nécessaire au retour sur investissement.
DEUXIEME SITUATION
Hypothèses:
- l’atelier est maintenant composé d’une machine M 1 et d’une machine M2.
- Le temps de maintenance sur les machines M1 et M2 est négligeable
- le temps de séjour moyen dans le stock amont des lignes de production P 1 et P2 est respectivement
de 0.8 et 1.5 unités de temps.
- le temps d’occupation des machines M1 et M2 est respectivement de 0.2 et 0.5 unités de temps,
- la maintenance des robots après chaque utilisation est d’une unité de temps,
- les palettes dans le stock commun sont immédiatement disponibles après chaque utilisation.
7 Calculer la fréquence maximum de chaque ligne de production.
8 Quel est le nombre minimal de robots et quelle est la capacité minimale du stock commun
permettant d’assurer les cadences maximales de production sur chacune des lignes.
9 L’unité de temps étant la seconde, calculer sur une journée de 8 heures la production
respective en pièces P1 et P2.
10 Les robots ont un coût individuel d’entretien estimé à 2000 €/jour et les machines travaillant
à vitesse maximale ont un coût estimé à 1000 €/heure pour M1 et 3000 €/heure pour M2. Les
places en stock ont un coût moyen de 4000€ /jour/place. L’usine est ouverte en moyenne 20
jours par mois. Les frais fixes sur la ligne P1 sont de 250 k€/mois et sur la ligne P2 de 200
k€/mois. Le prix de vente des pièces est de 0.5 €/pièce P1 et 1€ /pièce P2.
Calculer les gains et dépenses mensuels de cette usine.
11 Aider le chef d’atelier à choisir parmi les quatre décisions suivantes en argumentant :
- fermer la ligne de production des pièces de type P1.
- fermer la ligne de production des pièces de type P2.
- fermer les lignes de production des pièces de type P1 et P2.
- fermer aucune ligne de production.
12 Vous négocier, d’une part avec les clients un payement des pièces P1 et P2 deux mois avant leur
production, et d’autre part avec le banquier un placement du chiffre d’affaire avec un revenu
assuré de 3% par mois. Reprendre la question 11 avec ces nouvelles informations.
94
TD 7
A partir du modèle obtenu au TD3 et des données temporelles ci-dessous, effectuer l'étude
suivante.
Données temporelles :
Durée de déchargement des livraisons nationales pour servir un client professionnel = zNpro
Durée de déchargement des livraisons internationales pour servir un client professionnel = zIpro
Durée de chargement des clients professionnels = zCpro
Durée de déchargement des livraisons régionales pour servir un client particulier = zRpar
Durée de déchargement des livraisons nationales pour servir un client particulier = zNpar
Durée de chargement des clients particuliers = zCpar
La durée d’indisponibilité des trois zones de déchargement et des deux zones de chargement
entre deux utilisations sera négligée.
Durée de la maintenance des chariots après chaque utilisation = zMC (attention qu’il y est un ou
deux chariots la durée de maintenance est la même, on ne représentera donc qu’un seul état de
maintenance)
Travail à effectuer :
1°/ Effectuer l’inventaire des flux, ressources et contraintes.
2°/ Donner le modèle RdP P-temporisé de cet atelier. On supposera qu’à l’état initial tous les
chariots filoguidés sont en maintenance et qu’aucun camion n’est stationné en zone de
déchargement ainsi qu’en zone de chargement.
3°/ Lire (ou calculer) les T semi-flots et les P semi-flots, donner pour chacun d’entre eux une
interprétation physique.
4°/ Démontrer qu’il existe un fonctionnement périodique. Etablir la structure du vecteur de
fréquences moyennes de franchissement des transitions.
5°/ En respectant les notations des données temporelles ci-dessus, établir les inéquations
régissant le fonctionnement de ce système en régime permanent.
95
TD 7
8°/ Tout le parc de chariots filoguidés est à changer. Vous avez le choix entre l’ancienne
génération qui ne demandait aucune maintenance proposée au prix unitaire de 100 euros ou une
nouvelle génération demandant une vérification de 10 minutes toutes les 200 utilisations mais qui
coûte moitié prix. Argumenter votre choix en terme d’investissement.
On considère le réseau de Petri donné par sa matrice d’incidence et marquage initial suivants :
1 1 1 0 0 1
1 1 0 0 0 0
C p,t et M0
0 0 1 1 1 0
0 0 0 1 1 0
Donner le graphe de Petri correspondant.
Etablir l’arbre d’accessibilité et l’ensemble des marquages atteignable .
Que pouvez-vous conclure concernant les propriétés liées au marquage initial de ce réseau
(bornage, vivacité, réinitialisation, persistance) ?
S'agit-il d'un graphe d'état, d'un graphe d'événement, d'un réseau connexe ou fortement
connexe, ce réseau est-il conforme, sauf, ordinaire, généralisé ?
Ce réseau est-il répétitif stationnaire, conservatif ?
Existe-t-il un fonctionnement périodique quelque soit le marquage initial ? Existe-t-il un
fonctionnement périodique pour le marquage initial donné M 0 ?
96
TD 8
TINA
http://projects.laas.fr/tina//
TINA (TIme Petri Net Analyzer) est un logiciel
pour l'édition et l'analyse des réseaux de Petri
Toutes les notes que vous prenez pendant la séance ainsi que le sujet de ce TD seront
autorisés et souvent utiles pour le Devoir Surveillé de fin de semestre.
97
TD 8
A1/ Modélisation
- Donner un modèle réseau de Petri de ce système. S'il est nécessaire de faire des hypothèses
qui ne sont pas dans le cahier des charges, les spécifier.
A2/ Analyse théorique à effectuer pour le RdP connexe ET pour le RdP fortement connexe
- Etudier le bornage, la vivacité et la réinitialisation du réseau de Petri en supposant qu’à
l’état initial toutes les ressources sont disponibles. M1=M2=R=1, ST1=10, ST2=30. Pour
cette question aucune démonstration rigoureuse n’est demandée (pourquoi ?), il faut laisser
fonctionner votre intuition. Argumentez vos résultats.
- Lire (ou calculer) les T et P semi-flots élémentaires. Donner pour chacun d’entre eux une
interprétation physique. Existe-t-il un fonctionnement périodique ?
A3/ Analyse du Réseau de Petri connexe à partir du logiciel TINA
- Saisissez le modèle obtenu sous TINA avec le marquage initial donné précédemment.
Enregistrer votre modèle sous le nom de fichier ex1_A3.ndr
- Dans l’onglet Tools utilisez dans l’ordre les outils suivants et expliquer leurs intérêts :
stepper simulator
reachability analysis
structural analysis
98
TD 8
Cahiers des charges B
Nous venons maintenant compléter le cahier des charges numéro 1 avec le fonctionnement ci-après décrit.
Le robot dépose le produit semi-fini dans un stock intermédiaire, supposé de capacité finie noté STi1 pour les
pièces P1 et STi2 pour les pièces P2. Le robot est rendu disponible dès que la pièce qu’il transporte est déposée
dans un stock intermédiaire. Le produit final P est obtenu en assemblant sur une machine spécifique (notée M3)
un produit semi-fini P1 issu du stock intermédiaire STi1 avec deux produits semi-finis P2 issus du stock
intermédiaire STi2. Les temps de transport entre les stocks intermédiaires et les machines M3 seront négligés.
Dès la fin de l’assemblage la machine M3 est libérée est le produit semi-fini est déposé dans un stock final de
capacité infinie.
B1/ Modélisation
- Donner un modèle réseau de Petri de ce système. S'il est nécessaire de faire des hypothèses qui ne sont
pas dans le cahier des charges, les spécifier.
B2/ Analyse théorique à effectuer pour le RdP connexe ET pour le RdP fortement connexe
- Etudier le bornage, la vivacité et la réinitialisation du réseau de Petri en supposant qu’à l’état initial
toutes les ressources sont disponibles, le stock final est vide, M1=M2=M3=R=1, ST1=10, ST2=30,
STi1=20, STi2=50. Pour cette question aucune démonstration rigoureuse n’est demandée (pourquoi ?), il
faut laisser fonctionner votre intuition. Argumentez vos résultats.
- Lire (ou calculer) les T et P semi-flots élémentaires. Donner pour chacun d’entre eux une interprétation
physique. Existe-t-il un fonctionnement périodique ?
B3/ Analyse du Réseau de Petri fortement connexe à partir du logiciel TINA
- En ne retenant que la partie fortement connexe du modèle obtenu que vous enregistrerez sous le nom de
fichier ex1_B3.ndr, quelles sont les propriétés modifiées ?
Vérifiez votre analyse à l’aide des outils stepper simulator, reachability analysis et structural analysis
- Vos résultats de simulation sont-ils conformes avec les résultats obtenus Pourquoi ?
B4/ Analyse théorique et vérification software
- Proposer des solutions changeant la vivacité du modèle obtenu. Enregistrez vos solutions sous le nom
de fichier ex1_B4i.ndr, i étant le numéro de la solution proposée. Vérifiez au niveau logiciel la véracité
de votre intuition.
- Quelle solution fait apparaitre le moins de places et de transitions sans changer la structure du modèle
obtenu ?
B5/ Ordonnancement et vivacité
- Modéliser un ordonnancement pour l’utilisation du robot qui lui impose d’être utilisé pour produire les
pièces P1 et P2 chacune leur tour et une à la fois. Enregistrez votre solution sous le nom de fichier
ex1_B5a.ndr,
- Comment cette contrainte agit sur le nombre de T et P semi-flots ? Vérifier vos calculs (ou lecture du
graphe) via le logiciel TINA ?
- Comment cette contrainte agit sur la vivacité du réseau de Petri ? Vérifier vos intuitions via le logiciel
TINA ?
- Quel ordonnancement sur les robots permet de changer la vivacité du réseau de Petri ? Vérifier vos
intuitions via le logiciel TINA ? Enregistrer la solution proposée sous le nom de fichier
ex1_B5b.ndr
Bilan Exercice 1
Pour l’étude effectuée, remplir le tableau suivant AVANT et APRES l’utilisation de TINA et
conclure, comparez les résultats avec le théorème lié au rang de la matrice d’incidence qui ne peut
s’appliquer que si le RdP est répétitif stationnaire et conservatif
Avec ordonnancement :
chacun son tour
Avec ordonnancement :
2P2 puis 1P1
Tableau 1 : Bilan exercice 1
99
TD 8
EXERCICE 2 : Cahier des charges et analyse
A2/ Analyse
- Saisissez ce modèle sous TINA et enregistrez le sous le nom de fichier ex2.ndr
- Etablir le graphe des marquages et comparer à la solution proposée par le logiciel TINA.
- Calculer le T et P semi-flots
Vérifier que le résultat suivant est respecté :
Pour les réseaux répétitifs stationnaires et conservatifs
Si r est le rang de la matrice d’incidence C, si t est le nombre de transitions et p le
nombre de places alors :
Le nombre de T semi-flots élémentaires est t - r
Le nombre de P semi-flots élémentaires est p – r
Nota: l’utilisation de ce résultat impose de vérifier la véracité des hypothèses à posteriori.
- Comparer avec la solution de TINA. Les résultats de simulation sont-ils conformes avec les
résultats obtenus ? Pourquoi ?
Bilan Exercice 2
Effectuer la même démarche avec le réseau de Petri n°2 donné par la figure 3 en essayant d’anticiper les
résultats de TINA.
100
TD 8
EXERCICE 3 : Atelier de Recyclage (voir annales page 77 du polycopier de cours)
Ce problème se propose d’étudier les performances et le dimensionnement d'un atelier de recyclage. Dans un
premier temps, nous demandons d’établir le modèle d'une partie de l'atelier conformément au cahier des charges
fixé et d'obtenir les équations qui régissent le système en régime permanent s'il existe. Quelques applications
numériques sont également demandées. Attention de présenter les résultats avec une interprétation physique.
Dans un second temps, la suite du cycle de recyclage est étudiée en termes de modélisation et de mise en
équation pour dimensionner le système afin d'obtenir les performances optimales. Dans tout le cadre de l'étude
les différents temps d'attente non spécifiés seront tous négligés.
Première partie
Il s'agit de modéliser ici une partie d'un atelier de recyclage qui comporte deux types de machines qui
seront notées M1 et M2. A partir de matières premières, qui seront supposées toujours disponibles, ces machines
produisent trois types de produits semi-finis P1, P2 et P3 qui seront stockés dans des stocks spécifiques de
capacités SP1 (pour le produit P1), SP2 (pour le produit P2) et SP3 (pour le produit P3). Chaque utilisation d'une
machine de type M1 permet de fabriquer simultanément un produit P1 et un produit P2. Chaque utilisation d'une
machine de type M2 permet de fabriquer simultanément un produit P2 et un produit P3. La fin d'utilisation de
chaque machine correspond temporellement au début de l'utilisation des stocks. Dans le but d'obtenir deux types
de produits notés PA et PB, les produits semi-finis sont assemblés par des ressources non modélisées ici. Ainsi
l'assemblage d'un produit semi-fini P1 avec un produit semi-fini P3 permet d'obtenir le produit PA. Le produit PB
est obtenu par l'assemblage de deux produits semi-finis P2.
Afin de limiter la complexité du modèle demandé dans la suite de l'étude, on supposera dans un premier
temps que la capacité d'accueil des stocks des produits PA et PB est illimitée.
Il est demandé de spécifier toutes les notations utilisées (contraintes temporelles,…).
A1/ Donner un modèle réseau de Petri fortement connexe de ce système. S'il est nécessaire de faire
des hypothèses qui ne sont pas dans le cahier des charges, les spécifier. Programmer votre modèle sous
TINA et enregistrer le sous le nom de fichier ex3_A.ndr
A2/ Lire ou calculer les T et P semi-flots élémentaires. Donner pour chacun d’entre eux une
interprétation physique. Vérifiez vos calculs ou votre lecture à l’aide de TINA.
A3/ Démontrer qu’il existe un fonctionnement périodique.
A4/ Etablir la structure du vecteur de fréquences moyennes de franchissement des transitions.
A5/ Etablir les inéquations régissant le fonctionnement de ce système en régime permanent.
Données temporelles et de dimensionnement : 1 UT = 1 Unité de Temps
L'atelier est composé de 101 000 machines de type M1 et autant de type M2. Les temps moyen d'utilisation
des stocks de produits semi-finis SP1, SP2 et SP3 sont respectivement égaux à 20 UT, 60 UT et 100 UT. Le
temps moyens de non utilisation des places en stock pour les produits semi-finis correspond à 5% des temps
moyen d'utilisation. Les durées d'utilisation des machines M1 et M2 sont en moyenne identiques et égales à
1000 UT. Ces machines nécessitant une maintenance correspondant en moyenne à 1% de la durée
d'utilisation.
A6/ En fonction des données ci-dessus, analyser les performances optimales de ce modèle en
donnant le dimensionnement optimal nécessaire pour maintenir les performances trouvées. Exprimer
ces performances optimales en termes de nombre de produit PA et PB fabriqués par unité de temps.
A7/ Sachant qu'en moyenne une place en stock d'un produit semi-fini correspond à 1 m2 au sol, que
ces produits ne peuvent pas être entreposés l'un sur l'autre, est-ce qu'un stock total d'un hectare est
suffisant ?
Seconde partie
Dans cette poursuite de l'étude, les produits PA et PB sont conditionnés par une machine de type M3 après avoir
été stockés dans des zones supposées maintenant de capacités finies que l'on notera SPA (pour le produit PA) et
SPB (pour le produit PB). Cette phase de conditionnement dure 50 UT et correspond au mélange de un produit PA
avec un produit PB pour former un produit final noté PFINAL. Les machines M3 sont disponibles immédiatement
après chaque utilisation.
101
TD 8
B1/ Proposez un modèle global de l’atelier. Programmer votre modèle sous TINA et enregistrer le
sous le nom de fichier ex3_B.ndr.
Analyse pour un état initial donné :
Etudier la vivacité de ce réseau ?
Analyse par les invariants :
Lire ou calculer les T et P semi-flots élémentaires. Donner pour chacun d’entre eux une interprétation
physique. Vérifiez vos calculs ou votre lecture à l’aide de TINA.
Démontrer qu’il existe un fonctionnement périodique.
Les résultats obtenus en terme de vivacité et de fonctionnement périodique vous fait penser à quel
système physique vu en cours ? Quel est le danger de cette étude ?
Etablir les inéquations régissant le fonctionnement de ce modèle en régime permanent s'il existe.
B2/ On supposera que 100 pièces PA et 100 pièces PB sont produites par unité de temps. Calculer le
nombre de produit PFINAL fabriqués par unité de temps et dimensionner le nombre de machines M3
nécessaires pour travailler à fréquence maximale.
On considère comme cahier des charges les deux énoncés donnés à chaque partie en respectant la contrainte de
dimension finie sur les stocks SPA et SPB. On garde les mêmes contraintes temporelles et de dimensionnement.
On ne tient pas compte des cadences de production fixées à la question 9.
102