Curs Mssed

SIMONA IULIANA CARAMIHAI
JANETTA CULI
CLIN AUREL MUNTEANU
Modelarea i Analiza
Sistemelor Dinamice cu Evenimente Discrete
103 probleme
CUPRINS
Capitolul I. Conceptul de sistem cu evenimente discrete
Breviar...................................................................................................5
Problem rezolvat................................................................................7
Probleme propuse................................................................................11
Capitolul II. Limbaje formale i automate
Breviar.................................................................................................13
Probleme rezolvate..............................................................................26
Capitolul III. Reele Petri
Breviar.................................................................................................40
Probleme rezolvate..............................................................................50
Bibliografie...................................................................................................86
Conceptul de Sistem cu Evenimente Discrete
CAPITOLUL I
BREVIAR
Un sistem dinamic cu evenimente discrete (SDED) este un sistem
dinamic caracterizat printr-un spaiu discret al strilor i prin traiectorii de
stare continue pe poriuni. Modificrile de stare se numesc tranziii i survin
ca urmare a apariiei evenimentelor, n mod asincron.
Evenimentele au durat nul. n afar de cazul n care apar alte
specificaii, se consider c la un moment dat are loc un singur eveniment.
Un eveniment poate fi identificat ca :
aciune specific (ex: lansare operaie);
modificare necontrolabil n cadrul unui proces (ex: defectarea unei
resurse dintr-un motiv oarecare);
rezultatul satisfacerii simultane a mai multor condiii.
Evenimentele sunt de regul etichetate. Mulimea evenimentelor
legate de funcionarea unui proces oarecare determin astfel elementele unui
Modelarea i analiza SDED 103 probleme
alfabet (mulime finit de simboluri) astfel nct ele i pstreaz

semnificaia de fenomen calitativ dependent de specificul aplicaiei.
Astfel, din punct de vedere formal, un sistem cu evenimente discrete
se definete astfel:
Definiie: Un SED este un sistem care evolueaz genernd spontan
evenimente i poate fi definit ca un quadruplu:
G = (Q, , , q 0 )
unde:
Q = mulimea strilor sistemului;
= alfabetul evenimentelor pe care le poate genera sistemul;
q0 = starea iniial;
= funcia de tranziie de stare, definit astfel;
: Q .
Observaii
1. n funcie de dimensiunea lui Q, SED se mpart n sisteme cu
numr finit de stri i respectiv sisteme cu numr infinit de stri;
indiferent ns de dimensiune, Q este numrabil;
2. Funcia de tranziie nu este definit ntotdeauna pentru toate
perechile din (Q ), ceea ce nseamn c nu este obligatoriu ca
din fiecare stare a sistemului s poat fi generate toate
evenimentele din ;
3. Alfabetul are ntotdeauna un numr finit de evenimente.
n concluzie, modelarea unui proces real ca SED include, indiferent de
formalismul utilizat, urmtoarele etape:
1.
Definirea variabilelor de stare, respectiv a formatului elementelor

q Q; dac mulimea Q este finit, atunci se poate defini n
ntregime prin enumerare;
2.
Stabilirea strii iniiale q0 Q;
3.
Definirea tuturor evenimentelor din - ca aciuni care modific

valoarea a cel puin o variabil de stare;

4.
Definirea funciei de tranziie , ceea ce revine de fapt la

descrierea explicit a modelului.
n funcie de complexitatea procesului modelat, etapele 3 i 4 pot fi

completate simultan.
n funcie de modul n care trateaz timpul, modelele SED pot fi
mprite n urmtoarele categorii:
- modele autonome utilizate pentru analiza calitativ a funcionrii
sistemelor; n cazul acestor modele nu este luat n considerare
dect ordinea n care apar evenimentele i nu intervalul de timp
dintre apariia a dou evenimente succesive;
- modele temporizate utilizate att pentru analiza calitativ ct i,
mai ales pentru analiza performanelor sistemelor intervalul de
timp dintre apariiile a dou evenimente succesive este specificat n
mod determinist;
- modele stocastice sau probabilistice n care succesiunea
evenimentelor este dat prin intermediul unor distribuii de
probabilitate.
Problem rezolvat
1. S se modeleze ca SED procesul constnd dintr-un server i o coad
de ateptare. Capacitatea serverului este de un client la un moment
dat, iar capacitatea cozii este presupus a fi nelimitat. Atunci cnd un
client intr n sistem, el intr n coada de ateptare. De ndat ce
serverul este liber, el preia cte un client din coada de ateptare, n
ordinea sosirii acestora. Intrarea clienilor n sistem ca i durata
serviciului sunt aleatoare. Se presupune c durata de schimbare a
clientului servit n cazul n care coada este nevid este
nesemnificativ. Iniial, serverul este liber.
Rezolvare:
Procesul propus va fi modelat ca SED autonom, ntruct nu exista nici o
indicaie temporal.
1. Definirea Q: n mod evident, sistemul va avea un numr infinit de
stri, deoarece capacitatea cozii de ateptare nu este limitat. n
acest caz, se va defini structura strilor sistemului prin specificarea
variabilelor de stare, i anume: s starea serverului i l lungimea
cozii de ateptare.
ntruct serverul nu poate fi dect liber sau ocupat, se poate considera
ca s {0, 1}, astfel: s = 0 semnifica server liber, iar s = 1 server ocupat.
Q = {(s, l) s {0, 1}, l N }
2.Definirea
strii iniiale: q0 = (0, 0) server liber i coada de

ateptare vid.
3.Definirea
alfabetului de evenimente :
Alfabetul de evenimente va conine dou elemente, i anume:

e1 intrarea unui client n sistem;
e2 ieirea unui client din sistem.
4. Definirea funciei de tranziie:
( s, l +1)
( s +1, l )
(( s, l ), e1 ) =
daca s = 1
daca s = 0
respectiv intrarea unui client n sistem incrementeaz lungimea cozii, dac

la momentul intrrii serverul era ocupat sau trece serverul n starea de
ocupat, dac era liber
( s, l 1)
( s 1, l )
(( s, l ), e2 ) =
daca l 1
daca l = 0
respectiv ieirea unui client din sistem decrementeaz lungimea cozii, dac
aceasta era nevid sau elibereaz serverul, n caz contrar.
Modelul autonom poate fi modificat n vederea analizei performanelor
sistemului n cazul n care informaia despre proces este completat cu
informaii temporale.
Aceste informaii vor nsoi cele dou tipuri de evenimente stabilite

anterior, n maniera urmtoare: se presupun cunoscute duratele de timp
dintre dou sosiri succesive i de asemenea timpul de servire aferent fiecrui
client.
A1 = 0.4;
A6 = 0.6;
A2 = 1.2;
A7 = 0.2;
S1 = 2.0; S2 = 0.7;
0.6;
A3 = 0.5;
A8 = 1.4;
S3 = 0.2;
A4 = 0.7;
S4 = 1.1;
A5 = 0.2;
S5 = 3.7; S6 =
n conformitate cu datele de mai sus, evoluia numrului de clieni din coada

de ateptare este cea prezentat n figura urmtoare:
Q(t)
Sosiri
e2 = 1.6
e1 = 0.4
e3 = 2.1
e8 = 4.0
e7 = 3.8
e11 = 5.8
e10 = 5.6
e12 = 7.2
e6 = 3.3
Plecri
e4 = 2.4
e5 = 3.1
e9 = 4.9
e13 = 8.6 = T(6)
10
Ocuparea serverului este cea prezentat n figura de mai jos. Dup cum se
poate observa, serverul proceseaz clieni o durat de timp de 7,7 uniti de
timp din totalul de 8,6 uniti de timp. Aceasta reprezint o ocupare de
89,53%.
B(t)
1
0
Sosiri
e2 = 1.6
e1 = 0.4
e3 = 2.1
e8 = 4.0
e7 = 3.8
e11 = 5.8
e10 = 5.6
e12 = 7.2
e6 = 3.3
Plecri
e4 = 2.4
e5 = 3.1
e9 = 4.9
e13 = 8.6 = T(6)
11
Probleme propuse
2. Fie un sistem de calcul cu dou procesoare P1 i P2, care lucreaz n
paralel. Modul n care taskurile sosesc spre procesare poate fi descris
n raport cu momentul de timp discret al apariiei lor prin intermediul
unei funcii binare a(t) , t N, astfel: a(t)=1 dac la momentul t
sosete un task i a(t) = 0 n caz contrar. Se presupune c nu pot sosi
simultan dou sau mai multe task-uri.
Presupunem c pentru un interval de timp t = 0,1,..,10 funcia a(t) are
valorile {1,1,1,0,1,0,1,1,0,0,1}.
La sosirea unui task sistemul de calcul aplic urmtoarea regul de
alocare a acestuia: cele dou procesoare lucreaz alternativ, primul
fiind P1. Se presupune c dac un task este trimis la Pi, i=1,2 i acel
procesor este ocupat, atunci taskul va atepta ntr-o coad de
capacitate infinit. Durata de procesare a unui task la procesorul P1
alterneaz ntre 4 uniti de timp i o unitate de timp (ncepnd cu 4),
iar durata de procesare pe P2 este de 2 uniti de timp. Fie y(t) numrul
total de clieni care prsesc sistemul la momentul t, iar x1(t) , x2(t)
lungimile cozilor de ateptare la procesoarele P1 respectiv P2. Se cere:
a)
desenai o diagrama de timp t-0,1,..., 10 indicnd sosirile i

plecrile. Iniial x1(0) = x2(0) = y(0) =0;
b)
construii un tabel cu valorile x1(t), x2(t), i y(t) pentru toi

t = 0, 1, ,10;
c)
presupunem c se lucreaz n timp continuu. Sosirile au loc la

momentele 0,1; 0,7; 2,2; 5,2; 9,9. Duratele de procesare pe P1
alterneaz ntre 4,2 i 1,1 iar pe P2 este fixat la 2 uniti de timp. Fie
un model condus de evenimente cu setul de evenimente E = {a, d1,
d2}, unde a semnifica sosirea iar di plecarea de pe procesorul
Pi. Construii un tabel cu valorile x1(k), x2(k) , y(k), t(k) unde : x1(k),
x2(k) sunt lungimile cozilor de ateptare ; y(k) este numrul
cumulativ de plecri dup evenimentul k. (k = 1,2,), iar t(k)
momentul de timp la care apare evenimentul k. Dac dou
evenimente apar simultan presupunem c o plecare apare
ntotdeauna naintea unei sosiri. Comparai numrul de actualizri
n acest model cu un model n timp cu eantioane la 0,1 uniti de
timp.
12
3. Aceeai problem cu urmtoarele reguli de alocare a taskurilor (dac

dou evenimente apar simultan se consider c plecarea este prioritar
fa de sosire):
a) trimite taskul procesorului P1 ct timp lungimea cozii este cel mult
2, altfel trimite ctre procesorul P2.
b) trimite taskul ctre procesorul cu coada cea mai scurt. n caz de
egalitate trimite ctre procesorul P2.
4.
Un proces de fabricaie simplu este compus din dou maini M1 i M2

i un robot care descarc piesele prelucrate de pe M1 i le transport pe
M2. Nu exist stocuri la cele dou maini , deci dac o pies este
furnizat lui M1 n timp ce aceasta funcioneaz atunci piesa este
rejectat. Dac robotul transport piesa lui M2 n timp ce aceasta este
ocupat atunci el ateapt acolo pn cnd M2 se elibereaz. Se
consider c timpul de revenire a robotului de la maina M2 (dup ce a
depus piesa) n poziia iniiala este diferit de zero , deci M 1 poate fi
forat ocazional s pstreze piesa prelucrat (i s nu accepte altele)
pn cnd robotul devine disponibil. Fie x1 i x2 strile lui M1
respectiv M2, iar x3 starea robotului. Presupunem c timpii de
procesare pe M1 i M2 sunt: 0,5 pe M1 i 1,5 pe M2, iar timpii de
transport de la M1 la M2 de 0,2 sec iar de la M2 n poziia iniiala (M1)
de 0,1 sec. Presupunem c piesele sosesc la M1 dup urmtoarea
schem:
0,1
0,7
1,1
1,6
2,5 sec
a)
identificai toate valorile posibile pentru x1 , x2 i x3;
b)
definii un set minimal de evenimente E pentru acest sistem;
c)
pentru intervalul [0,0, 0,3] construii un tabel cu valorile lui x1(k),

x2(k), x3(k) i t(k) unde x1, x2, x3 sunt strile mainilor i robotului
dup al k-lea eveniment iar t(k) este momentul apariiei al
evenimentului k. Dac dou evenimente apar simultan considerm
c terminarea procesrii apare ntotdeauna naintea sosirii unei noi
piese;
d)
identificai toate strile pentru care M1 este forat s atepte pn

cnd braul robotului preia piesa finit (prelucrat) (de pe M1).
Limbaje Formale i Automate
13
CAPITOLUL II
BREVIAR
Definiii
Un alfabet este o mulime finit de simboluri.
Un cuvnt este o secven finit de simboluri ale aceluiai alfabet.
Un limbaj este o mulime de cuvinte cu simboluri ale aceluiai

alfabet.
Notaii:
Lungimea unui cuvnt, w reprezint numrul de simboluri care

compun cuvntul.
Cuvntul vid: (corespunde evenimentului nul sau, mai precis,

unui eveniment neobservabil).
Limbaj vid: (reprezint limbajul fr nici un cuvnt).
14
Evoluia oricrui SED poate fi reprezentat complet printr-o pereche de

limbaje (L, Lm) cu urmtoarele proprieti:
L i Lm sunt definite pe alfabetul de intrare;
L reprezint toate evoluiile posibile ale SED i se numete

limbaj generat;
Lm reprezint toate evoluiile dorite ale SED i se numete limbaj

marcat;
Lm L.
Operaii pe limbaje
Fie L, L1, L2, limbaje definite peste alfabetul . Cele mai utilizate
operaii pe limbaje sunt:
Reuniunea
L = L1 L2 ={ v| v L1 sau (i) v L2 }
Concatenarea
L = L1 L2 = {v | v = s t unde s L1 i t L2}
nchiderea iterativ (sau operatorul Kleene)

L = L*
L =
Li ,
Lk+1 = Lk L,
L0 = {}
i= 0
Observaie: Operaia de nchidere iterativ se poate extinde i la un

alfabet (considerat ca un limbaj cu cuvinte de lungime 1) : *
reprezint mulimea tuturor cuvintelor care pot fi formate cu
simbolurile lui .
nchiderea prefixat
pr (L) = L = {s * | t L a.. s w = t}
Intersecia
L = L1 L2 = {v | v L1 i v L2}
Proiecia lui L peste o submulime de evenimente ^
15
L ^= {s ^ | s L} cu
() ,
, daca ^
^ =
, altfel
() s , ,
( s ) , daca ^
s ^ =
s , altfel
Proprietate important: Limbajul generat de ctre un SED este

ntotdeauna egal cu nchiderea sa prefixata (L = pr(L)).
Definiie
Fie un alfabet; atunci o expresie regulat (ER) se definete astfel:
este o ER care modeleaz limbajul ce conine doar evenimentul

nul;
este o ER care modeleaz limbajul vid;
() a , a este o ER care modeleaz limbajul reprezentat de

{a}
dac a, b sunt ER, atunci (a b), (a + b), a*, b* sunt ER
Proprietate:
Dac este ER,
atunci : * = + *.
Definiie: Un automat finit determinist AFD se definete ca un quintuplu :

G = (Q, , q0 , , Qm)
unde:
Q = mulimea (finit) a strilor;
= alfabetul de evenimente,
q0 = starea iniial,
= funcia de tranziie ; : Q Q,
() q Q, a i w * sunt satisfcute urmtoarele relaii:
a)
(q, ) = q
b)
(q, wa) = ( (q, w), a) = q Q
16
Qm = mulimea strilor marcate.

Notaii:
stare;
starea iniial (unica !);
stare marcat;
a
tranziia sub evenimentul a.
Observaii :
1)
Dac Qm , atunci automatul se numete acceptor.
2)
Dou automate G1 si G2 sunt echivalente dac limbajele lor

generate i respectiv cele marcate, sunt egale:
G1 echivalent cu G2 L(G1) = L(G2) i Lm(G1) = Lm(G2)
Definiie : Un automat finit nedeterminist AFN se definete ca un quintuplu

G = (Q, , , q0, Qm)
unde singura diferen fa de AFD este dat de modul de definire al funciei
de tranziie, respectiv :
: Q 2Q cu 2Q - mulimea tuturor submulimilor lui Q.
i
(q, ) = q
(q, a) = {p| pQ}, ceea ce nseamn c, din starea q, prin
evenimentul a, se poate ajunge ntr-o mulime de stri (evoluia nu
este unic).
Un cuvnt de intrare w * este acceptat de un AFN dac mcar una dintre
evoluiile (q0, w) Qm.
17
Pentru orice AFN G se poate construi un AFD echivalent G, numit

observatorul lui G.
G = (Q, , , q0, QF),
Definiie : Un AFN cu tranziii (AFN- ) se definete ca un quintuplu
G:
G = (Q, { }, q0 , , Qm).
Diferena fa de clasele de automate prezentate anterior este dat de modul
de definire al lui .
Pentru a defini funcia de tranziie a AFN- se introduce noiunea de
nchidere a unei stri q a automatului G ( *G (q)) , astfel:
*G (q) = (q, *) ={q |q Q} - mulimea tuturor strilor n care

se ajunge pornind din q sub o secven de .
Atunci funcia de tranziie a unui AFN-
se definete astfel:
: Q ( { }) 2Q ;
(q, ) =
G* (q)
Pentru un cuvnt de intrare s ( { })* si ,
(q, s ) = G* [ ( (q, s ), )] =
q '
Ca i n cazul AFN, pentru orice AFN-

determinist.
*
G ( q")
q , s ) q '' ( q ', )
se poate construi un observator
Algoritmul de construcie a unui observator determinist Gobs pentru un

automat nedeterminist general Gnd
Considernd c automatul determinist este definit ca:
Gobs = (Qobs, ,
, q0,obs, Qm,obs)
obs
iar automatul nedeterminist ca:

Gnd = (Qnd, nd,
, q0,nd, Qm,nd),
nd
18
n care
daca avem un AFN
,
nd =
{}, daca avem un AFN -
i folosind (pentru a putea rezolva cu algoritmul construcia observatorului

att pentru AFN ct i pentru AFN- ) urmtoarea funcie:
UR: 2Qnd nd 2Qnd
Cu definiia:
x, daca G nd este AFN

UR(x) = *
G ( x), daca G nd este AFN -
algoritmul de construcie a observatorului pentru un automat nedeterminist
este urmtorul:
Pas 1
q0,obs = UR(q0,nd) i se introduce q0,obs n lista strilor neexplorate

(LSN).
Pas 2
Atta timp ct exist stri n LSN:
Pas 2.1
Extragere a unei stri q din LSN.
Pas 2.2
Includere a strii q n mulimea Qobs. Dac qndqobs a.

qndQm,nd atunci se adaug qobs n Qm,obs.
Pas 2.3
Pentru fiecare eveniment e
Pas 2.3.1
nd
Evaluare a strii qobs n care evolueaz qobs la apariia

evenimentului e:
obs(qobs, e)
= qobs=UR( nd (qobs, e))=
= UR( qnd
qobs
Pas 2.3.2
(qnd, e))
nd
Dac qobsQobs
Introducere a lui qobs n LSN.
Pas 2.4
ntoarcere la Pas 2.
Orice expresie regulat (ER) poate fi reprezentat printr-un AFN- , pe

baza definiiei ER i utiliznd urmtoarele operaii:
19
Fie r1 i r2 ER care pot fi exprimate prin AFN- , respectiv

M1 = (Q1, 1, q1, 1, {f1})
M2 = (Q2, 2 , q2, 2, {f2})
Atunci:
1. AFN- corespunztor reuniunii r = r1 + r2
q1
q0
q
M1
este
f1
f
f0
q2
q
M2
f2
f
Automatul M corespunztor lui r este

M = (Q1 Q2 {q0 , f0 }, 1 2 , , q0 , {f0} )
(q0 , ) = {q1 , q2 }
(q, a) =
(q, a)
dac
q Q1 \{ f1 }i a 1 { }
(q, a) = 2 (q, a)
dac
q Q2 \{f2 } i a 2 { }
(f1, ) = (f2, ) = {f0}

2. AFN-
corespunztor concatenrii r = r1 r2
q1
M1
f1
f
1
q2
q
2
M2
M= (Q1 Q2 , 1 2 , , q1 , {f2})
(q, a) =
este
f2
ff
20
(q , a) dac q Q1 \ {f1} si a 1 { }
20
(q, a) = 2 (q , a) dac qQ2 i a 2 { }

({f1}, ) = {q2}
3. AFN-
corespunztor operatorului Kleene r = r1*
este
M=(Q1 {q0 , f0} , 1 { } , , q0 , {f0})

(q0 , ) = {q1 , f0}
(q , a) =
(q, a)
pentru
q Q1 \ {f1} i a
(f1 , ) = {q1 , f0}
q0
q
q1
M1
f1
f
1
f0
f
0
Teorem: Dac L este un limbaj acceptat de un automat finit determinist,

atunci L poate fi scris ca expresie regulat.
Expresia Regulat a limbajului acceptat de ctre automat este o reuniune
R 1nk
a tuturor traiectoriilor care conduc de la starea iniial ctre o stare

toate
q k Q m
marcat.
n
Observaie: Rij reprezint toate traiectoriile de la qi la qj fr s treac
printr-o stare cu un numr mai mare dect n.
Definiii:
R ijk = R ikk 1 ( R kkk1 ) * R kkj1 R ijk 1
21
d a ci aj
{ |a (i ,qa =) q j }
R =
{ a+ | (i ,qa =) q j { } d ai =c ja
0
ij
Definiie: Fie dou Automate Finite (Deterministe)

G1 =( Q1 , 1 , 1 ,
, q01 ,Qm1)
G2 =( Q2 , 2 , 2 ,
, q02 ,Qm2)
Se numete compunere sincron a automatelor G1 i G2 notat G1 || G2 un

automat G care are strile G =(Q , , , q0, Qm) astfel:
Q = Q1 Q2
= 1
q0 = (q01 , q02)
Qm = Qm1 Qm2
Definirea funciei de transfer :
() q = (q1 , q2) Q i
(
),
) ) dac
1 (q1 ,
2 (q2 ,
1
2 i
(q,
)=
) i
)
1 (q1 ,
2 (q2 ,
(
) , q2 )
1 (q1 ,
dac
1\
2 i
1 (q1 ,
( q1 ,
))
2 (q2 ,
dac
2\
1 i
2 (q2 ,
Nu se definete pentru orice caz care nu corespunde celor definite mai sus
n acest caz, limbajul generat de automatul rezultat i limbajul marcat al

automatului rezultat au urmtoarele definiii:
1) Lm (G1 || G2) = { s * / s
(G2) }
2) L (G1 || G2) = { s * / s
L (G1)
Observaie: Dac 1 =
L(G1 || G2) = L(G1)L (G2).
Lm (G1)
Lm
i s 2 L (G2) }
atunci Lm(G1 || G2) = Lm (G1) Lm(G2) i
22
Automatele studiate pn acum pot fi considerate ca maini de stare cu ieiri

binare: fa de un cuvnt de intrare dat w se poate specifica numai dac
acesta este sau nu acceptat (respectiv daca (q0, w)Qm). n anumite
situaii este de dorit s se diferenieze strile marcate, respectiv nemarcate,
ntre ele. Pentru aceasta se folosesc aa-numitele maini de stare cu ieiri :
Moore i Mealy.
Definiie: O main Moore se poate defini ca un sextuplu
M = (Q , , , , , q0)
unde:
Q = mulimea (finit) a strilor
= alfabetul de evenimente (finit i el)
q0 = starea iniial
= funcia de tranziie : Q Q
= alfabetul ieirilor
= funcia de alocare a ieirilor : Q
Conform definiiei, orice main Moore d un rspuns (q0) asociat unei
intrri nule ( ).
Exemplu:
S se proiecteze maina Moore care calculeaz restul modulo 3 pentru un ir
binar de intrare (care are semnificaia unui numr ntreg n format binar)
Evident, exista doar trei ieiri posibile: = {0, 1, 2}, ceea ce nseamn c
numrul maxim de stri este tot trei.
Pentru intrarea nul (echivalent cu numrul 0), ieirea generat trebuie s
fie 0. Rezult, prin definiie, c (q0) = 0.
n continuare, se folosete urmtorul raionament: dac un ir de intrare
binar w corespunde numrului natural n, atunci w0 i corespunde lui 2n i
w1 lui (2n+1).
Rezult urmtoarea structura pentru maina Moore dorit:
23
0
2
1
q1
q0
q2
0
1
Definiie: O main Mealy poate fi definit ca un sextuplu

Me = (Q, , , , , q0)
unde :
Q = mulimea (finit) a strilor;
= alfabetul de evenimente (finit i el);
= alfabetul ieirilor;
q0 = starea iniial;
= funcia de tranziie cu definiia :Q Q;
= funcia de alocare a ieirilor :Q .

Conform definiiei, pentru o intrare nul ( ) o main Mealy genereaz o
ieire nul ( ).
Din punctul de vedere al puterii de modelare, mainile Moore i Mealy sunt
echivalente; din punctul de vedere al lungimii cuvntului de ieire, maina
Mealy va da un rspuns de lungime cu 1 mai mic dect maina Moore
pentru aceeai lungime a cuvntului de intrare.
Minimizarea automatelor :
Fie x, y L. Atunci RL este o relaie de echivalen asociata limbajului L
(sau x RL y) dac i numai dac pentru () z *,
1.
fie xz L i yz L
2.
fie xz L i yz L.
24
Relaia RL mparte limbajul L n clase de echivalen. Numrul de clase de

echivalen se numete index.
Se poate demonstra c indexul unui limbaj regulat este finit.
Fie M= (Q, , , q0, Qm) un AFD. Se definete relaia de echivalen RM
asociata automatului M astfel:
pentru x , y *, x RM y dac i numai dac (q0, x) = (q0, y).
n plus, dac x RM y, pentru () z * avem xz RM yz. (Ceea ce revine la
(q0 , xz) = ( (q0 , x), z) = ( (q0 , y), z) = (q0 ,yz))
O relaie de echivalen de acest tip se numete invariant la dreapta (fa
de operaia de concatenare).
Teorem (criteriul Myhill-Nerode): Urmtoarele afirmaii sunt echivalente:
1.
Limbajul L * este acceptat de un automat finit;
2.
L este reuniunea unor clase de echivalen determinate de o relaie

de echivalen invariant la dreapta cu index finit;
3. Fie relaia de echivalen definit pe limbajul L astfel:

() x, y L , x RL y dac i numai dac () z * , xz L numai n
cazul n care i yz L .
Ca o consecin a teoremei de mai sus, o stare p este echivalent cu o stare
q a automatului M dac i numai dac pentru orice ir de intrare x, (p, x)
este stare marcat numai atunci cnd (q, x) este o stare marcat.
Algoritmul de minimizare a unui automat
Start
Pas 1:
pentru fiecare p Qm i q Q \ Qm bifeaz n tabel locaia

corespunztoare (strile marcate nu sunt echivalente din punct de
vedere al obiectivului cu cele nemarcate);
Pas 2: pentru fiecare pereche de stri distincte (p, q) Qm Qm sau
(p, q) (Q/Qm) (Q/Qm)
Pas 2.1
dac () a , ( (p, a), (q, a)) este bifat n tabel:
atunci
1) bifeaz (p, q);
25
bifeaz succesiv toate perechile din lista de echivalene a

perechii (p,q).
altfel
pentru toi a
introducere a perechii (p, q) n lista de echivalene a
perechii ( (p,a), (q,a)) n afara cazului n care
(p,a) = (q, a).
2)
Stop
Algoritmul de minimizare a automatelor a fost elaborat pe baza criteriului
Myhill Nerode. Acest algoritm urmrete gsirea perechilor de stri care
sunt echivalente (au aceeai evoluie). Acest lucru se realizeaz prin
eliminarea strilor care nu sunt echivalente. Algoritmul verific toate
perechile distincte de stri.
Fie automatul G = (Q, , , q0, Qm). Se construiete un tabel care s
conin toate perechile de stri distincte. Din matricea care are pe linii i pe
coloane toate strile se pstreaz doar elementele de sub diagonala
principal a matricei.
n acest fel, toate perechile (p, q) rmase nemarcate reprezint dou cte
dou stri echivalente.
26
Probleme rezolvate
5. S se proiecteze un AFD peste alfabetul = {a, b}care accept
cuvintele care nu conin 3a consecutiv.
Rezolvare.
Automatul obinut este cel din figura 2.1.
b
q0
q1
q3
q2
a,b
b
b
Figura 2.1
6.
S se proiecteze AFD peste alfabetul = {a, b}care accept irurile

a, bb i aba.
Rezolvare.
AFD cerut este ilustrat n figura 2.2.
a
b
q10
q02
q5
q20
a,b
a
Figura 2.2
q30
a,b
q40
27
Probleme propuse
7. S se proiecteze un AFD peste alfabetul = {a, b}care accept
cuvintele ce conin minim 3a i nu se termina cu b.
8. S se proiecteze automatul determinist peste alfabetul = {a, b} care
accept cuvintele n care perechea aa este urmat de subirul bab.
9. Care este AFD care peste alfabetul = {a, b} accept irurile cu
numr par de a i nu conin subirul bb?
10. S se proiecteze AFD care accept peste alfabetul = {a, b, c}
cuvinte cu numr par de a, par de b i impar de c.
11. S se proiecteze AFD care accept peste alfabetul = {a, b, c}
cuvinte care conin minim 2 c (nu neaprat consecutivi) i nu conin
secvena aca.
12. S se construiasc peste = {a, b} un AFD care accept irurile ce
conin cel puin 2 a i nu conin subirul bb.
13. S se proiecteze un AFD care accept toate irurile peste alfabetul
={a, b} care conin cel puin 3 a i cel mult 2 b.
14. S se proiecteze AFD care peste alfabetul = {a, b}accept
cuvintele ce conin subirul aba i nu conin subirul bb,.
15. S se construiasc AFD peste alfabetul = {1, 2, 3} care accept
cuvintele n care suma ultimelor dou simboluri este 4.
16. S se construiasc un AFD peste alfabetul = {a, b} care accept
cuvinte ce conin numr par de a i nu conin subirul abb .
17. S se proiecteze AFD peste alfabetul = {1, 2, 3}, care accept toate
cuvintele care se termin cu subirul 123.
18. Care este automatul care peste alfabetul = {a, b, c} recunoate
cuvintele ce conin numr par de a i numr impar de c?
28
19. Care este automatul care peste alfabetul = {a, b} recunoate

cuvintele ce conin numr impar de b i care nu conin subirul
bba?
20. Fie un lact electronic prevzut cu dou butoane etichetate cu a i
respectiv b. Lactul se deschide dac se apas pe butoane n
combinaia aba. Din poziia deschis el poate fi nchis numai prin
apsarea butonului b. S se modeleze funcionarea lactului printrun automat finit determinist.
21. S se construiasc AFD care accept setul tuturor irurilor din
alfabetul = {0, 1} cu numr egal de 0 i 1 astfel nct fiecare prefix
are cel mult nc un 0 n plus fata de numrul de 1 i nc cel mult un
1 n plus fa de numrul de zerouri.
22.
S se construiasc AFD aferent unui sistem de parolare peste alfabetul

= {a, b, c, d} care funcioneaz dup urmtoarele reguli:
parola are trei caractere dintre care dou trebuie sa fie identice dar
neconsecutive;
caracterul d nu trebuie s fac parte din parol dac da, atunci se

ajunge ntr-o stare de blocaj;
parola corecta conduce ntr-o stare marcata n automat.

23. Ce iruri accepta automatele:
b
a)
a,b
b
b
b)
a
?
a
29
24. Construii automatul echivalent cu :

b
q0
2
q1
a,b
q3
a
q2
a,b
25. S se gseasc AFD corespunztor AFN-ului :

a,b
q1
q2
a,b
a
q3
a,b
b
q4
26. Se d automatul G definit astfel : G = {{p, q, r, s,}, {0,1}, , p,

{q,s}}, unde este definit prin tabelul de mai jos. Se cere AFD
echivalent.
0
q,s
q, r
30
27. S se calculeze observatorul pentru automatul de mai jos:

q0
2
q1
b
a
q3
q2
28. S se construiasc AFD echivalent pentru urmtorul AFN- .

q1
q0
q2
b
a
q3
, b
q4
29. S se proiecteze AFD echivalent cu urmtorul automat AFN- :
q0
a,b
b
31
q1
q2
q4
a
q3
q5
30. S se construiasc AFN - pentru expresia regulata :

(ab)* + (a + bab)*
31. S se construiasc automatul AFD care marcheaz limbajul definit de
expresia regulata :
(a + g)(ba)* + a(ba)*a*, ={a, b, g}
32. S se construiasc automatul AFD care recunoate cuvintele ce
descriu limbajul
a(ba)*a*
33. Se cere AFD corespunztor expresiei regulate peste alfabetul
= {0,1}:
01 + (0+11)0*1
34. S se gseasc expresia regulata pentru automatul :
a
q0
a
b
q1
35. S se determine expresia regulat pentru AFD din figura:
32

a
q0
q1
q2
a
a
36. S se calculeze expresia regulat acceptat de automatul:

q2
q1
q0
a
b
b
37. Care este expresia regulat pentru automatul de mai jos ?

b
a,b
b
a
q0
q2
q1
38. Fie automatul de mai jos. Care este expresia regulat care descrie
limbajul acceptat de acest automat?
b
a
q0
a
q2
a,b
q3
39. S se determine expresia regulat pentru automatul :
33
A
0
1
0
40. S se gseasc ER pentru automatul de mai jos:

0
1
q0
q1
1
0
q3
0
41. S se gseasc ER pentru automatul de mai jos:

1
0
q0
1
1
q1
q2
q3
42. Construii modelele lui M1, M2 i robotului din problema 1.3.

Alegei strile cu semnificaie fizic pentru componentele
sistemului i un set de evenimente care s captureze
34
comportamentul componentelor individuale ct i al ntregului

sistem.
43. Un procesor este precedat de o coada de capacitate 1 astfel ca
ntregul sistem format din procesor i coada are capacitatea total
de 2 job-uri. Exista dou tipuri diferite de job-uri J1 i J2 care fac
cerere ctre procesor, J1 fiind mai prioritar dect J2. De aceea,
dac la sosirea job-ului J1 el gsete procesorul ocupat cu job-ul J2
atunci l nltur. Job-ul J2 se rentoarce n coada iar job-ul J1
primete serviciul. Orice job nou sosit care gsete sistemul plin
este rejectat i pierdut. Construii un automat care s descrie
funcionarea acestui sistem.
44. Fie dou procesoare P1 i P2 care opereaz n paralel. Capacitatea
total a lui P1 (coada plus procesor) este k1=1 iar capacitatea totala
a lui P2 este k2=2. Sistemul primete dou tipuri de job-uri j1 i j2
care trebuie procesate pe procesorul P1 respectiv pe procesorul P2.
Dup procesare job-urile prsesc sistemul. Daca un job gsete
coada plin la sosire atunci el este rejectat. Construii AFD-ul
sistemului.
45. Un sistem de fabricaie simplu conine dou maini M1 i M2 i un
buffer B poziionat ntre maini. Intrarea pieselor pe maina M1 este
nelimitat. Cnd o pies este procesat pe maina M1 este plasat n
bufferul B care are capacitatea de o pies. Piesa este apoi procesat pe
maina M2. Fiecare main are posibilitatea de a se defecta. Iniial
mainile sunt libere. Comportamentul ntregului sistem trebuie s
satisfac urmtoarele cerine:
M1 poate ncepe procesarea doar dac bufferul B este gol;
M2 poate ncepe procesarea doar dac bufferul B este plin;
M1 nu poate ncepe procesarea daca M2 este defect;
Dac ambele maini sunt defecte atunci M2 trebuie reparat prima.
Construii automatul care descrie comportamentul admisibil al

sistemului.
46. Se consider un procesor care mparte un job n dou taskuri. Primul
se executa taskul 1, dup aceea taskul 2 moment n care jobul
35
prsete sistemul (la sfritul taskului 1). Se presupune c sistemul

are capacitatea de trei joburi. Procesorul trebuie s termine ambele
taskuri ale unui job nainte s nceap procesarea urmtorului job.
Exist un mecanism de time-out pentru fiecare job, care opereaz
astfel: cnd un job intra n sistem , taskului 1 i se acord o unitate de
timp pentru execuie; dac jobul st n sistem o unitate de timp i
taskul 1 al su nu s-a executat, atunci jobul este terminat forat i
urmtorul job din coada, dac exist va fi procesat. Se consider
sistemul iniial gol. Presupunem urmtoarea scar de timp pentru
sosirile joburilor (0; 0,2; 0,9; 1,6; 2) i pentru fiecare se d timpul de
execuie pentru fiecare task: I(0,8; 0,7); II(0,9; 0,7); III(0,3; 0,6);
IV(0,9; 0,5) i V(0,1; 1,2). Construii o diagram de timp incluznd
timpii de apariie a evenimentelor i tipul evenimentelor . Pe baza
acestei diagrame determinai care job se termin corect i care se
termin forat (time out). Construii o diagram de stri- tranziii.
47. Un sistem conine 3 servere ca n figura urmtoare. Clienii care intr
n sistem ajung mai nti n coada de la serverul 1 i dup ce sunt
procesai pe serverul 1 ei sunt rutai pe serverele 2 sau 3. Politica de
rutare este trimiterea clientului ntotdeauna ctre serverul cu coada cea
mai mic. n cazul n care cele dou cozi sunt egale , clientul este rutat
ctre serverul 2. Dup procesarea pe serverul 2 sau 3 clienii prsesc
sistemul. Un client care sosete din exterior este acceptat n sistem
att timp ct numrul total de clieni din sistem este maxim 2, altfel
clienii sunt rejectai. S se construiasc automatul care descrie
funcionarea sistemului.
2
1
3
48.
O celula de fabricaie este alctuit din dou maini M1 i M2 i un

AGV. Automatele celor trei componente sunt :
36

M1
readyat1
loadat1
M2
giveto2
loadat2
AGV
1
giveto2
loadat1
loadat2
giveout
a) S se construiasc G = M1|| M2 ||AGV

b) Este G blocant?
49. Un sistem de fabricaie conine 2 maini M1 i M2 i un robot R care
preia o pies prelucrat de pe maina M1 i o depune pe maina M2.
Nu exista nici un buffer pentru cele dou maini. Dac o pies este
furnizat lui M1 n timp ce aceasta este ocupat atunci piesa este
rejectat. Dac robotul transport piesa ctre M2 n timp ce aceasta
este ocupat el ateapt pn cnd M2 o poate accepta. Dup ce
robotul a depus piesa pe M2 el revine n poziia iniial, de unde poate
lua o noua piesa de pe M1.
S se construiasc AFD care descrie funcionarea procesului.
50. Fie un tronson de cale ferat care arat ca n figur. Fie alfabetul
={i1,s1, i2, s2, i3, s3} unde ik reprezint intrarea unui tren pe
tronsonul de cale ferat k, iar sk = ieirea trenului de pe tronsonul k. Se
37
noteaz cu qi variabila de stare asociat trenului i care reprezint

prezena trenului pe acel tronson. Astfel dac qi = 1 atunci trenul se
afl pe tronson, altfel qi = 0. Starea ntregului sistem este q=(q1, q2, q3).
S se construiasc maina Moore care modeleaz acest sistem i
genereaz n fiecare stare valoarea lui q. Care este limbajul L care nu
conduce n starea de blocaj reprezentat pe figur?
s2
i3
i1
s1
i2
s3
51. Activitatea de obinere a vizelor la consulatul X este organizat dup

urmtoarele reguli: exist dou cozi , una pentru vize profesionale
(C1), cealalt pentru vize turistice (C2). Coada C1 este deservit de un
ghieu, iar coada C2 de ctre trei ghiee. n cldirea consulatului se
intr astfel: grupuri de cte 4 persoane pentru coada C1 i grupuri de
cte 12 persoane pentru coada C2. Un grup intr n momentul n care
toi cei din grupul anterior au intrat la ghieu. Dac numai exist
solicitani pentru coada C1 atunci ghieul de la coada C1 deservete
coada C2. S se construiasc automatul sistemului.
52. Fie o barier cu plat care utilizeaz monede m. Exist doi senzori a i
b, a pentru sesizarea prezenei unui vehicul cu 2 roi, iar b pentru
sesizarea prezenei unui vehicul cu 4 roi. Pentru un vehicul cu 2 roi
este necesar o moned pentru ca bariera s se ridice iar pentru
vehiculul cu 4 roi sunt necesare dou monezi. S se modeleze ca
AFD funcionarea sistemului.
m
a
38
53. Fie dou maini cu dou stri posibile: liber i ocupat i setul de
evenimente = {s1, f1, s2, f2}, unde si reprezint aciunea de start
funcionare pentru maina i, iar fi semnific aciunea de sfrit
funcionare pentru maina i. Pentru fiecare main Mi, trecerea din
starea liber n starea ocupat se face n concordan cu apariia
evenimentului si, iar trecerea din starea ocupat n starea liber se face la
apariia evenimentului fi.
a) S se construiasc automatele ce descriu funcionarea mainilor i
automatul ce descrie funcionarea ntregului sistem.
b) Se introduce o specificaie de funcionare: ntre cele dou maini
exist un buffer X de capacitate 1 , care poate avea dou stri: x0
buffer gol i x1- buffer plin. Se cere automatul care descrie
funcionarea stocului precizndu-se evenimentele interzise i cele
acceptate de fiecare stare.
M1
54.
M2
Doi filosofi stau la o mas pe care se gsesc dou farfurii, fiecare n

faa cte unui filosof i dou furculie situate de o parte i de alta a
filosofilor. Comportamentul fiecrui filosof este urmtorul: fiecare
filosof poate gndi sau poate mnca. Pentru a trece din starea
gndete n starea mnnc filosoful trebuie s ridice ambele
furculie de pe mas, pe rnd, n orice ordine. Dup ce filosoful
termina de mncat, el depune ambele furculie pe mas i revine n
starea gndete. Alegnd un set de evenimente ct mai
reprezentativ, construii att automatele aferente entitilor sistemului
ct i automatul care descrie funcionarea ntregului sistem.
55. S se minimizeze automatul
39
a
b
a
56. S se minimizeze automatul :

1
q0
q1
1
1
q3
q4
2
3
1
2
2,3
q2
2,3
2,3
57. Dou procesoare partajeaz o memorie comun. Partajarea este

exclusiv. Fiecare procesor este liber pn cnd trebuie s execute un
task, dup care trece n starea de cerere acces memorie. Atunci cnd
memoria este liber, procesorul o aloc, execut taskul i apoi o
elibereaz. n acest moment procesorul devine liber. S se
construiasc automatele care descriu funcionarea subsistemelor
componente i automatul corespunztor funcionrii ntregului sistem.
40
CAPITOLUL III
Reele Petri
BREVIAR
Definiie: Reelele Petri (RP) sunt grafuri orientate cu dou tipuri de
noduri: poziii i tranziii. Formal, o RP ordinar i autonom poate fi
definit printr-un cvintuplu:
RP = ( P, T, I , O, M0 )
unde:
P este mulimea poziiilor, simbolizate prin cercuri; poziiile
modeleaz variabile de stare sau condiii;
T este mulimea tranziiilor, simbolizate prin bare
dreptunghiuri; tranziiile modeleaz evenimente sau aciuni.
Mulimile P i T sunt disjuncte
I: PxT { 0,1}
sau
P T =
reprezint arcele care duc de la poziii la tranziii i

se mai numete i funcie de intrare sau IN;
Reele Petri
41
O: PxT { 0,1}
reprezint arcele care duc de la tranziii la poziii

i se mai numete i funcie de ieire sau OUT.
ntr-o RP, ntotdeauna un arc unete dou noduri de tipuri diferite (o

poziie si o tranziie).
M : P N este vectorul de marcaj, definit pe mulimea poziiilor

reelei, cu valori n mulimea numerelor naturale; un element m(Pi) al
vectorului indic numrul de jetoane de marcaj din poziia Pi a reelei la un
moment dat.
Dac se consider poziiile reelei ca variabile de stare ale sistemului
astfel modelat, atunci marcajul (vectorul de marcaj) reprezint starea
sistemului.
M0 este marcajul iniial la lansarea sistemului (starea iniial).
Starea unei RP se modific prin execuia tranziiilor.

Reguli pentru execuia tranziiilor:
1.O
tranziie se execut numai dac este valid. O tranziie Tj este

valid numai dac toate poziiile sale de intrare (adic toate
poziiile Pi pentru care I(Pi,Tj)=1) sunt marcate (m(Pi)1).
2. ntr-o RP ordinar autonom se execut o singur tranziie la un

moment dat (indiferent cte tranziii sunt valide). Aceast regul
are la baz dou ipoteze:
a.
Dou evenimente independente nu pot s aib loc simultan,
b.
Fiecare tranziie reprezint un eveniment distinct.
3.Execuia
unei tranziii Tj se face n doi pai:
a.
Din fiecare poziie de intrare a lui Tj se retrage cte un jeton

de marcaj,
b.
n fiecare poziie de ieire a lui Tj se pune un jeton de marcaj.
4. Execuia unei tranziii are durat nul.

Din punctul de vedere al nivelelor de reprezentare SED, exist
urmtoarele clase de RP:
- reele Petri autonome la nivel logic,
42
- reele Petri temporizate, sincronizate i interpretate la nivel

temporal (determinist),
- reele Petri stochastice la nivel stochastic.
n afar de aceste clase distincte, a cror putere de modelare este
diferit n funcie de modul de integrare al timpului n model, exist o serie
de extensii ale modelelor RP, extensii care se pot aplica fiecrei clase, fr a
le modifica nici proprietile i nici puterea de modelare. Rolul extensiilor
este de a realiza modele mai compacte.
Dintre acestea, cele mai cunoscute sunt:
RP generalizate: se asociaz ponderi (numere naturale) arcelor. n

mod implicit ponderea unui arc este 1. Se mai numesc i RP cu arce
ponderate.
I: PxT N i O: PxT N
Pentru aceast clas de reele regulile de execuie a tranziiilor
se modific astfel:
- dac arcul Pi Tj are ponderea q , Tj este valid dac Pi conine
cel puin q jetoane.
- prin executarea lui Tj se retrag q jetoane din Pi ;
- dac arcul Tj Pk are ponderea m, prin executarea lui Tj se
adaug m jetoane n poziia Pk.
RP cu capaciti: se asociaz capaciti (numere naturale)

poziiilor. n mod implicit, capacitatea unei poziii este infinit.
Regulile de execuie ale tranziiilor se modific astfel: o tranziie
este executabil dac i numai dac prin execuia ei nu se depete
capacitatea vreuneia dintre poziiile sale de ieire.
Tranziii speciale:
tranziie surs este o tranziie care nu are nici o poziie de intrare. O

astfel de tranziie este n permanen valid;
tranziie capcan (trap) este o tranziie care nu are nici o poziie de

ieire.
Notaii:
M = mulimea marcajelor accesibile plecnd de la marcajul M;
Reele Petri
43
S = secven de execuie = succesiune de tranziii ce se pot executa n

aceast ordine;
M0(S M2: executarea secvenei S pornind de la marcajul M0 conduce la

marcajul M2.
Marcaj superior: M1 M2 m1 (Pi ) m2 (Pi ), Pi ;
Marcaj strict superior: M1 > M2 M1 M2 i Pi a.. m1 (Pi ) > m2 (Pi ).

Proprietile reelelor Petri.
Proprietatea 1: Mrginire
1) O poziie Pi este mrginit pentru un marcaj iniial M0 dac
M*M0 , exista un numr natural m astfel nct, oricare ar fi
evoluia reelei, m(Pi)<m;
2) O RP este mrginit pentru un marcaj iniial M0 dac toate
poziiile sale sunt mrginite pentru marcajul iniial M0;
Se numete RP binar (sigur) pentru un marcaj iniial M0 o reea
mrginit n care marcajul nici unei poziii nu depete valoarea 1.
Proprietatea 2: Viabilitatea
1) O tranziie Tj este viabil pentru un marcaj iniial M0 dac
M*M0, exist o secven de tranziii S care pornete din M i
conine Tj; o tranziie Tj este cvasiviabil pentru un marcaj iniial
M0 dac exist cel puin o secven de tranziii S care pornete din
M0 i conine Tj ;
2) O RP este viabil pentru un marcaj iniial M0 dac toate tranziiile
sale sunt viabile pentru marcajul iniial M0; o RP este cvasiviabil
pentru un marcaj iniial M0 dac toate tranziiile sale sunt cel puin
cvasiviabile pentru marcajul iniial M0;
O RP se numete conform dac este binar i viabil .
Proprietatea 3: Blocaje
1) Un blocaj este un marcaj pentru care nici o tranziie nu mai este
valid.
2) O RP se zice fr blocaje pentru un marcaj iniial M0 dac
M*M0, M nu este un blocaj.
44
Proprietatea 4: Reiniializabilitate
1) O RP are o stare de primire Ma pentru un marcaj iniial M0 dac
pentru toate marcajele accesibile Mi*M0, exist o secvena de
tranziii S a.. Mi(S Ma.
2) O RP este reiniializabil pentru un marcaj iniial M0 dac M0 este
stare de primire.
Observaie: Mrginirea, viabilitatea, absena/prezena blocajelor,
reiniializabilitatea sunt proprieti care depind de marcajul iniial.
Proprietatea 5: Invariani i componente conservative
Fie o reea Petri R i P mulimea poziiilor sale. Spunem c avem un
invariant liniar al poziiilor (sau invariant de marcaj) dac exist o
submulime P = {P1, P2 ,..., Pr}, PP i un vector de ponderi Q = {q1 ,
q2 ,..., qr}, qi N* a..
q1 m(P1)+ q2 m(P2)+. . .+ qr m(Pr) = Const. , M*M0
Mulimea P se numete component conservativ. Reeaua R se
numete conservativ dac i numai dac toate poziiile reelei sunt incluse
ntr-o component conservativ.
O secven de tranziii S se numete repetitiv dac M 0 (S M0 .
Investigarea proprietilor reelelor Petri
Investigarea proprietilor Reelelor Petri (RP) se poate face fie folosind
algebra liniar, fie folosind arborele de acoperire sau graful de marcaje.
Investigarea proprietilor RP cu ajutorul algebrei liniare.
Notaii:
Tj = {PiP | I(pi, tj) > 0}
Tj = {PiP | O(pi, tj) > 0}
Pi = {TjT | O(pi, tj) > 0}
Pi = {TjT | I(pi, tj) > 0}
W- = [wij-] , wij- = I(pi, tj) matricea de inciden nainte
Reele Petri
45
W+ = [wij+] , wij+ = O(pi, tj) matricea de inciden napoi

W = W+ - W- = [wij] matricea de inciden (este independent de
marcaj)
Ecuaia fundamental :
Mk = Mi + W S,
pentru o secven de executii S a.. M i (S Mk , unde S este vectorul
caracteristic al secvenei S (vector de dimensiune m n care sj corespunde
num rului de validri ale tranziiei Tj n secvena S.
Investigarea proprietilor RP cu ajutorul grafului de marcaje sau al
arborelui de acoperire.
Algoritmul de construcie a arborelui de acoperire
Pas 1.
Plecnd de la marcajul iniial M0 se indic toate tranziiile valide i

marcajele succesive corespunztoare. Dac unul din aceste marcaje
este strict superior lui M0 , se pune pentru fiecare component
superioar componentei corespunztoare din M0 .
Pas 2.
Pentru fiecare nou marcaj Mi al arborelui se face fie Pas 2.1. fie
Pas 2.2.
Pas 2.1. Dac exist pe calea de la M0 la Mi (exclusiv Mi) un
marcaj Mj = Mi , atunci Mi nu are succesor.
Pas 2.2. Dac nu exist un marcaj Mj = Mi pe calea de la M0 la Mi
atunci se prelungete arborele adugndu-se toi succesorii
lui Mi . Pentru fiecare succesor Mk al lui Mi :
a)
o component a lui Mi rmne o component a

lui Mk ;
b)
dac exist un marcaj Mj pe calea de la M0 la Mk a.. Mk

> Mj , atunci se pune pentru fiecare component a
lui Mk superioar componentei corespunztoare din Mj .
Obs. Graful de acoperire (sau de marcaje accesibile) se obine din

arborele de acoperire, prin concatenarea marcajelor care se repet . Se obin
n acest fel bucle n graful de acoperire, care n arbore nu apreau.
46
Reele Petri sincronizate

1) O RP sincronizat este un triplet <R, E, Sinc> unde:
- R - este o RP marcat;
- E - este o mulime de evenimente externe;
- Sinc: T E{e}, T fiind mulimea tranziiilor din R iar e
evenimentul sigur (ntotdeauna adevrat).
2) O RP este total sincronizat dac Sinc: T E.
Executarea unei tranziii se face
- dac tranziia este valid;
- atunci cnd evenimentul asociat se produce.
Notaie: T(x,M) mulimea tranziiilor receptive la evenimentul x
E{e} pentru marcajul M.
Definiie: Sk se numete secven de simulare complet (SSC) n
raport cu evenimentul x, pentru marcajul M, dac:
- Sk este o secven de execuii din marcajul M, compus numai din
tranziii aparinnd lui T(x,M);
- toate tranziiile din T(x,M) apar cel mult odat n Sk ;
- toate secvenele Sh obinute permutnd tranziiile lui Sk sunt de
asemenea secvene de execuie plecnd de la M;
- nu exist secven de execuii de lungime mai mare care s conin
toate tranziiile lui Sk i care s ndeplineasc primele trei condiii.
Se numete execuie iterativ la apariia evenimentului extern ei o
secven compus din executarea unei SSC sub apariia lui ei, urmat
eventual de executarea tuturor SSC posibile sub apariia lui e. Dac pentru
un marcaj M nu este posibil execuia nici unei SSC sub e, atunci M este
numit marcaj stabil. n caz contrar, M se numete instabil.
Algoritmul de interpretare a unei RP sincronizate
pas1. Iniializri: 1) marcajul, 2) mulimea momentelor la care au loc
evenimentele externe 3) evenimentul curent x.
Fie x = e. Salt la pas3.
Reele Petri
47
pas2. Se consider primul moment t la care are loc un eveniment extern ei .

Fie x = ei .
pas3. Se determin mulimea de tranziii executabile sub apariia
evenimentului x. Dac aceast mulime este vid, se suprim t din
mulimea momentelor la care au loc evenimente externe. Salt la pas2.
pas4. Se efectueaz o SSC. Se face x = e. Salt la pas3.
Proprieti suplimentare ale reelelor Petri sincronizate.
O RP sincronizat este prompt dac pentru toate marcajele
accesibile stabile i pentru toate evenimentele ei, execuia iterativ sub
apariia evenimentului extern ei conine un numr finit de SSC.
Dac exist un numr natural k astfel nct numrul de SSC k,
atunci spunem c reeaua este k-prompt.
Proprietate: O RP sincronizat este prompt dac ndeplinete urmtoarele
condiii:
- toate tranziiile surs (fr nici o poziie n amonte) au asociate
evenimente externe;
- pentru toate ciclurile P1T1P2T2 ... PqTq a.. avem arcele Pi Ti, Ti Pi+1 si
Tq P1 exist cel puin o tranziie care s fie sincronizat pe un
eveniment extern.
Observaie: Proprietile RP autonome nu se conserv atunci cnd reeaua
este sincronizat.
Reele Petri temporizate
RP P-temporizate: se asociaz fiecrei poziii Pi o temporizare di. n
mod implicit, temporizarea asociata unei poziii este nul.
O RP P-temporizat este un dublet <R, Temp> unde:
- R este o RP marcat;
- Temp: P Q+, unde Q+ reprezint mulimea de numere raionale
pozitive a.. Temp(pi )= di .
48
Se consider ca un jeton depus ntr-o poziie Pi n momentul t este

indisponibil pe durata temporizrii [t, t+di], dup care devine disponibil. n
acest fel, la un moment de timp oarecare marcajul M al reelei are dou
componente: marcajul disponibil i marcajul indisponibil. (M = Md + Ml).
Validarea unei tranziii este fcut doar de componenta disponibil a
poziiilor sale de intrare.
Ipoteza de lucru : la momentul iniial marcajul M0 este disponibil.
n vederea analizei RP temporizate se consider c o tranziie se
execut de ndat ce devine valid. Acest regim de funcionare se numete
funcionare la vitez maximal.
Se demonstreaz ca pentru o RP temporizat mrginit i cu
temporizri cu valori raionale, funcionarea la viteza maximal conduce
dup un timp la un regim repetitiv numit regim staionar.
n cadrul regimului staionar se face analiza cantitativ (evaluarea
performanelor) sistemului. Pentru aceasta se definesc urmtoarele mrimi:
1)
Frecvena de execuie fj, a unei tranziii Tj, este numrul mediu de

execuii ale lui Tj pe unitatea de timp.
2)
Numrul mediu de marcaje ntr-o poziie Pi este egal cu produsul

ntre suma frecvenelor de execuie ale tranziiilor de intrare n
poziia Pi i durata sa asociat di.
Un alt regim de funcionare este cel la viteza proprie: o RP

P-temporizat funcioneaz cu vitez proprie dac nici un jeton nu rmne
ntr-o poziie un interval de timp mai mare dect durata sa de
indisponibilitate. Un model care are funcionare la viteza proprie este
considerat a fi un model fr ntrzieri (nici un jeton nu ateapt s fie
utilizat).
Reele Petri T-temporizate: se asociaz fiecrei tranziii Tj o durat
de execuie dj. Implicit, durata de execuie a unei tranziii este nul.
Definiie: O RP T-temporizat este un dublet <R, Temp> unde:
- R este o RP marcat;
- Temp: T Q+, cu Q+ o mulime de numere raionale pozitive a..
Temp(ti )= di
Reele Petri
49
Pentru aceast clas de reele un jeton poate avea 2 stri: rezervat

pentru executarea unei tranziii Ti sau nerezervat. Fie t momentul cnd se
decide executarea tranziiei Ti i t+di momentul cnd execuia are loc
efectiv. Pe durata [t, t+di] jetoanele necesare execuiei sunt rezervate. Se
spune c t este momentul de nceput i t+di momentul de sfrit al execuiei.
O tranziie este validat de jetoanele nerezervate din poziiile sale de intrare.
La momentul iniial toate jetoanele sunt nerezervate.
Noiunile de funcionare la viteza maximal, funcionare la viteza
proprie i frecven de execuie se pot extinde i la reele T-temporizate.
Reprezentare grafic:
- bar (
) pentru o tranziie a crei temporizare este nul;
- dreptunghi (
) pentru o tranziie a crei temporizare este nenul;
Observaie: Orice reea Petri T-temporizat poate fi transformat ntr-o

reea Petri P-temporizat i invers.
T-temporizare
P-temporizare
d
P-temporizare
T-temporizare
50
Probleme rezolvate
58. S se studieze proprietile de mrginire, viabilitate, ciclicitate i fr
blocaje pentru reelele Petri ilustrare n figura urmtoare:
-a-
-b-
P1
T1
T4
T3
P3
P2
P1
2 (3)
T1
T3
T4
P2
T2
P3
T2
Rezolvare.
Graful de marcaje al reelei din figura a) este :
M0 =
T1
T2
T2
T1
2

0
0

M1 =
1

1
0

M2 =
0

2
0

T3
0

0
1

T1
T4
M3 =
1

0
0

T2
M4 =
M5 =
0

1
0

Reele Petri
51
Se observ c numrul de vectori de marcaj este finit, prin urmare reeaua

este mrginit. Deoarece nici un marcaj nu este vector de blocaj reeaua nu
prezint blocaje. Tranziiile T3 i T4 se pot executa o singur dat. De aceea
ele sunt cvasiviabile, spre deosebire de celelalte tranziii care se execut de
un numr infinit de ori. n concluzie, se poate spune c reeaua este
cvasiviabil. Proprietatea de reversibilitate nu este ndeplinit deoarece nu
exist o secven de tranziii care s conduc din marcajul M3 n marcajul
iniial.
M0 =
T1
T2
T3
T4
T1
T2
Pentru reeaua din figura b) cu ponderea arcului T4 P1 egal cu 2, graful

de marcaje accesibile este ilustrat n figura . Din graf se deduce c reeaua
este mrginit i fr blocaje ca cea dinainte, n plus, prin buclele care s-au
format n graf, reeaua este viabil, pentru oricare marcaj din graf i oricare
tranziie putndu-se gsi o secven pornind de la acest marcaj care s
conin tranziia respectiv.
Pe acest exemplu se mai poate face o observaie. Prin buclele care s-au
format pe graf se pot identifica secvenele repetitive (secvene de tranziii
care, pornind de la un anumit marcaj, conduc la acelai marcaj). Acestea
sunt: S1 = T1T3T4, S2 = T1T1T2T2, S3 = T1T1T2T3T4. Se poate vedea uor c
din toate marcajele accesibile de pe acest graf se poate ajunge n marcajul
iniial, deci reeaua este reversibil.
S consideram un ultim caz n care ponderea arcului T4 P1 este 3 (vezi
figura -b-). n acest caz se obine urmtorul graf de acoperire:
52

2
T1
M0= 0
T2
T1
M1= 1
T2
M2= 2
T3
0
T4
M3= 0
T1
M4= 0
0
T3
M5=
0
T1, T2
M6=
T1, T2, T3, T4
Se observ c pe acest graf s-a substituit, conform algoritmului de

construcie a arborelui de acoperire, valoarea 3 care s-ar fi obinut dup
prima executare a lui T4 cu . n continuare se poate observa c reeaua
Petri are toate poziiile nemrginite; n acest fel se deduce c reeaua este
nemrginit. Se pstreaz ns proprietile de viabilitate i de fr blocaje.
59. S se construiasc graful de marcaje i s se discute
proprietile de mrginire, viabilitate i ciclicitate ale
reelei sincronizate din figura de mai jos. S se compare
aceste proprieti cu cele ale reelei nesincronizate.
P1
Rezolvare.
T1
e1
e1
T2
P3
P2
e2
T3
P4
T4
P5
e3
T5
e3
Reele Petri
53
Reeaua Petri sincronizat este viabil aa cum se poate

vedea imediat din graful de marcaje accesibile.
2

0
M0 = 0

0
0

{T 1, T 2}/e 1
0
1

M1 = 1

0
0
T3/e2
0
0

M2 = 0

1
1
{T 4, T 5}/e 3
Figura
Dac ns considerm aceeai reea dar nesincronizat se
poate vedea, construind din nou graful de acoperire, c
aceasta nu mai este viabil.
Prin executarea de dou ori la rnd a tranziiei T 1 sau a
tranziiei T2 pornind de la marcajul iniial se ajunge la blocaj,
deci de la aceste marcaje nici o tranziie nu va mai putea fi
executat. Secvenele T1T1 i T2T2 nu sunt posibile pentru
reeaua sincronizat.
M0 =
0
0
0
0
T1
T2
1
0
0
0
0
1
0
0
T1
T2
T1
T2
T5
2
0
0
0
1
1
0
0
0
2
0
0
T3
0
0
1
1
T4
T4
T5
0
0
0
1
0
0
1
0
54
Probleme propuse
60. Pentru reeaua Petri din figura de mai jos, s se determine pe baza
grafului de marcaje proprietile :
- viabilitate;
- mrginire;
- reversibilitate;
- blocaje;
- conflicte (structurale, efective);
- conservativitate;
- secvene repetitive;
- invariani de execuie;
- limbajul generat de reea.
P1
T1
P2
P3
T2
T3
P4
P5
T4
T5
P6
T6
T7
Reele Petri
55
61. Se d reeaua Petri din figura de mai jos. Se cere studierea

proprietilor (mrginire, viabilitate, conflicte, conservativitate,
invariani) pe baza grafului de marcaje, pentru marcajul iniial
M0= [1 0 k 0].
P1
1
T2
1
T1
1
k
P3
1
P4
1
T4
1
P2
1
T3
1
62. Fie reeaua din figura de mai jos:

P1
P5
P3
T1
T3
P2
P4
T4
P6
T2
Se cer:
a) proprietile de mrginire, viabilitate, conflicte, siguran, puritate;
b) invarianii de marcaj;
c) limbajul generat de RP.
56
63. Se consider RP din figura de mai jos. S se construiasc arborele de

acoperire i s se studieze proprietile de mrginire, viabilitate
reversibilitate i conservativitate. Care sunt invarianii de marcaj i de
execuie?
P2
P1
T1
P3
T2
P4
T3
64. S se construiasc graful de marcaje al RP din figur i pe baza lui :

a) s se determine proprietile;
b) s se compare proprietile de la punctul a) cu cele ale reelei
autonome.
P1
e1
P2
T2
T1
P5
P4
e1
P6
P3
T3
T4
e2
T5
Reele Petri
57
65. S se studieze proprietile reelei Petri din figura de mai jos.

Invarianii de execuie i limbajul reelei.
T2
P1
P2
T1
P4
P3
T3
P5
T4
66. S se realizeze graful de marcaje i s se precizeze proprietile

(mrginire, viabilitate, blocaje, conflicte, invariani de marcaj,
invariani de execuie, conservativitate) pentru reeaua din figura de
mai jos.
P1
T2
P4
T3
P2
P3
T1
P5
T4
58
67. Determinai secvena de simulare completa (SSC) n raport cu

evenimentul a pentru marcajele iniiale pentru reeaua Petri
sincronizata din figura de mai jos:
a. M0= [2 1 1 0 0 1]
b. M0 = [2 2 2 0 0 2]
Menionai care din SSC sunt maximale i explicai rspunsul.
P1
T1
T2
P3
P2
T3
T4
P6
P5
P4
b
T5
T6
68. S se determine proprietile Reelei Petri din figura de mai jos

utiliznd graful de marcaje accesibile.
P4
P1
2
T3
T2
T1
3
P2
2
P3
Reele Petri
69.
59
Fie reeaua P temporizat i generalizat din figura, unde di reprezint

durata asociat poziiei Pi. Pentru marcajul iniial reprezentat n figura
de mai jos se cer:
a) graful de marcaje accesibile;
b) proprietile reelei.
P1
d1=1
P2
3
d2=1
T2
T1
P3
3
d3=1
70. S se construiasc graful de acoperire pentru reeaua

din figura de mai jos att n cazul sincronizat ct i dac
se consider reeaua nesincronizat. S se discute
proprietile reelei n ambele situaii.
P1
T1
e2 T2
e1
P2
T5
T4
e2
T3
P3
e1
e3
60
71. Pentru reeaua Petri sincronizat din figura de mai jos s

se construiasc graful de marcaje accesibile i s se
discute proprietile.
T1
P1
e2
T3
T4
P4
e1
P2
T2
e1
T5 e2
P3
72. Fie reeaua Petri generalizat din figura de mai jos.

a)
Care sunt tranziiile valide din M0 ?
b) Dup execuia a dou tranziii reeaua se blocheaz. Care sunt

tranziiile i care este marcajul de blocaj?
c) Este reeaua mrginit? Justificai rspunsul. Reeaua este viabil?
d)
Demonstrai c secvena T3T1 se poate executa maxim de dou ori.

P1
T1
11
T2
2
P2
T4
P3
P4
T3
Reele Petri
61
73. Construii arborele de acoperire i graful de marcaje accesibile pentru

reeaua Petri din figura de mai jos. Studiai proprietile de mrginire,
viabilitate fr blocaje i conservativitate.
P1
T1
P3
P2
T3
T2
74. S se discute proprietile RP din figura de mai jos.

P1
T1
P3
P2
T2
T4
P4
P5
T3
T5
P6
T6
T7
62
75. S se construiasc graful de marcaje i s se precizeze proprietile

(mrginire, viabilitate, reversibilitate, conservatitivitate, blocaje,
conflicte). S se determine invarianii de marcaj i de execuie. De
asemenea se cere construirea grafului de marcaje accesibile pentru
reeaua T temporizat. (duratele asociate tranziiilor sunt indicate n
paranteze).
P1
(2)
T1
P3
P2
T2
(3)
(1)
P5
P4
T3
T4
(2)
(1)
T5
P6
T6
76. Sistemul din figura de mai jos prelucreaz dou tipuri de piese: A
respectiv B, preluate din dou depozite de intrare cu capacitate
infinit. Robotul R1 ncarc piesele de tip A pe maina M1 i
piesele de tip B pe maina M2. Dup prelucrarea pe maina M1,
respectiv pe maina M2, piesele de tip A sunt transferate automat
n bufferul B1 de capacitate 4, iar piesele de tip B sunt transferate
automat n bufferul B2 de capacitate 6. Robotul R2 preia piese din
bufferele B1 i B2 i ncarc maina M3 nti cu o pies de tip A i
dup aceea cu dou piese de tip B (pe rnd). Astfel maina M 3
realizeaz operaia de asamblare a unei piese A i a dou piese B
n ordinea A+B+B. Dup asamblare piesele prsesc sistemul.
Reele Petri
63
Se presupune c mainile pot prelucra o singur pies la un moment

dat; de asemenea capacitatea de transfer a roboilor este de o pies. Se
cunosc timpii de prelucrare pe cele trei maini: durata de prelucrare a
unei piese de tip A pe maina M1 este d1 = 3 uniti de timp;
prelucrarea unei piese de tip B pe maina M2 se face n d2 = 2 uniti
de timp; iar durata operaiei de asamblare pe maina M3 este das = 2
uniti de timp.
S se modeleze sistemul de producie astfel nct reeaua s fie
mrginit. S se identifice invarianii de marcaj.
A
R1
M1
d1=3
M2
d2=2
B1
(4)
B2
(6)
R2
M3
1A+ 2B
d_as = 2
Iesire din sistem
77. Considerm execuia de tip Round-Robin a mai multor taskuri.

Aceasta presupune transferul controlului succesiv fiecrui task pentru
execuia unei pri a sa. Taskurile n execuie partajeaz o aceeai
unitate central, iar la fiecare control fiecare task poate executa una
64
sau mai multe instruciuni. S se construiasc RP care modeleaz

acest protocol, n urmtoarele cazuri :
a) Se consider 4 taskuri, fiecare task executnd cte o singur
instruciune cnd primete controlul;
b) Se consider 2 taskuri, taskul 1 executnd 3 instruciuni, iar taskul
2 executnd 5 instruciuni la primirea controlului.
Indicaie.
a) Pentru fiecare task se vor considera urmtoarele poziii:
poziie ai care marcata semnifica taskul n ateptare;
poziie exi care marcat semnific faptul c taskul i este n

execuie pentru o instruciune;
poziie pi care dac este marcat semnific faptul c s-a dat

controlul taskului i.
b) Se utilizeaz o reea Petri generalizat.

78. Se consider un proces de producie simplu, coninnd un consumator
i un productor ce folosesc mpreun un acelai stoc, acesta avnd o
capacitate limitat la 3 uniti. Productorul poate produce o singur
pies la un moment dat, el putnd depune piesa n stoc imediat ce a
terminat-o dac stocul permite depunerea. Imediat dup depunerea
piesei productorul rencepe procesul de producie. Consumatorul la
rndul su, imediat ce a terminat de consumat o pies (una singur
la un moment dat) ia o noua pies din stoc dac acesta nu este vid. S
se modeleze cu RP funcionarea acestui proces.
depunere
produc tor
retragere
stoc
consumator
79. Fie un sistem de producie care prelucreaz un singur tip de piese

conform fluxului tehnologic descris n figura de mai jos. La intrare n
sistem, piesele sunt ncrcate pe paletele preluate dintr-un stoc de
Reele Petri
65
capacitate 3. Robotul R1 ncarc piesele alternativ pe mainile M1 i

M2, M1 fiind ncrcat prima. Bufferele B1 (de capacitate 4) i B2 (de
capacitate 3) sunt ncrcate automat cu piese de pe mainile M1
respectiv M2 de ndat ce acestea termina operaia de prelucrare.
Robotul R2 ncarc maina M3 prelund piese att din bufferul B1 ct
i din bufferul B2. Dup prelucrarea pe maina M3 piesele prsesc
sistemul iar paletele sunt reciclate la intrarea sistemului i depuse n
stocul de palete. tiind c fiecare main poate prelucra o singur
pies la un moment dat (capacitate 1), s se construiasc reeaua Petri
care modeleaz acest sistem de producie.
Stoc palete
R1
M1 (1)
M2 (1)
B1
B2
R2
M3 (1)
66
80.
Se consider un stoc ce poate conine un numr infinit de piese.

Funcionarea sa este sincronizat pe dou evenimente externe:
evenimentul e1, sosirea unei piese i evenimentul e2, sosirea unei
cereri de pies. O cerere de pies este satisfcut imediat dac exist
piese n stoc.
Modelai comportamentul stocului de piese printr-o reea Petri
sincronizat i construii graful de marcaje accesibile pentru
urmtoarele dou situaii:
a) se presupune ca o cerere de pies nesatisfcut
(nefiind piesa n stoc) este pierdut (utilizatorul
trebuie s-i rennoiasc cererea);
b) se presupune c o cerere de pies nesatisfcut este
memorat, i satisfcut atunci cnd o nou pies
sosete n stoc.
e1
sosirea
pieselor
sosirea unei
piese
e2
sosirea unei
cereri de piesa
stoc
plecarea
pieselor
81. Patru filosofi, f1 f4, stau n jurul unei mese, ntre ei fiind dispuse
baghetele b1 b4. Un filosof se poate gsi ntr-una din urmtoarele
dou stri: poate gndi sau poate mnca. Pentru a manca un filosof are
nevoie de cele dou baghete aflate de o parte i de cealalt a sa. n
starea iniial toi filosofii gndesc i baghetele se afla pe mas.
a) Descriei printr-o reea Petri urmtorul protocol: cnd un filosof
dorete s mnnce el ia mai nti bagheta din dreapta sa, apoi pe
cea din stnga sa i ncepe s mnnce. Cnd termin de mncat el
depune pe mas mai nti bagheta din mana dreapt, apoi pe cea
din mana stng i trece astfel n starea n care gndete. Indicai
invarianii minimali pentru reeaua construit. Este aceasta reea
viabil? Dac exist un blocaj gsii secvena de validri care
conduce la acesta i dai o explicaie a acestui blocaj.
Reele Petri
67
b) Definii un protocol astfel nct s nu mai poat aprea situaie de

blocaj, i construii reeaua Petri corespunztoare.
82. Se consider dou bile de biliard, A i B, (figura de mai jos) care se
deplaseaz pe o aceeai dreapt, paralel cu una din margini. Fiecare
bil are trei stri: deplasare la dreapta, deplasare la stnga sau
ateptare (bila oprit). Se cere modelarea comportamentului celor
dou bile printr-o reea Petri, presupunnd c: a) atunci cnd lovete o
margine o bil pornete n sens invers cu aceeai viteza; b) dac cele
dou bile se ciocnesc, ambele fiind n micare cu aceeai vitez, ele
repornesc n sens invers; c) dac o bil oprit este lovit de cealalt,
prima se pune n micare i a doua se oprete. Presupunem c bilele
realizeaz o micare ideal, fr ncetinire datorat frecrii. S se
studieze, n funcie de marcajul iniial posibil, proprietile reelei
construite, pe baza grafului de marcaje.
A
83. Se consider 6 taskuri a cror executare este

condiionat de urmtoarele reguli: iniial taskul 1 este
executabil; taskurile 2 i 3 nu pot fi executate dect
dup taskul 1 (nensemnnd ns c vor ncepe
simultan sau imediat dup terminarea taskului 1).
Taskul 4 nu poate fi executat dect dup taskul 3,
taskul 5 dup taskurile 2 i 4, iar taskul 6 dup taskurile
4 i 5. Taskul 1 nu poate fi reexecutat dect dup
terminarea taskului 2, iar taskul 3 dup taskurile 1 i 6.
Considernd c execuia fiecrui task are o durata di s
se modeleze prin reele Petri P - temporizate acest
sistem. Care este momentul la care ncepe prima
execuie a taskului 5 ?
Indicaie. Pentru fiecare task se introduc dou poziii:
una corespunztoare execuiei taskului i una care
68
asigur ndeplinirea condiiei de execuie a taskului

respectiv.
84.
Se consider o linie de asamblare cuprinznd dou maini fiecare cu

cte un stoc n intrare, aa cum se vede n figura de mai jos. Stocurile
au o capacitate nelimitat. Sistemul prelucreaz dou tipuri de piese,
p1 i p2, care sosesc ntr-o ordine aleatoare n stocul 1 dar prelucrarea
lor pe main fcndu-se prin alternana. Se presupune c mainile pot
prelucra o singur piesa la un moment dat.
Fie evenimentul ei sosirea unei piese de tip pi. O piesa
de tipul 1 necesit o prelucrare de 8 uniti de timp pe
maina 1 i de 3 uniti de timp pe maina 2 iar o piesa
de tipul 2 necesit cte 5 uniti de timp pe fiecare
main.
a) S se modeleze acest sistem printr-o reea
sincronizat i T-temporizat n condiiile enunate
anterior;
b) Cum se modific reeaua n ipoteza c stocul 1
conine permanent cel puin cte o pies de fiecare
tip ?
masina 2
masina 1
sosire
piese
p1, p2
85.
stoc 1
stoc 2
plecare
piese
p1, p2
Se consider un flux de fabricaie compus din dou

maini, fiecare avnd un stoc de piese n intrare. n
sistem exist dou palete, piesele trecnd ntre maini
purtate pe palete. Aceste palete sunt reciclabile, adic
ele se ntorc n stocul 1 dup ce piesele pe care le-au
purtat sunt terminate pe maina 2. Maina 1 poate trata
o singur pies la un moment dat, timpul de servire
fiind d1 = 2 uniti de timp, n timp ce maina 2 poate
Reele Petri
69
trata dou piese, pentru fiecare fiind necesare d2 = 3

uniti de timp.
a) S se construiasc RP P-temporizat pentru acest
sistem;
b) S se construiasc graful de marcaje pentru reeaua
P-temporizat considernd funcionarea cu vitez
maxim. Care este durata unui ciclu de fabricaie?
masina 2
masina 1
stoc 1
d1=2
d2=3
stoc 2
86. S se rezolve problema cu lupul, capra i varza utiliznd modelul

reelelor Petri.
87. S se modeleze prin intermediul reelelor Petri comportamentul unei
pisici i al unui oarece n urmtorul labirint (figura) , tiind c
micrile pisicii sunt modelate de sgeile P iar cele ale oarecelui de
sgeile S.
4
P8
S5
P4
P7
P1
S2
P5
S3
S6
S4
S1
Soarece
1
P6
5
P2
P3
3
Pisica
70
88.
Fie un sistem de fabricaie flexibil care prelucreaz dou tipuri de

piese A i B. Piesele sunt ncrcate n sistem din dou depozite de
intrare de capacitate infinit DIA, DIB i sunt prelucrate conform
fluxurilor de fabricaie din figura de mai jos cu urmtoarele
specificaii:
Piesele de tip A sunt prelucrate pe mainile M1, M2 i M4, iar

piesele de tip B pe mainile M1, M3 i M5; ncrcarea mainii M1 se
face automat;
Robotul R1 ncrca maina M2 cu piese de tip A i maina M3 cu

piese de tip B;
Transferul pieselor de tip A de la maina M2 n stocul A (de

capacitate 8) se face automat; piesele de tip B sunt transferate de
asemenea automat de la maina M3 la maina M5.
Robotul R2 este implicat n urmtoarele operaii de transfer:

ncarc cte 2 piese din stocul A pe maina M4; descarc cte 2
piese de pe maina M4 ctre ieirea A a sistemului; descarc cte o
pies de pe maina M5 n stocul B de capacitate 5.
Stocul B este golit automat cnd devine plin.
Mainile M1, M3 i M5 prelucreaz o singur pies la un moment

dat; maina M2 poate prelucra 3 piese simultan iar maina M4 poate
prelucra 2 piese simultan;
Duratele de prelucrare ale celor dou tipuri de piese pe maini sunt

indicate n figura, astfel maina M1 prelucreaz o piesa de tip A n
3 uniti de timp, iar o piesa de tip B n 2 uniti de timp; durata de
prelucrare a piesei A pe maina M2 este de 7 uniti de timp iar pe
maina M4 de 5 uniti de timp; durat de prelucrare a piesei B pe
maina M3 este de 6 uniti de timp iar pe maina M 5 de 4 uniti de
timp.
Se cere modelul RP temporizat pentru acest sistem de fabricaie.
Reele Petri
71
dA= 7
DIA
M2
(3)
A
A, B
DIB
M1
(1)
dA= 3
dB=2
StocA
(8)
R1
B
M4
(2)
Iesire A
R2
M3
(1)
dB=6
89.
dA= 5
Iesire B
M5
(1)
stocB
dB = 4
Fie un sistem de fabricaie care prelucreaz dou tipuri de piese A i

B, preluate din dou stocuri de capaciti infinite DIA i DIB, ca n
figura de mai jos. Robotul R1 descarc mainile M1 i M2 i ncarc
maina M3 care asambleaz o piesa A i o piesa B, fr restricii de
ordine. Robotul R2 descarc M3 ntr-un buffer de capacitate 10, care se
golete automat cnd este plin. Fiecare main poate prelucra o pies
la un moment dat. Prelucrarea piesei A pe maina M1 dureaz d1 = 5
uniti de timp, prelucrarea piesei B pe maina M2 dureaz d2 = 6
uniti de timp, iar maina M3 execut operaia de asamblare n d3 = 4
uniti de timp. Se presupune c transportul pieselor de ctre roboi
necesit cte o unitate de timp.
S se modeleze acest sistem utiliznd reele Petri cu tranziii
temporizate.
72

DIA
d1 = 5
DIB
M2 (1)
M1 (1)
d2 = 6
R1
d_as = 4
M3 (1)
R2
Buffer
(10)
Iesire sistem
90.
Fie un sistem de producie care prelucreaz dou tipuri de piese p1 i

p2 conform unui flux tehnologic specificat n figura de mai jos. Maina
M1 prelucreaz alternativ piese de tip p1 i p2, maina M2 prelucreaz
numai piese de tip p1 iar maina M3 prelucreaz numai piese de tip p2.
Piesele sunt ncrcate pe palete la intrarea n sistem, din stocul S1 i
transferate ntre maini. Dup ce piesele prsesc staia de ieire I
paletele sunt reciclate la intrarea sistemului. Exista 2 palete
disponibile pentru piesele de tip p1 i 3 palete disponibile pentru
piesele de tip p2. Robotul R1 efectueaz operaia de transfer a pieselor
de tip p1 de pe maina M1 n stocul S2 de la intrarea mainii M2 i a
pieselor de tip p2 de pe maina M1 n stocul S3 de la intrarea mainii
M3. Robotul R2 descarc mainile M2 i M3 ctre staia de ieire I.
Capacitatea de prelucrare pentru toate mainile este de o pies, iar
capacitatea de stocare pentru stocurile S2 i S3 este de 4 piese. Se
cunosc timpii de prelucrare pe fiecare maina: M1 prelucreaz piesa p1
n 4 uniti de timp i piesa p2 n 5 uniti de timp; M2 prelucreaz
piesa p1 n 5 uniti de timp, iar M3 prelucreaz piesa p2 n 3 uniti de
timp. Timpii de ncrcare/descrcare pentru roboi sunt de o unitate de
timp.
S se modeleze cu reele Petri T temporizate sistemul de producie.
Reele Petri
73
S2
M2
(p1)
p1
p1, p2, B
p1, p2, B
M1
(p1,p2)
R1
R2
S1
M3
(p2)
p2
S3
91. S se modeleze cu RP T-temporizate sistemul de producie

ilustrat n figura de mai jos. S se construiasc graful de marcaje
i s se studieze comportamentul n timp al sistemului n regim
staionar:
p1, p2, p3
p1, p2
p1, p2, p3
p1
M2
M1
I
R1
p2, p3
p3
p2
M3
Sistemul prelucreaz trei tipuri de piese p1, p2 i p3 n urmtoarele

fluxuri de fabricaie:
p1 : M1- M2 I (staia de ieire)
p2: M1-M2-M3-I
p3: M1-M3- I
Piesele sunt transportate pe paletele preluate din stocul de la intrarea
mainii M1. Exist cte 3 palete disponibile pentru fiecare tip de pies.
Acestea se recicleaz la intrare dup ce piesele prsesc staia de ieire
I. Transferul pieselor pe traseele M1-M2, M1-M3, M2-M3 se face
automat. Robotul R1 descarc mainile M2 i M3 la staia de ieire I,
durata transportului fiind de 2 uniti de timp. Timpii de prelucrare
pentru fiecare tip de pies sunt specificai n urmtorul tabel:
p1
p2
p3
74
M1
3 unitati de timp
4 u.t.
5 u.t.
M2
8 u.t.
6 u.t.
M3
5 u.t.
3 u.t.
92. Fie un sistem de producie alctuit din trei maini M 1, M2 i M3

care prelucreaz piesele p1, p2 i p3 conform fluxului tehnologic
din figura de mai jos. Sensurile sgeilor indic ordinea n care
piesele sunt prelucrate pe fiecare din cele trei maini. (Piesele de
tip p1 i p2 sunt prelucrate pe toate cele trei maini, iar piesa de tip
p3 este prelucrat doar pe mainile M1 i M2).
p3
p2
p2
p1
p1
M1
p3
p2
p2
p1
M2
p1
M3
p3
Se cer:
a) reeaua Petri P temporizat care modeleaz sistemul;
timpii la care piesele p1, p2 i p3 prsesc sistemul tiind ca
prioritatea de prelucrare a piesei p2 > prioritatea piesei p1 >
prioritatea piesei p3. Duratele de prelucrare pe maini pentru
fiecare tip de pies sunt specificate n tabelul de mai jos.
b)
p1
p2
p3
M1
1 unitate de timp
1 u.t.
2 u.t.
M2
1 u.t.
2 u.t.
1 u.t.
M3
1 u.t.
1 u.t.
93. Se consider celula de fabricaie din figura de mai jos care include:
dou maini cu funcionare similar M1 i M2;
Reele Petri
75
o band rulant (un conveior) de intrare CONV1 ca surs infinit

de repere;
un conveior de ieire ca depozit infinit.
p2
M1
M2
p1
CONV2
CONV1
Celula poate produce dou tipuri de piese: p1 i p2, fiecare dintre ele
trebuind procesat pe ambele maini. Duratele de procesare respective
sunt:
p1
p2
M1
3 uniti de timp
2 uniti de timp
M2
1 unitate de timp
4 uniti de timp
ncrcarea pieselor pe oricare dintre maini are durata de 1 unitate de

timp. De ndat ce operaia de ncrcare a fost ncheiat, procesarea
piesei ncepe fr ntrziere, iar descrcarea face parte din procesare.
Piesa de tip p1 este prelucrat nti pe maina M1 i apoi pe maina M2,
iar piesa de tip p2 este prelucrat nti pe maina M2 i apoi pe maina
M1. Fiecare main posed un buffer de intrare cu o poziie, pentru
transferul pieselor procesate pe jumtate.
Se cer :
a) s se construiasc reeaua Petri temporizat a celulei de fabricaie;
b) s se studieze comportamentul n timp al sistemului (graful de
marcaje) ;
c) care este capacitatea bufferelor ataate mainilor dac ntr-un ciclu
de producie se prelucreaz o piesa de tip p1 i una de tip p2.
94. S se modeleze cu RP sistemul de producie reprezentat n figura de
mai jos, tiind c intrarea sistemului este descris de o surs infinit
iar ieirea se face fr restricii. Piesele sunt ncrcate automat pe
76
maina M1 care poate prelucra o singur pies la un moment dat.

Robotul R1 descarc maina M1 i ncarc bufferul (de capacitate 4) de
la intrarea mainii M2. Piesele depuse n buffer sunt preluate automat
de ctre maina M2. Capacitatea de prelucrare a mainii M2 este de 2
piese. Dup prelucrarea pe maina M2, piesele sunt descrcate, pe
rnd, de pe maina M2 i transferate la ieire.
R1
Iesire
M2
M1
95. S se modeleze cu RP temporizate sistemul de producie descris n

figura de mai jos :
AGV1
IA
pA
M1
R1
M3
M2
R2
EB (pB)
AGV2
IB
pB
EA (pA)
M4
M5
Sistemul prelucreaz dou tipuri de piese pA i pB preluate din depozite

de capacitate infinita IA i IB. Piesele de tip A sunt ncrcate de ctre
robotul R1 pe maina M1 sau pe maina M2, ncrcarea fcndu-se prin
alternan. Se presupune c maina M1 este ncrcat prima. Piesele de
tip B sunt ncrcate de asemenea de ctre robotul R1 pe maina M4.
Dup prelucrare pe mainile M1 respectiv M2, piesele de tip A sunt
transportate cu ajutorul cruciorului AGV1 (automated guided vehicle)
la maina M3. Piesele de tip B sunt transportate de la maina M4 la
maina M5 cu ajutorul cruciorului AGV2, dup ce operaia de
prelucrare pe maina M4 s-a efectuat. ncrcarea mainilor M3 i M5 cu
piese de tip A respectiv B se face de ctre robotul R 2. Dup
Reele Petri
77
prelucrarea pe mainile M3 i M5 piesele sunt depozitate n buffere de

capacitate infinit. Se presupune ca mainile pot prelucra o singur
pies la un moment dat, iar capacitatea de transport a crucioarelor
este de o pies. Se cunosc timpii de prelucrare pe maini: pe M 1 de 2
uniti de timp (u.t.), pe M2 de 3 u .t., pe M4 de 4 u.t., pe M3 de o
unitate de timp i pe M5 de 3 u.t. timp. ncrcarea mainilor se face
ntr-o unitate de timp. De asemenea transportul efectuat de fiecare
crucior dureaz o unitate de timp.
96. S se construiasc modelul RP T-temporizate pentru sistemul de
producie descris n figura de mai jos.
Stoc1 (10)
M1 (2)
M2 (1)
(1)
d1 = 10
M2 (1)
d2 = 4
Stoc2 (2)
R
M3 (1)
d3 = 5
Stoc3 (5)
Stocul de intrare Stoc1 conine 10 palete disponibile pe care sunt

ncrcate piesele brute care intr n sistem n numr nelimitat.
Ansamblul pies paleta este transferat ctre maina M1, care poate
prelucra dou piese la un moment dat. Dup prelucrarea pe maina
M1, piesele sunt ncrcate alternativ pe cele dou maini M2, care pot
prelucra o singur piesa la un moment dat. Dup prelucrarea pe
78
mainile M2, piesele sunt depuse n stocul 2 de capacitate 3 iar paletele

sunt eliberate i aduse la intrarea sistemului n stocul 1. Robotul R
preia piesele din stocul 2 i le ncarc pe maina M3 care are
capacitatea 1. Transferul pieselor de pe maina M3 n stocul 3 (de
capacitate 5) se face automat, urmnd ca de aici piesele sa fie depuse
la ieirea sistemului n loturi de cte 3. Duratele de prelucrare pe cele
trei maini sunt specificate n figura.
97.
S se modeleze ca RP urmtoarea structur de celul flexibil (figura

de mai jos). Robotul R1 ncarc mainile M1 i M2 dintr-un stoc de
capacitate infinit iar robotul R2 descarc mainile respective ntr-un
buffer de capacitate 4. Cnd bufferul se umple el este golit automat.
Mainile M1 i M2 se pot defecta n timpul funcionrii, ceea ce
implic depozitarea piesei ca rebut ntr-un container de rebuturi. Se
presupune ca mainile prelucreaz o singur pies la un moment dat.
S se evidenieze totodat numrul de piese rebut.
Intrare infinita
R1
M2 (1)
M1 (1)
R2
Rebuturi
98. La o piscin sosesc clieni n numr nelimitat. Acetia utilizeaz

piscina n felul urmtor: clientul ia un co (exist 5 couri
disponibile), intr n cabina (exist 3 cabine), se schimb, pune
Reele Petri
79
lucrurile n co, elibereaz cabina i apoi intr n piscin. Dup ce iese

din piscin, clientul intr mai nti n cabin, se mbrac, elibereaz
cabina i coul i pleac. S se modeleze cu RP protocolul de utilizare
a piscinei i s se deduc invarianii reelei.
99. Fie sistemul de producie din figura urmtoare:
Stoc1
M1
M3
M2
Stoc2
Toate mainile pot avea pan. Dup reparaie mainile M1 i M2

continu piesa nceput, iar maina M3 face excepie, revenind n
starea iniial. Piesa de pe M3 se depoziteaz ntr-un stoc de rebuturi.
S se construiasc modelul Petri al acestui sistem n care s se
evidenieze numrul de rebuturi i numrul de defectri ale mainilor.
100. Se consider un proces de producie condus prin
etichete. Acest sistem este compus din dou posturi
de producie nseriate. Fiecare post de producie
este compus la rndul su dintr-un sistem de
producie i un stoc de produse finite n aval. Piesele
brute se gsesc n stocul 0. Pentru ca o piesa din
stocul i-1 s intre n sistemul de producie i trebuie
s poarte eticheta i a acestui post (i = 1,2). Cnd
prelucrarea ei este terminat ea este depus n
stocul i, eticheta rmnndu-i deocamdat ataat.
Cnd o piesa este retras din stocul i pentru a
satisface o cerere din aval (de la un client exterior
pentru stocul 2, sau de la postul 2 - prin sosirea
unei etichete a acestuia - pentru stocul 1) se scoate
de pe piesa eticheta i i se adaug eticheta i+1
(respectiv eticheta sigur dac a fost stocul 2). O
80
etichet i, detaat de pe o pies, este ntoars la

intrarea sistemului de producie i.
Reprezentai acest sistem de producie printr-o reea
Petri T-temporizat, cu urmtoarele ipoteze:
1) pentru fiecare post de producie i avem o poziie
pentru piese n sistemul de producie i i o poziie
pentru piese n stocul i, trecerea dintr-una n cealalt
fcndu-se prin validarea unei tranziii ce corespunde
prelucrrii unei piese. O singur pies este tratat la
un moment dat;
2) sunt trei etichete pentru postul 1 i dou etichete
pentru postul 2;
3) nu s-au fcut nc cereri de piese din aval de sistem
iar n stocul 0 sunt 3 piese brute;
4) tratarea unei piese are o durata de 10 uniti de timp
n sistemul de producie 1 i 12 uniti de timp n
sistemul de producie 2. Fiecare bucl de ntoarcere a
unei etichete de la ieirea la intrarea unui sistem de
producie are o durata de 1 unitate de timp. Toate
celelalte operaii au durat nul.
sosirea
unei
piese
satisfacerea
unei cereri
stoc 0
sistem de
productie
1
stoc 1
sistem de
productie
2
stoc 2
101. Fie sistemul descris de fluxul tehnologic din figura de mai jos.
Sistemul prelucreaz dou tipuri de piese A i B preluate din
stocuri de capacitate infinit. Piesele de tip A sunt ncrcate pe
palete de cte 2 poziii (capacitate 2 piese) iar piesele de tip B
Reele Petri
81
sunt ncrcate pe palete de cte 4 poziii. Robotul R1 ncarc

paletele cu piese de ambele tipuri n buffere corespunztoare,
astfel: paletele cu piese de tip A sunt ncrcate n bufferul BA de
capacitate 3 (palete) iar paletele cu piese de tip B sunt ncrcate n
bufferul BB de capacitate 2 palete. Prin urmare bufferul BA
poate accepta maxim 6 piese A iar bufferul BB poate accepta
maxim 8 piese B. Robotul R2 descarc cele dou buffere i
ncarc mainile M1 i M2 cu cte o piesa A respectiv cte o piesa
B. Mainile M1 i M2 pot prelucra o singur pies la un moment
dat. n momentul n care o palet devine liber (au fost preluate
toate piesele de pe ea) ea este reciclat la intrarea sistemului n
stocul corespunztor. Dup prelucrarea pe mainile M1 i
respectiv M2 piesele de tip A sunt depuse automat n bufferul B 1
(de capacitate 3 piese) iar piesele de tip B sunt depozitate
automat n bufferul B2 de capacitate 4. Maina M3 realizeaz
operaia de asamblare a unei piese A i a dou piese B n ordinea
B+A+B. ncrcarea mainii M3 se face automat din bufferele B1 i
B2. Piesele asamblate sunt depuse ntr-un stoc de capacitate 3 care
se golete automat cnd se umple.
S se construiasc reeaua Petri a acestui sistem astfel nct ea s fie
mrginit.
82

FA
FB
R1
BA
BB
R2
M1 (1)
M2 (1)
B1
B2
M3
B +A + B
102. Fie dou maini identice M1 i M2 de capacitate 1 care prelucreaz

piese de un singur tip. Piesele sunt preluate dintr-un stoc infinit ce
conine palete de cte 2 obiecte (cu 2 poziii) i ncrcate pe
maini de ctre robotul R1. ncrcarea mainilor M1 i M2 se face
prin alternan, prima main ncrcat fiind M1. Robotul R2 preia
piesele prelucrate de pe mainile M1 i M2 i le ncarc pe maina
M3. Capacitatea mainii M3 este de 2 piese.
S se modeleze cu RP acest sistem tiind c ieirea este fr restricii.
S se gseasc invarianii de marcaj.
Reele Petri
83
R1
M2(1)
M1(1)
R2
M3(2)
103. Celula de fabricaie din figur prelucreaz dou tipuri de piese p1

i p2 care se gsesc n numr nelimitat la intrarea n sistem.
Piesele sunt mai nti prelucrate alternativ pe maina M1 (de
capacitate 1), prima dat executndu-se prelucrarea unei piese de
tip p1. Dup terminarea operaiei, maina M1 este descrcat de
ctre robotul R1 care depune piese de tip p1 ntr-un depozit Dp1 i
piese de tip p2 ntr-un depozit Dp2. Cele dou depozite Dp1 i Dp2
au capacitate limitat i anume 5 i respectiv 6 poziii (locuri).
Robotul R2 ncarc maina M2 cu piese de tip p1 din depozitul Dp1
i ncarc maina M3 cu piese de tip p2 din depozitul Dp2.
Capacitatea mainii M2 este de 2 piese, iar a mainii M3 de o
singur pies. Piesele prelucrate pe maina M2 sunt descrcate de
ctre robotul R2 la ieirea sistemului. n urma operaiei de
prelucrare pe maina M3 piesele de tip p2 sunt descrcate automat
pe cruciorul AGV care poate transporta cte 2 piese la ieirea
sistemului.
S se construiasc modelul Petri temporizat al celulei, considernd c
fiecare operaie de prelucrare dureaz d1 uniti de timp (pe fiecare
main) i fiecare operaie de transfer (ncrcare, descrcare,
transport) dureaz d2 uniti de timp att pentru roboi ct i pentru
crucior.
84

P1
P2
M1
Dp1
Dp2
R1
Cap5
Cap2
M2
Cap6
M3
R2
AGV
Cap1
Reele Petri
85
BIBLIOGRAFIE
1.
Cassandras C., Lafortune S., - Introduction to Discrete Event Systems,

Kluwer Academic Publishers, Londra, septembrie 1999.
2.
David R., Alla H.- Du Grafcet au Reseaux de Petri, Ed. Hermes, Paris,
1997.
3.
Stnescu A.M. & colectiv - Sisteme Dinamice cu Evenimente Discrete,

UPB, 1996
4.
Szarfaczyk M. Computer-Assisted Management and Control of

Manufacturing Systems, Springer Verlag London Limited 1997.

Curs Mssed

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Curs Mssed

Încărcat de

Drepturi de autor:

Formate disponibile

SIMONA IULIANA CARAMIHAI

CLIN AUREL MUNTEANU

Conceptul de Sistem cu Evenimente Discrete

Conceptul de Sistem cu Evenimente Discrete

Modelarea i analiza SDED 103 probleme

alfabet (mulime finit de simboluri) astfel nct ele i pstreaz

Definirea variabilelor de stare, respectiv a formatului elementelor

Stabilirea strii iniiale q0 Q;

Definirea tuturor evenimentelor din - ca aciuni care modific

Conceptul de Sistem cu Evenimente Discrete

Definirea funciei de tranziie , ceea ce revine de fapt la

n funcie de complexitatea procesului modelat, etapele 3 i 4 pot fi

Modelarea i analiza SDED 103 probleme

strii iniiale: q0 = (0, 0) server liber i coada de

Alfabetul de evenimente va conine dou elemente, i anume:

respectiv intrarea unui client n sistem incrementeaz lungimea cozii, dac

Conceptul de Sistem cu Evenimente Discrete

Aceste informaii vor nsoi cele dou tipuri de evenimente stabilite

n conformitate cu datele de mai sus, evoluia numrului de clieni din coada

e13 = 8.6 = T(6)

Modelarea i analiza SDED 103 probleme

e13 = 8.6 = T(6)

Conceptul de Sistem cu Evenimente Discrete

desenai o diagrama de timp t-0,1,..., 10 indicnd sosirile i

construii un tabel cu valorile x1(t), x2(t), i y(t) pentru toi

presupunem c se lucreaz n timp continuu. Sosirile au loc la

Modelarea i analiza SDED 103 probleme

3. Aceeai problem cu urmtoarele reguli de alocare a taskurilor (dac

Un proces de fabricaie simplu este compus din dou maini M1 i M2

identificai toate valorile posibile pentru x1 , x2 i x3;

definii un set minimal de evenimente E pentru acest sistem;

pentru intervalul [0,0, 0,3] construii un tabel cu valorile lui x1(k),

identificai toate strile pentru care M1 este forat s atepte pn

Limbaje Formale i Automate

Limbaje Formale i Automate

Un alfabet este o mulime finit de simboluri.

Un cuvnt este o secven finit de simboluri ale aceluiai alfabet.

Un limbaj este o mulime de cuvinte cu simboluri ale aceluiai

Lungimea unui cuvnt, w reprezint numrul de simboluri care

Cuvntul vid: (corespunde evenimentului nul sau, mai precis,

Limbaj vid: (reprezint limbajul fr nici un cuvnt).

Modelarea i analiza SDED 103 probleme

Evoluia oricrui SED poate fi reprezentat complet printr-o pereche de

L i Lm sunt definite pe alfabetul de intrare;

L reprezint toate evoluiile posibile ale SED i se numete

Lm reprezint toate evoluiile dorite ale SED i se numete limbaj

nchiderea iterativ (sau operatorul Kleene)

Observaie: Operaia de nchidere iterativ se poate extinde i la un

Proiecia lui L peste o submulime de evenimente ^

Limbaje Formale i Automate

Proprietate important: Limbajul generat de ctre un SED este

este o ER care modeleaz limbajul ce conine doar evenimentul

este o ER care modeleaz limbajul vid;

() a , a este o ER care modeleaz limbajul reprezentat de

dac a, b sunt ER, atunci (a b), (a + b), a*, b* sunt ER

Dac este ER,

Definiie: Un automat finit determinist AFD se definete ca un quintuplu :

(q, wa) = ( (q, w), a) = q Q

Modelarea i analiza SDED 103 probleme

Qm = mulimea strilor marcate.

tranziia sub evenimentul a.

Dac Qm , atunci automatul se numete acceptor.

Dou automate G1 si G2 sunt echivalente dac limbajele lor

Definiie : Un automat finit nedeterminist AFN se definete ca un quintuplu

dac a, b sunt ER, atunci (a b), (a + b), a, b sunt ER

G (q) = (q, ) ={q |q Q} - mulimea tuturor strilor n care