Sarcina practică - Graful de acoperire, Matrice de stare

A efectuat: Turcanu Adrian

A verificat: Cojuhari Irina
 Graful de Acoperire.

M0=(1000)

t1
t3 t2 t3
M0=(0100) M0=(0011) M0=(0101) M0=(001w)

Ecuația de stare.
Matrice incidență A=A+ - A-
P -> T

P1. P2. P3. P4.

0 1 0 0 t3
A
[
1 0 0 0 ]
−¿= 0 0 1 0 ¿
t2
t1
T -> P

P1. P2. P3. P4.

0 0 1 1 t3
A
[
0 1 0 0 ]
+¿= 0 1 0 0 ¿
t2
t1

Matrice incidență A=A+ - A-

0 0 1 1 0 1 0 0 0 −1 1 1

[ ][
A= 0 1 0 0 − 0 0 1 0 = 0
0 1 0 0 1 0 0 0 −1 1 ][
1 −1 0
0 0 ]
Vectorul de control uk
0 t3
u 1= 0
1 [] t2
t1
Ecuatia de stare
Mk=Mk-1 +AT uk M1=M0+ AT uk

1 P1 0 0 −1

[]
M 0= 0
0
0
P2
P3
P4
[
AT = −1 1
1 −1 0
1 0
1

0
]
P1
1 0 0 −1 1 −1 0
T 0
M 1=M 0+ A ∗uk = +
0
0
[][
−1 1
1 −1 0
1 0
1

0
0

1
0
∗0= +
0
0
1
0
0
][][][ ][]
=1
0
0
P2
P3
P4

Proprietățile.

 Accesibilitatea.

 Mărginirea.
Rețeaua petri este W- mărgnită.
 Fiabilitatea.
Rețeaua este fiabilă
t1 –L1
t2 –L3
t3- L3