Partie B : Réseaux de Petri
RdP Stochastiques
• RdP stochastiques de base
• RdP stochastiques généralisés
Modèle de base:
Un RdP stochastique est un RdP temporisé dans lequel
les durées associées aux transitions ont des valeurs
stochastiques.
P1 P1
T1 d1 t.q. Pr[d1t] = 1 – e-mt T1 m
P2 P2
La Variable Aléatoire d1 suit une loi exponentielle de taux m :
Pr[d1 t+dt / d1 > t] = m dt
Densité de probabilité : h(t) = m e-mt
Fonction de répartition : H(t) = Pr[d1t] = 1 – e-mt
Valeur moyenne (durée moyenne): 1/m
Variance : 1/m2
1
Partie B : Réseaux de Petri
Définition :
Un RdP stochastique est une paire (R, Rate) t.q. :
- R est un RdP marqué.
- Rate est une fonction de T vers l’ensemble des
réels positifs. Rate(Tj) = mj = taux de
franchissement associé à Tj.
Une caractéristique fondamentale de la loi exponentielle
est sa propriété sans mémoire :
Pr[d1 t0+t / d1 > t0] = Pr[d1 t ]
Interprétation : Savoir qu’une activité distribuée
exponentiellement a déjà eu lieu pendant un temps t0 ne va
pas affecter la distribution de la durée résiduelle.
Exemple : Si la durée de vie d’une machine est distribuée
exponentiellement, le temps qui reste avant la panne ne
dépend pas de la durée pendant laquelle la machine a
fonctionné.
2
Partie B : Réseaux de Petri
Propriété :
Si une transition Tj de taux de franchissement mj est q-
validée à l’instant t, alors :
Pr[Tj sera franchie entre t et t+dt] = q. mj . dt
indépendamment des instants auxquels les validations ont
eu lieu (simultanément ou pas)
q . mj = mj (m) est le taux de franchissement
associé à Tj pour le marquage m.
Le marquage m(t) d’un RdP stochastique est donc un
processus Markovien homogène, et par conséquent, une
chaîne de Markov homogène peut être associée à
chaque RdP stochastique.
3
Partie B : Réseaux de Petri
Exemple:
Système de production à 2 machines :
traitement par M1 (T1, m1 pour chaque serveur),
traitement par M2 (T2).
M1 : 2 serveurs (P3), pouvant tomber en panne (T3,
m3 ) et être réparés (T4, m4).
M2 : infinité de serveurs (en fait au moins 3) ne
tombant jamais en panne (m2 pour chacun)
pièces en attente ou en cours de service par M1 (P1)
P1
T3 m3
P3 P4
m1
T1
P2
T4 m4
T2 m0
m2
Graphe des marquages
Chaîne de Markov
4
Partie B : Réseaux de Petri
RdP stochastiques généralisés :
Transitions exponentiellement temporisées
+ transitions immédiates (taux de franchissement )
Voir exemple
