Vous êtes sur la page 1sur 20

Introduction

Système
Un système est constitué d’un ensemble d’éléments en
interactions dynamique.

l’état d’un système est l’ensemble des variables


nécessaires à décrire ce système à un moment donné, en
fonction des objectifs à étudier. ces variables sont
appelées variables d’état.

Les relations qui existent entre les variables d’état sont


représentées par le modèle.
Types de systèmes
Les systèmes discrets: les variables d’état changent
instantanément en des points séparés dans le temps.
Les systèmes continus: les variables d’état changent
continuellement en fonction du temps.

Modèle
Un modèle est une description simplifiée d’un système.
Son but est :
 d’évaluer sa performance ou l’effet de certaine
décisions.
 le passage d’une personne à l’autre sans perte
d’informations lorsqu’un système est appréhendé par
différentes personnes.
Types de modèles

Statique/dynamique
Discrets/continus
Stochastiques/déterministes
Prescriptifs/descriptifs

Simulation
La simulation fait évoluer le modèle en fournissant les
entrées appropriées et observer les résultats afin de:
– calculer numériquement les valeurs des variables d’état et de
sortie plus économiquement que l’expérimentation.
– tester si le comportement du système est satisfaisant et de
mettre en évidence certains problèmes.
Le problème de la simulation est que même si le modèle est bon,
on ne peut tester qu’un nombre limité de scénarios. Il est
difficile de prévoir si le comportement du système est
satisfaisant dans tous les cas.

L’analyse d’un système repose sur l’étude des propriété


mathématiques de son modèle. Elle peut garantir qu’à partir
d’une propriété du modèle, le comportement du système sera
(ou non) satisfaisant pour une famille de scénarios.
Système

Expérimentation avec le Expérimentation avec le


système actuel modèle du système

Modèle physique(prototype) Modèle mathématique

Solution analytique Simulation


Modélisation par Réseaux de Pétri
• Un réseau de Petri est un outil graphique et mathématique
permettant de modéliser et de vérifier le comportement
dynamique des systèmes à événements discrets comme les
systèmes manufacturiers, les systèmes de télécommunications et
les réseaux de transport.

• En général, Les RDP sont adaptés a la modélisation des systèmes


a évolution parallèle asynchrones
Un Réseau de Pétri (RdP) est un graphe orienté comprenant deux
types de sommets :

• les places (correspond à une variable d’état )

• les transitions (correspond à un événement et/ou une action )

• Les arcs peuvent être pondérés. Dans le cas ou le poids de tous les
arcs sont égaux a 1, le RDP est dit ordinaire.

• Une place contient un certain nombre de marques ou jetons qui


indique la valeur de la variable d’état correspondante.

• La distribution des jetons dans les places donne un état du RDP


(et donc du système).
Définition: on appelle Réseau de pétri non marqué le quadruplet
Q=<P,T,I,O> où:

P est un ensemble fini non vide de places

T est un ensemble fini non vide de transitions

PT=

I(Ti) est l’ensemble des places qui sont en entrée de la transition i.

O(Ti) est l’ensemble des places qui sont en sortie de la transition i.

• On appelle Réseau de pétri marqué R=<Q,M0> où M0 est le


marquage initial
Evolution d’un RdP
• Lorsque qu’il y a un poids n sur l’arc qui part d’une place Pi vers une
transition Tj, cela signifie que la transition est franchissable s’il y a au
moins n marques dans la place Pi.

• Lors du franchissement de Tj, on retirera n marques à la place Pi. S’il


y a un poids m sur l’arc qui part de la transition Tj vers la place Pk,
lors du franchissement de Tj, on ajoutera m jetons dans la place Pk.
Le marquage d’un Réseau de Pétri à un instant donné est un vecteur
colonne dont la valeur de la ième composante est le nombre de
marques dans la place Pi à cet instant.
Le passage du marquage Mk au marquage Ml par franchissement de la
transition Tj est noté : Mk|Tj > Ml.
Le nombre de marques dans la place Pi pour le marquage Mk est noté
Mk(Pi).
A partir d’un même marquage, il peut être possible de franchir
plusieurs transitions, menant ainsi à des marquages différents.
L’ensemble des marquages accessibles à partir du marquage M0 (le
marquage initial) est noté *M0.
Une séquence de franchissement est une suite de transitions qui sont
successivement franchies pour passer d’un marquage à un autre.

Un marquage Mk couvre un marquage Ml (noté: Mk≥ Ml) si, pour


chaque place, le nombre de marques de Mk est supérieur ou égal au
nombre de marques de Ml :

Propriété. Pour un Réseau de Pétri non marqué Q, soit L(Q,M0)


l’ensemble des séquences de franchissement à partir du marquage
initial M0.
2.Propriétés d’un RDP

2.1 Réseau de Pétri borné et Réseau sauf

• Une place Pi est bornée pour un marquage initial M0 si pour tout


marquage accessible à partir de M0, le nombre de marques dans Pi
reste borné.

• Elle est dite k-bornée si le nombre de marques dans Pi est toujours


inférieur ou égal à k.

• Un RdP marqué est k-borné si toutes ses places sont k-bornées.

• Un RdP marqué est sauf ou binaire pour un marquage initial M0 s’il


est 1-borné.
Propriété. Si un RdP marqué n’est pas borné pour le marquage initial
M0 alors il n’est pas borné pour le marquage initial

2.2 Une transition Tj est vivante pour un marquage initial M0 si pour


tout marquage accessible Mk, il existe une séquence de
franchissements à partir de Mk contenant Tj :

2.3 Un RdP marqué est vivant pour un marquage initial M0 si toutes


ses transitions sont vivantes pour ce marquage initial.
2.4 Un RdP est dit conforme s’il est sauf et vivant.

2.5 Une transition Tj est quasi vivante pour un marquage initial M0


s’il existe une séquence de franchissements à partir de M0
contenant Tj :

2.6 Un RdP marqué est quasi vivant pour un marquage initial M0 si


toutes ses transitions sont quasi vivantes pour ce marquage initial.

2.7 Un blocage (ou état puits) est un marquage pour lequel aucune
transition n’est validée.
2.8 Un RdP marqué est dit sans blocage pour un marquage initial M0
si aucun marquage accessible n’est un blocage.

Définition. Un RdP marqué a un état d’accueil Ma pour un marquage


initial M0 si:

Propriétés. Soit un Réseau de Pétri <Q,M0> présentant un état


d’accueil Ma.
A. Il est sans blocage si et seulement s’il existe une transition
franchissable à partir du marquage d’accueil Ma.
B. Une transition est vivante pour < Q ,M0 > si et seulement si elle est
quasi vivante pour <Q,Ma>.
2.9 Un RdP est réinitialisable pour un marquage initial M0 si M0 est un
état d’accueil.

2.10 Deux transitions t1 et t2 sont dites en conflit structurel si et seul


ement si elles ont au moins une place d’entrée en commun

2.11 Un conflit effectif est l’existence d’un conflit structurel et d’un


marquage M tels que le nombre de marques dans la place Pi est
strictement inférieur à la somme des poids des transitions de sortie
de Pi validées par le marquage M.

Remarque .Les propriétés précédentes dépendent du marquage initial.


3. Analyse d'un RDP par graphe de marquage

La façon la plus simple est de construire le graphe de marquages


accessibles s'il est fini, dans le cas contraire on construit le graphe de
recouvrement.

Graphe de recouvrement

• 1. Marquer la racine M0 (marquage initial).

• 2. Tant qu'il existe un nouveau marquage:

• a) Sélectionner un nouveau marquage M

• b) S'il n y a aucune transition tirable par M, marquer M


deadend.
• c) Pour toutes les transitions franchissables par M, trouver un
marquage accessible immédiatement de M. Q', la valeur de M', est
définie comme suit:

S'il existe sur le chemin M0---->M' un marquage M'' de valeur


Q''Q' alors pour toutes place p tel que Q''(p)<Q''(p) on a
Q'(p):=

Soit a une valeur entière:


1. a< 2. <= 3. +a= 4. -a=
Remarques
• On n'ajoute que de nouveaux marquage au graphe de recouvrement.
• Le graphe de recouvrement est toujours fini.
• Un RDP est k-borné si le symbole  n'apparait pas dans le graphe de
recouvrement. La borne k est donnée par le nombre de jetons le plus
grand du graphe.
• Une transition t est non vivante ssi elle n`apparait pas dans le graphe
de recouvrement
• Si chaque sommet du graphe est sur un circuit orienté qui contient le
marquage initial, alors le RDP est réversible.
• S'il y a des marquages deadend dans le graphe alors il y a des
blocages dans le système modélisé.

Vous aimerez peut-être aussi