Documente Academic
Documente Profesional
Documente Cultură
FOLOSITE N
MODELAREA I CONTROLUL
UNUI CENTRU DE COMENZI PRIN TELEFON
I. Noiuni teoretice
Definite de ctre Carl Adam Petri n anii 1960 n teza sa de doctorat, retelele Petri au
abilitatea de a generaliza teoria automatelor, reprezentnd o metod formal / matematic
pentru modelarea i verificarea sistemelor (concurente/distribuite)
Unul dintre modelele matematice folosite pentru modelarea sistemelor reale
secveniale era acela al automatelor finite, sau altfel spus al sistemelor tranzitionale de tip
stare-aciune. Pornind de la aceste modele secveniale, C.A. Petri a avut ideea de modelare a
sistemelor paralele i distribuite prin divizarea strii sistemului n anumite elemente care s
caracterizeze strile locale ale subsistemelor constituente, un element putnd face parte din
mai multe stri locale (exemplu resurse partajabile harddisk, imprimant, etc) i prin
caracterizarea evoluiei sistemului printr-o execuie concurenta a unor tranziii locale.
Primul model, i cel mai simplu, a fost cel al retelelor Petri de tip C/E (reele
conditie/eveniment), model care poate surprinde doar aspectul calitativ al sistemelor (sau
fenomenelor) modelate.
Modelul imediat urmtor elaborat a fost cel al retelelor Petri de tip P/T (reele
poziie/tranziie), care au fost introduse ca o generalizare a reelelor de tip C/E : ele pot
surprinde si aspectul cantitativ al sistemelor modelate: locaiile retelei pot contine mai multe
puncte (pn la un numr maxim precizat, numit capacitatea locaiei), spre deosebire de
reelele C/E a cror locaii pot contine cel mult un punct.
Pentru a putea modela sisteme cu o complexitate sporit prin reele nu prea
complicate, deci uor de studiat, urmtoarea idee a fost s se considere ca punctele din locaii
au ataat cte un tip dintr-o mulime fixata de tipuri (sau sorturi/culori) , deci pot
diferentiate ntre ele, locaiile putnd conine puncte din ecare tip. Astfel s-au introdus
reelele Petri de nivel nalt: reele Pr/E (retele predicat/eveniment), reele Pr/T (retele
predicat/tranziie), reele relationale i reele colorate.
O reea Petri se compune dintr-un tip particular de graf orientat notat cu N i o stare
iniial M, denumit marcaj iniial. Graful N al reelei Petri este orientat, ponderat i bipartit,
constnd din dou tipuri de noduri, denumite poziii sau locaii si respectiv tranziii; arcele
pleaca fie de la o poziie la o tranziie, fie de la o tranziie la o poziie.
Ca simbolizare grafic, poziiile se reprezint prin cercuri, iar tranziiile prin bare sau
dreptunghiuri. Arcele sunt etichetate cu ponderile lor (valori ntregi, positive); un arc cu
ponderea k poate fi privit ca o mulime de k arce paralele cu o pondere unitar. Etichetele
pentru pondere unitar se omit n reprezentrile grafice uzuale. ntr-o astfel de reea, condiiile
procesului numite locaii, mpreun cu evenimentele care se produc numite tranziii, formeaz
prin intermediul unor arce un graf bipartit orientat.
Tranziia T2 elibereaz dou jetoane ctre locul P3 doar la sfritul perioadei de activare(t
= 3).
O tranziie activabil nu poate fi activat dect dac este inactiv (dac n tranziie nu se
gasesc jetoane "ngheate").
Pentru a fi complet cunoscut, starea unei reele Petri temporizate trebuie descris prin:
marcajul reelei;
II.
Aplicaie
Urmtoarea zon este cea de pregtire a comenzii n depozit, aceasta fiind alctuit din
urmtoarea scurt succesiune de operaii:
1. Se pregtete fiecare comand si este ncarcat n camion de ctre un lucrtor depozit;
aceast operaiune dureaz, n medie, aproximativ 10 minute, avnd la dispozitie 4
lucrtori n depozit.
2. n momentul n care n camion se afl 10 comenzi, acesta pleac sa livreze.
Fluxul operaional ce trebuie urmrit pentru livrarea propriu-zis este format din paii:
1. Resursa ofer livreaz comenzile, operaiune ce dureaz aproximativ 30 de minute per
camion; firma are la dispoziie 3 camioane;
2. La revenire sunt predate tichetele corespunztoare comenzilor livrate, semnate de ctre
clieni;
3. Este confirmat livrarea tuturor pachetelor;
4. Operaia de livrare este ncheiat.