Вы находитесь на странице: 1из 22

Rseaux de

Petri
temporiss
Prsent par
Yahia samet saddam
housseyn
Yahnin el housseyn
Introduction
Certains systmes logiques ou de commande de systmes
squentiels sont souvent complexes et leurs conception pose
des problmes dlicats. Il est donc ncessaire de disposer
doutils puissants qui permettent de reprsenter dune faon
raliste lvolution du systme de faon a en faciliter la
conception.

En pratique, la reprsentation par Rseaux de ptri (RdP) sest


avre tre un bon compromis entre la souplesse demploi et la
puissance de la reprsentation.

Les RdP permettent de dcrire dune faon relativement simple


lvolution dun processus ou la commande dun systme
squentiel..
Dfinition d'un rseau de Ptri
(RdP)
Un rseau de Ptri est un moyen de:
modlisation du comportement des
systmes dynamiques vnements
discrets.
description des relations existantes
entre des conditions et des vnements.
Notion de base
Marquage
Chaque place contient un nombre entier
positif ou nul de marques ou jetons
Le marquage M dfinit ltat du systme
dcrit par le rseau un instant donn,
cest un vecteur colonne de dimension
le nombre de places dans le rseau, le
Ime lment du vecteur correspond au
nombre de jetons contenus dans la
place Pi
Le Graphe de Marquages
Onutilise le graphe de marquages
quand le nombre de marquages
accessibles est fini.
Rseaux de Petri temporiss
Un rseau de petri temporis permet de dcrire un
systme dont le fonctionnement dpend du temps.
Par exemple, il peut scouler une certaine dure
entre le dbut dune opration et la fin de cette
opration. Si une marque dans une certaine place
indique que cette opration est en cours, un rdp
temporis permettra de rendre compte de cette
dure. Les rdp temporiss sont utiles pour
lvaluation des performances dun systme .il y a
principalement deux faons de modliser la
temporisation: soit les temporisation sont
associes aux places, soit les temporisation sont
associes aux transition
Rdp P-temporiss
A chaque place Pi est associe une temporisation
Di , ventuellement nulle nous considrons le cas
ou Di est une valeur constante , mais dans un cas
gnral Di pourrait tre variable .
Un rdp p-temporis et un doublet <R, Tempo> tel
que
R est un rdp marqu;
Tempo est une application de lensemble P des
places dans lensemble des nombres rationnels
positifs ou nuls. Tempo(Pi)=Di=temporisation
associe la place Pi
Principe du fonctionnement
Lorsquune marque est dpose dans la place Pi,
cette marque doit rester dans cette place au
moins pendant un temps Di. On dit que la marque
est indisponible pendant cette dure
Quand le temps di est coul alors la marque
devient disponible. Ceci est illustr sur la figure
(1).
Lorsque la transition Ti est franchie une marque
est dpose dans la place Pi et reste indisponible
pendant un temps Di.
Quand elle sera franchie, une marque
indisponible sera dpose dans P2
Figure (1)
Fonctionnement dun Rdp p-temporis

A linstant initial, le marquage M0 est


constitu de marques disponibles. A un
instant t quelconque, le marquage prsent,
M, est la somme de deux marquages Md et
Mi, tels que Md est le marquage constitu
des marques disponibles et Mi est le
marquage constitu des marques
indisponibles. Une transition est valide
pour le marquage M=Md + Mi si elle est
valide pour le marquage Md
Le franchissement dun transition seffectue
comme dans un Rdp non-temporis, en ne
retirant des places dentre que des marques
disponibles. Ce franchissement a une dure nulle,
Si une marque est dpose dans une place Pi lors
dun franchissement effectu linstant t, alors
cette marque est indisponible dans lintervalle] t,
t + di [
Figure(2)
RdP T-temporiss
Certains auteurs, par exemple C. Ramchandani,
utilisent des RdP dont les temporisations sont
associes aux transitions. On peut montrer que
les Rdp P-temporiss et les Rdp T-temporis
sont quivalent. On peut passer dun modle
lautre. En consquence. Nous nous attacherons
essentiellement bien comprendre la
signification du modle, sans dtailler ltude
des proprits.
Dfinition
un RdP T-temporis est un doublet <R,
Tempo> tel que:
R est un RdP marqu
Tempo est une application de
lensemble T des transitions dans
lensemble des nombres rationnels
positifs ou nuls. Tempo(Tj)=dj=
temporisation associe la transition Tj.
Figure (4)
Principe de fonctionnement:
Une marque peut avoir deux tats: elle peut tre
rserve pour le franchissement dune transition, Tj
ou elle peut tre non rserv. Cesi est illustr sur
la figure 4. Lorsque la transition Tj est franchie,
une marque est dpose dans la place p1, ce qui
entraine la validation de la transition T2. On pourra
donc dcider le franchissement de T2 nimporte
quand partir de ce moment-l. A linstant o le
franchissement est dcid, la marque ncessaire a
ce franchissement est rserve. Lorsque la dure d2
est coule depuis la dcision de franchissement est
alors retirer de p1 et une marque non rserve est
dpose dans p2, etc.
A tout instant t, le marquage prsent, M,
est la somme des deux marquages Mr
et Mn, tel que Mr est le marquage
constitu des marques rserve et Mn
est le marquage constitu des marques
non rserve, Une transition est valide
pour le marquage M= Mr+ Mn si elle est
valide pour le marquage Mn.
Conclusion
Le fonctionnement dun rseau de petri
temporis dpend du temps.
Il est modlis en deux faons P-temporis
et T-temporis
Le but de ces modlisation est de rendre le
system Ordonnanable
Merci pour votre attention