Réseaux Électriques

Réseaux Électriques
Cours
Prof. Marouane EL AZZAOUI

Email : m.elazzaoui@uiz.ac.ma
Année universitaire: 2022/2023

Ecole Nationale des Sciences Appliquées
Agadir
Plan 1
1. Réseau de Petri coloré
Prof. Marouane EL AZZAOUI | ENSA Agadir | Année universitaire: 2022/2023 Page: 1/19
Plan de section 1 2

1.1 Introduction
1.2 Description Informelle des RdP Colorés
1.3 Dynamique d’un RdP Coloré
1.4 Description Formelle des RdP Colorés
1.1. Introduction
Problèmes des RdP ordinaires 3
On distingue trois problèmes sérieux des RdP ordinaires, à savoir:

Problème 1: Grande taille du réseau
Modéliser un système industriel réel par des RdP ordinaires peut générer
des modèles de taille trop importante rendant leur manipulation et leur
analyse difficile voire impossible.
1.1. Introduction

Exemple: Modélisation d’un système de gestion d’inventaire
1.1. Introduction

Exemple: Modélisation d’un système de gestion d’inventaire
Constat
Pour 05 produits ⇒ 15 Places et 10 transitions. Pour 100,000 Produits en
stock ⇒ Le RdP doit contenir 300.000 Places et 200,000 Transitions!
1.1. Introduction
Problème 2: Puissance expressive limitée
Dans les systèmes industriels, il est fréquent que des conditions telle que
x < y se produisent. Pour modéliser de tels systèmes, nous avons donc
besoin d’un moyen pour exprimer des conditions. Or, ceci ne peut être
exprimé par les RdP ordinaire à cause de jetons indiscernables. La valeur
représentée par un jeton ne peut être déterminée que par la place qui le
contient.
1.1. Introduction
Problème 3: Aucune modélisation explicite du temps
Il est difficile d’indiquer quand un événement a lieu et combien de temps cela

prend. Or, et comme les transitions sont instantanées et donc intemporelles,
les réseaux de Petri ordinaires ne peuvent pas décrire les aspects temporels
d’un système, il n’est donc pas possible d’évaluer la performance du système
modélisé.
1.1. Introduction

modélisé. Pour mieux illustrer ce problème, considérons l’exemple suivant:
Exemple:
▶ Sur la base d’un modèle de système de production d’une usine
automobile, nous voudrions déterminer combien de voitures l’usine peut
produire chaque semaine.
1.1. Introduction

modélisé. Pour mieux illustrer ce problème, considérons l’exemple suivant:
Exemple:
▶ Sur la base d’un modèle de système de production d’une usine
automobile, nous voudrions déterminer combien de voitures l’usine peut
produire chaque semaine.
▶ La performance d’un système est souvent exprimée en termes de temps
d’écoulement, de temps d’attente, d’utilisation, de coûts et d’articles
pour chaque unité de temps.
1.2. Description Informelle des RdP Colorés
Description Informelle des RdP Colorés 6
Définition
Il s’agit de passer des jetons indiscernables à des jetons reconnaissables en
affectant à chaque jeton du RdP une certaine valeur représentant la nature
de la donnée stockée, appelée couleur.
Définition
L’exemple suivant permet de mettre en exergue l’utilité des RdP colorés.
Exemple: Confection des cartes perforées dans un hôpital.

Dans un hôpital, il y a un bureau de service où les patients peuvent se faire
une carte perforée. Cette carte perforée contient des informations du patient.
Il y a un employé qui travaille au bureau de service. A tout moment,
l’employé peut aider au plus un patient.
Définition
L’exemple suivant permet de mettre en exergue l’utilité des RdP colorés.
Exemple: Confection des cartes perforées dans un hôpital.

Dans un hôpital, il y a un bureau de service où les patients peuvent se faire
une carte perforée. Cette carte perforée contient des informations du patient.
Il y a un employé qui travaille au bureau de service. A tout moment,
l’employé peut aider au plus un patient.
La figure ci-dessous présente un exemple d’un jeton avec une valeur.
Chaque place est donc associée à un certain type. Ce type de place, appelé
ensemble de couleurs, indique quel type de jetons cette place peut contenir.
▶ Le type de la place wait est le produit cartésien:

Patient = Id x Nom x Adresse x Date-naissance x sexe

▶ Le type de la place free est le produit cartésien:
Employé = NumEmp x Expérience

▶ Un jeton dans la place busy représente un employé occupé à traiter les
données d’un patient. La place est donc de type (Employé, Patient).
Une valeur possible est: ((641112, 7), (12345, Peter, "Kerkstraat 10,
Amesterdam", 13-Dec-1962, male))

▶ Un jeton dans la place busy représente un employé occupé à traiter les
données d’un patient. La place est donc de type (Employé, Patient).
Une valeur possible est: ((641112, 7), (12345, Peter, "Kerkstraat 10,
Amesterdam", 13-Dec-1962, male))
▶ Un jeton dans la place done représente un patient avec une carte
perforée
1.3. Dynamique d’un RdP Coloré
Dynamique d’un RdP Coloré 9
Le comportement des RdP colorés est similaire à celui des RdP ordinaires.
Une transition est franchissable et peut être tirée s’il y a assez de jetons dans
ses places en entrée.
Cependant, dans certains cas le franchissement d’une transition dans un

RdP coloré peut nécessiter une règle additionnelle que nous allons illustrer
par un exemple.
Exemple: Vérification de la qualité du produit dans une chaîne de fabrication.

Supposons que trois produits A, B et C sont fabriqués. Une machine analyse
chaque produit. Avec ce balayage, la machine reconnaît si la qualité du
produit est faible low ou élevée high. Les produits de qualité inférieure sont
placés dans un seul contenant et les produits de haute qualité sont placés
dans un autre.

par un exemple.

dans un autre.
▶ Un produit peut être modélisé par 3 états : Non-contrôlé , Qualité faible
et Haute qualité. Ces trois états sont modélisés respectivement par les
places unchecked, low , et high.

par un exemple.

dans un autre.
▶ Un produit peut être modélisé par 3 états : Non-contrôlé , Qualité faible
et Haute qualité. Ces trois états sont modélisés respectivement par les
places unchecked, low , et high.
▶ Les transitions check_low (c’est-à-dire que le produit est de qualité
médiocre) et check_high (c’est-à-dire que le produit est de haute
qualité) modélisent le scan.
Constat
▶ Ce modèle ne spécifie pas le type d’un produit: s’agit-il du produit A, B
ou C? Tous les produits sont similaires!
Constat
▶ Ce modèle ne spécifie pas le type d’un produit: s’agit-il du produit A, B
ou C? Tous les produits sont similaires!
▶ La décision sur la qualité des produits est modélisée par un choix non
déterministe.
Pour pallier à ces problèmes, nous étendons le modèle RdP en ajoutant de la

couleur:

couleur:
▶ Un produit peut être défini par son identité et sa qualité. De ce fait, on
déclare le type Product comme suit:
Product = Prodtype x Quality ; où ProdType et Quality sont des types
énumérés dont les valeurs sont respectivement [A, B, C] et [High, Low].

couleur:
▶ Un produit peut être défini par son identité et sa qualité. De ce fait, on
déclare le type Product comme suit:
Product = Prodtype x Quality ; où ProdType et Quality sont des types
énumérés dont les valeurs sont respectivement [A, B, C] et [High, Low].
▶ La place unchecked est alors de type Product. Par exemple, un jeton
dans la place unchecked peut avoir la valeur (A; low), (B; low), ou
(C;high).
règles de franchissement des transitions de ce RdP sont définies comme suit:

▶ La transition chec_low n’est validé que s’il y a un produit de qualité low
dans la place unchecked. Le tir de cette transition consomme ce
produit de la place unchecked et le reproduit dans la place low.

▶ La transition check_high n’est sensibilisée que s’il y a un produit de
qualité high dans la place unchecked. Le tir de cette transition
consomme ce produit de la place unchecked et le reproduit dans la
place high.

place high.
▶ Le jeton avec la valeur (B; low) permet la validation de la transition
check_low mais pas la transition chec_high. De même, le jeton avec
valeur (C;high) permet la validation de la transition check_high mais
pas la transition check_low.

place high.
▶ La validation d’une transition peut également dépendre de la valeur d’un
jeton.

place high.
▶ La validation d’une transition peut également dépendre de la valeur d’un
jeton.
▶ La valeur du jeton produit est calculée à partir des jetons consommés.
1.4. Description Formelle des RdP Colorés
Expressions des arcs 15
Les arcs d’un RdPC doivent porter des expressions qui permettent de
spécifier quels sont les jetons qui seront considérés lors du tir de la transition
et quels sont les jetons qui seront produits.
Exemple: Confection des cartes perforées.
Exemple: Confection des cartes perforées.
▶ Les arcs reliant la transition start à ses places d’entrée et de sortie

portent des expressions contenant deux variables x et y. La variable x
est de type Employé et la variable y de type Patient.
▶ La transition start est validée s’il existe un jeton dans la place free dont
la valeur peut être affectée à la variable x, et un jeton dans la place wait
dont la valeur peut être affectée à la variable y.
▶ Le tir de la transition start consomme un jeton de la place free avec la
variable x et un jeton de la place wait avec la variable y, et produit un
jeton dans la place busy de valeur (x;y).
▶ La transition stop est validée et peut être tirée. Elle va consommer le
jeton avec la valeur (x;y) de la place busy et produit un jeton de valeur x
dans la place free et un jeton de valeur y dans la place done.
▶ La transition stop est validée et peut être tirée. Elle va consommer le
jeton avec la valeur (x;y) de la place busy et produit un jeton de valeur x
dans la place free et un jeton de valeur y dans la place done.
▶ Si plusieurs valeurs peuvent être affectées à une variable alors nous
avons plusieurs correspondances (bindings).
Gardes de Transition 17
Un garde définit une contrainte supplémentaire qui doit être remplie avant
qu’une transition soit validée.
Un garde définit une contrainte supplémentaire qui doit être remplie avant
qu’une transition soit validée.
Exemple: contrôle de qualité d’un produit.
La transition check_low n’est validée que dans le cas d’un produit de faible
qualité et la transition check_high est validée uniquement dans le cas d’un
produit de haute qualité. Pour modéliser ces conditions, nous pouvons
utiliser un garde de transition.
▶ Il existe trois bindings potentiels pour la transition check_low :

(check_low; (x = (A; low))), (check_low; (x = (B; low))), (check_low; (x =
(C; low))). Mais seuls les deux premiers bindings permettent de valider
la transition check_low car le garde de cette transition évalue à vrai
(true).
▶ Il existe trois bindings potentiels pour la transition check_low :

(check_low; (x = (A; low))), (check_low; (x = (B; low))), (check_low; (x =
(C; low))). Mais seuls les deux premiers bindings permettent de valider
la transition check_low car le garde de cette transition évalue à vrai
(true).
▶ Il existe trois bindings potentiels pour la transition check_high :
(check_high; (x = (A; low))), (check_high; (x = (B; low))), (check_high; (x
= (C; low))). Mais seul le troisième binding permet d’évaluer le garde de
la transition à true et donc de la valider. Les deux autres bindings
évaluent le garde de la transition à faux (false).
Exercice d’application: Modéliser le système de gestion des inventaires par

un RdP coloré.
Exercice d’application: Modéliser le système de gestion des inventaires par

un RdP coloré.
Merci de votre attention !

Réseaux Électriques

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Réseaux Électriques

Transféré par

Droits d'auteur :

Formats disponibles

Réseaux Électriques

Prof. Marouane EL AZZAOUI

Année universitaire: 2022/2023

1. Réseau de Petri coloré

1. Réseau de Petri coloré

Problèmes des RdP ordinaires 3

On distingue trois problèmes sérieux des RdP ordinaires, à savoir:

Problèmes des RdP ordinaires 3

On distingue trois problèmes sérieux des RdP ordinaires, à savoir:

Problèmes des RdP ordinaires 3

On distingue trois problèmes sérieux des RdP ordinaires, à savoir:

Problèmes des RdP ordinaires 4

Problème 2: Puissance expressive limitée

Problèmes des RdP ordinaires 5

Problème 3: Aucune modélisation explicite du temps

Il est difficile d’indiquer quand un événement a lieu et combien de temps cela

Problèmes des RdP ordinaires 5

Problème 3: Aucune modélisation explicite du temps

Il est difficile d’indiquer quand un événement a lieu et combien de temps cela

Problèmes des RdP ordinaires 5

Problème 3: Aucune modélisation explicite du temps

Il est difficile d’indiquer quand un événement a lieu et combien de temps cela

Description Informelle des RdP Colorés 6

Description Informelle des RdP Colorés 6

Exemple: Confection des cartes perforées dans un hôpital.

Description Informelle des RdP Colorés 6

Exemple: Confection des cartes perforées dans un hôpital.

Description Informelle des RdP Colorés 7

La figure ci-dessous présente un exemple d’un jeton avec une valeur.

Description Informelle des RdP Colorés 8

▶ Le type de la place wait est le produit cartésien:

Description Informelle des RdP Colorés 8

▶ Le type de la place wait est le produit cartésien:

Description Informelle des RdP Colorés 8

▶ Le type de la place wait est le produit cartésien:

Description Informelle des RdP Colorés 8

▶ Le type de la place wait est le produit cartésien:

Dynamique d’un RdP Coloré 9

Dynamique d’un RdP Coloré 10

Cependant, dans certains cas le franchissement d’une transition dans un

Exemple: Vérification de la qualité du produit dans une chaîne de fabrication.

Dynamique d’un RdP Coloré 10

Cependant, dans certains cas le franchissement d’une transition dans un

Exemple: Vérification de la qualité du produit dans une chaîne de fabrication.

Dynamique d’un RdP Coloré 10

Cependant, dans certains cas le franchissement d’une transition dans un

Exemple: Vérification de la qualité du produit dans une chaîne de fabrication.

Dynamique d’un RdP Coloré 11

Dynamique d’un RdP Coloré 11

Dynamique d’un RdP Coloré 11

Dynamique d’un RdP Coloré 12

Pour pallier à ces problèmes, nous étendons le modèle RdP en ajoutant de la

Dynamique d’un RdP Coloré 12

Pour pallier à ces problèmes, nous étendons le modèle RdP en ajoutant de la

Dynamique d’un RdP Coloré 12

Pour pallier à ces problèmes, nous étendons le modèle RdP en ajoutant de la

Dynamique d’un RdP Coloré 13

Dynamique d’un RdP Coloré 14

règles de franchissement des transitions de ce RdP sont définies comme suit:

Dynamique d’un RdP Coloré 14

règles de franchissement des transitions de ce RdP sont définies comme suit:

Dynamique d’un RdP Coloré 14

règles de franchissement des transitions de ce RdP sont définies comme suit: