Académique Documents
Professionnel Documents
Culture Documents
e1 e1 S1
e4
e3 e4
e1
S0 e2 e4
e3
S2
2. La réceptivité consiste à exprimer le fait qu’un automate dans un état donné peut très
bien n’être réceptif qu’à un sous ensemble des événements de l’automate . Cette
_
s3 |= EX p
s4 q s1 p
s3 |= EX p
s3 |= AX q
s2 s3 |= AX p
s3 p,q
s3 |= EG p
s3 |= EG p
s4 s1
p,q s3 s3 |= A(pUq)
p s3 |= E(pUq)
.. .
. . p s4 s1
.. .
. .. .
. .
.. .
Exercice 02 (07 pts)
.
1. Dites si chacun des réseaux suivants est un réseau de Petri sinon pourquoi ?
R1 R2 R3 R4 R5 R6 R7
Post T1 T2 Pré T1 T2
P1 0 0 P1 1 1
P2 1 1 P2 0 1
M0
2
0
Représenter graphiquement ce réseau marqué (R,M0).
Montrer que la séquence T1T1T2 n’est pas franchissable dans (R,M0).
Vérifier si chacune des places du réseau est bornée ou non ?
Corrigé type
Questions de cours (1x06 pts)
Voir cours
Exercice 01 (2 + 1 + 4 pts)
1. ={e1,e2,e3,e4} E={S0,S1,S2} e0=S0 état initial T=S2 état final
(S0,e1)={S1} (S0,e2)={S2} (S1,e1)={S1} (S1,e3)={S2} (S1,e4)={S1}
(S2,e3)={S2} (S2,e4)={S0,S2}
2. Oui la réceptivité est vérifiée ici car cet automate dans l’état S0 par exemple n’est
réceptif qu’à un sous ensemble des événements de l’automate {e1,e2}
{
2. Le graphe est :
P1 ..
T1 T2
P2
En traçant le graphe de marquage sAG(R,M0), on voit bien que cette ne peut être
franchissable car après T1T1 on a marquage de blocage (0,2).
M0=(2,0)
T1
(1,1)
T1 T2
(0,2) (0,1)
Toujours sur ce graphe de marquages on vérifie que P1 est bornée par 2 quelque
soit le marquage accessible et c’est la même chose pour P2. Le réseau est alors 2-
borné.