Ministerul Educaiei al Republicii Moldova

Universitatea Tehnic a Republicii Moldova

Calculatoare, Informatic i Microelectronic
Catedra Automatic i Tehnologii Informaionale

Raport
la Sisteme cu Elemente Discrete
la lucrare de laborator nr.2

tema: Arborele de acoperire. Graful de

acoperire. Ecuaia de stare. Proprieti.

A elaborat:

St.grupei AI-111Sainsus Mihail

A verificat:

Lect.sup:Cojuhari Irina

Chisinau, 2014

Scopul lucrrii: pentru reele Petri date de prezentat graful de acoperire, arbore de acoperire,
ecuaia de stare i de determinat proprietile.
Sarcina lucrrii: pentru reele Petri prezentate n figura 1 de prezentat graful
de acoperire, arbore de acoperire, ecuaia de stare i de determinat proprietile.

Fig.1. Reeaua Petri

ndeplinirea sarcinii lucrrii:
Graful de acoperire este prezentat n figura 2.

t1
t2

t3

t4

t5

t1

t1

Fig.2. Graful de acoperire.

n figura 3 este prezentat arborele de acoperire.

t1
t2

t3

t4

t5

t1

t1

t2

t3

Fig.3. Arborele de acoperire.

Ecuatia de stare este prezentat mai jos.
100000
100000
+
A = 000001
000010
011100
M0=100000

000001
000010
A = 001100
011000
100000

1 0 0 0 0 -1
1 0 0 0 -1 0
+
t
A=A - A = 0 0 -1 -1 0 1 A =
0 -1 -1 0 1 0
-1 1 1 1 0 0

1 1 0
00 0
0 0 -1
0 0 -1
0 -1 0
-1 0 1

0
-1
-1
0
1
0

-1
1
1
1
0
0

1
1 1 0 0 -1 0
0
0
0 0 0 -1 1
0
1
t
M1=M0+A *u1= 0 + 0 0 -1 -1 1 * 0 = 1
0
0 0 -1 0 1
0
1
0
0 -1 0 1 0 1
0
0 -1 0 1 0 0
Proprieti:
1. Toate marcajele sunt accesibile.
2. Reeaua dat Petri dat este ireversibil.
3. Reeaua dat Petri nu este mrginit
4. Viabilitatea reelei date este de 2gr. (L3).
Concluzie:
n urma efecturii lucrrii de laborator am sistematizat i am elaborat arborele de acoperire,
graful de acoperire, ecuaia de stare i proprietatile reelei Petri