Les réseaux de Pétri

Synchronisés

∑ 2
1
4

Année universitaire: 2010/2011

 RdP non autonomes :
• Un RdP non autonome décrit le fonctionnement d'un
système dont l'évolution est conditionnée par des
événements externes.

• Exemples:

•RdPSSynchronisés
•RdPTP temporisés
•RdPStochastiques
……………………
RDP synchronisé
 Définitions:
• Synchroniser:
Rendre synchrone, coordonner plusieurs
actions, phénomènes, évènements...
• Un RdP est dit synchronisé lorsque des
événements (extérieurs) sont associés aux
transitions.
• Par exemple, il peut s'agir d'actions ayant lieu
à une date précise qui se trouve alors associée
au tir de la transition ainsi étiquetée
Définition:
On appelle Réseau de Petri Synchronisé le triplet
< R;E; Sync > ou
• R est un Réseau de Petri marqué ;
• E est un ensemble d’événements externes
• Sync : T -> E U {e} ou:
• T est l’ensemble des transitions de R;
• e est l’événement toujours occurrent (qui se produit
en permanence).
• Dans un RdP synchronisé, une transition
franchissable n’est pas forcément validée.
• La transition est franchissable quand la condition
sur les marquages est satisfaite
 Elle deviendra validée quand l’événement
externe associé à la transition se produit : elle est
alors immédiatement franchie.
• Si en fonction du marquage de ses places
d’entrée, plusieurs franchissements sont
possibles, un seul se produira effectivement, celui
dont l’événement associé se produit en premier.
 Applications:
1. exemple : Processus 1 Processus 2

.
 Applications:
1. exemple :

.
 Applications:
2. Exemple 2: Production/consommation

Consommation
Production
Merci pour votre attention!!!