Home - Rasfoiesc.com
Educatie Sanatate Inginerie Business Familie Hobby Legal
Doar rabdarea si perseverenta in invatare aduce rezultate bune.stiinta, numere naturale, teoreme, multimi, calcule, ecuatii, sisteme




Biologie Chimie Didactica Fizica Geografie Informatica
Istorie Literatura Matematica Psihologie

Informatica


Index » educatie » Informatica
» LUCRARE DE DIZERTATIE INFORMATICA APLICATA IN STIINTA, TEHNOLOGIE SI ECONOMIE - RETELE PETRI, INSTRUMENT DE MODELARE


LUCRARE DE DIZERTATIE INFORMATICA APLICATA IN STIINTA, TEHNOLOGIE SI ECONOMIE - RETELE PETRI, INSTRUMENT DE MODELARE


UNIVERSITATEA DE VEST TIMISOARA FACULTATEA DE MATEMATICA SI INFORMATICA

MASTER:INFORMATICA APLICATA IN STIINTA, TEHNOLOGIE SI ECONOMIE



LUCRARE DE DIZERTATIE

RETELE PETRI

INSTRUMENT DE MODELARE

Summary

This paper follows the deepening of Petri networks, is structured in five chpaters when you through as many definitions and applications of networks Petri.

In the first chapter recall some generalities about Petri networks, such as structure, marking Petri networks, their operating rules, state- space of a Petri network all those mentioned are structured as in a systematic way to emphasize information that we have.

Of this chapter we find out in a Petri network is composed namely a 4- tuplu

C = (P, T, I, O), then to deepen the marked Petri networks marking is an assingnment of tokens of a Petri network locations. In terms of operation of a Petri network it is controlled by the number and distribution Petri network chips, here we have the state – space of a Petri network is defined by the marking of this is the set of all markings.

In chapter two we modeling using Petri networks, which were designed especially fot these thing. Many systems, especially those with separate components, can be modeled using Petri networks. Here we have events and conditions first paragraph, where events are actions that occur in the system, their appearance is controlled by the state of system, it can be described as a lot of conditions, terms of being a predicate or a description logic system state, hence we have a condition that can be either true or false, the associated application of this paragraph pointing very detailed what i said above.

Finally reported and other behavioral elements of Petri networks such as parallelism, coordination, mutual exclusion, producer- consumer problem example.

In chapter three an analysis on Petri network that consists of safety, edges, conservation, sustainability, triggering sequences, accesible and coverage.

In chapter four which are entitled to technical analysis follow matrix equations

there are two major techniques for analyzing Petri networks, which will be presented in this section they provide mechanisms for solving some of the earlier problems, the main technique

Petri network is used to analyze tree accessibility, the other technique assuming matrix equations. The most important element is the tree so to speak accessibility tree of accessibility is a lot of accessibility Petri networks Reduction to a finite representation can be achieved by several methods we must find a way to limit new bookmarks this operation is facilitated by dead nodes, ie markings where no transition not possible, they are called terminal nodes.

Last paragraph of this chapter deals with detection and error handling, recommended that the detection of errors to be in an early stage for their solution in a later stage be as easy. Methodologies developed to date, considers only detect errors in the equipment, as long as their treatment is performed on the most appropriate level. Error handling should be suitable for every level of production system, the level of equipment, errors must be determined and, if possible defective car must be repaired automatically.

Last chapter entitled nesting Petri networks represent the striking applications of this work which concludes importance, usefulness and not least dexterity working with networks Petri. Petri networks are nested Petri net where tokens can be Petri net itself, called chip networks (TN-Token Nets). Ability to change the chip network TN is following advantages:

updating collection protocols; Change processes continue; The ability to shape decisions as different parties. To consider a nested Petri net introduces special type of colored networks.

The key to proper functioning of a system are essentially: normal course, stability and error handling where possible. Nested Petri networks have gradually developed and demonstrated by customizing properties of stability.

The book presents basic concepts, properties and analysis techniques for Petri networks classical. Type workflow Petri networks by the existence of property developers ensure stability system building process flows (workflow) that ensure proper conduct correct processes.

Introducere

Rar vom gasi o ramificatie a Informaticii in care cercetarea sa stagneze sau sa se desfasoare anevoios. Retelele Petri [16], [13] nu fac exceptie–dovada sunt multiplele aplicatii practice dezvoltate pe baza acestora. In general, insa, Retele Petri sunt considerate mai dificil de abordat, dar trasatura mea definitorie o constituie predilectia pentru tot ceea ce inseamna o provocare, prin urmare in Retelele Petri am vazut o oportunitate in acest sens.

Sistemele cu evenimente discrete s-au individualizat ca directie proprie de cercetare in ultimii 20 - 30 de ani, avand un impact considerabil asupra dezvoltarii tehnologice din diverse arii ale ingineriei, cum ar fi: sisteme de fabricatie, sisteme de transport, sisteme de comunicatii, sisteme de operare si platforme software dedicate, precum si asupra controlului de tip procedural a numeroaselor clase de procese automatizate. Domeniul sistemelor cu evenimente discrete se constituie dintr-o serie de resurse distincte ca: teoria automatelor si a limbajelor formale, teoria retelelor Petri, teoria sistemelor de asteptare, teoria algebrica a sincronizarii, analiza perturbatiilor.

In lucrare se prezinta fundamentul teoretic al retelelor Petri [13], [16], care pe parcursul celor aproape cinci decenii de la prezentarea tezei de doctorat a matematicianului german Carl Adam Petri, au aratat o deosebita flexibilitate in abordarea numeroaselor tipuri de probleme practice, precum si o mare capacitate de extindere ca sfera de operare, prin inglobarea unor puncte de vedere tot mai complexe.

Retelele Petri au fost introduse de catre Carl Adam Petri in anii 60, la acel moment modelele matematice folosite pentru modelarea sistemelor reale distribuite erau sistemele tranzitionale de tip stare-actiune (automate finite). Pornind de la aceste modele C.A. Petri a introdus ideea de modelare a sistemelor distribuite, divizand sistemul in anumite elemente care ar caracteriza starile locale ale sistemului modelat si caracterizand evolutia sistemului printr-o executie concurenta a unor actiuni locale. Ele formalizeaza descrierea concurentei, conflictului si sincronizarii in sistemele distribuite intr-o maniera inductiva.

In multe domenii de cercetare comportarea sistemului real se studiaza nu direct pe sistem, ci indirect, cu ajutorul modelului. Modelul – intruneste proprietatile caracteristice pentru obiectul sau sistemul studiat. Studiind modelul sistemului dat se pot deduce informatii noi fara a avea cheltuieli costisitoare.

Teoria retelelor Petri s-a dezvoltat in doua directii [13]:

1.Teoria formala a retelelor Petri – care elaboreaza mijloacele, metodele si notiunile necesare pentru utilizarea retelelor Petri.

2. Teoria aplicativa a retelelor Petri – care are drept scop utilizarea retelelor Petri la modelarea nemijlocita a sistemelor, analiza lor si obtinerea rezultatelor.

Modelarea sistemelor distribuite cu ajutorul retelelor Petri se efectueaza la nivel de stare: se determina ce actiuni se produc in sistem, care stari preced acestor actiuni si in ce stari va trece sistemul dupa producerea actiunilor. Simuland modelul de stari prin retele Petri se obtine descrierea comportamentului sistemului.

Retelele Petri au cunoscut o dezvoltare vertiginoasa, deoarece bineficiaza de trei atuuri fundamentale: simplitate, generalitate, adaptabilitate.

Analiza rezultatelor obtinute prin simulare permite sa cunoastem starile in care s-a aflat sau nu sistemul, care sunt, in principiu, starile neaccesibile, insa o astfel de analiza nu ofera informatii despre caracteristicile numerice care determina starile sistemului.

De aceea au aparut tipuri noi de retele Petri care incearca sa inlature aceste neajunsuri – retele Petri cu prioritati, retele Petri colorate, retele Petri cu inhibitie, retele Petri cu auto-modificare, retele Petri cu resetare, retele Petri FIFO, retele Petri controlate prin cozi, retele Petri controlate prin automate, retele Petri conditionale, retele Petri selective, retele Petri cu salturi, retele Petri temporizate (ultimele reprezinta unul din tipurile de retele Petri supuse studiului in prezenta lucrare).

In prezent retelele Petri au numeroase aplicatii si sunt utilizate in diverse domenii: inginerie, modelarea proceselor de afaceri, deoarece dispun de o reprezentare grafica foarte accesibila si au o semantica bine definita care permite o analiza formala a comportamentului si proprietatilor sistemelor modelate.

In lucrare sunt utilizate metodele teoriei invariantilor algebrici si metodele structurilor de accesibilitate si de acoperire pentru verificarea proprietatilor structurale ale claselor de retele Petri studiate.

Studierea proprietatilor retelelor Petri temporizate, formularea si rezolvarea noilor probleme, precum si gasirea unor clase cat mai largi de retele Petri temporizate pentru care proprietatile lor pot fi verificate pe baza studierii proprietatilor retelelor Petri suport respective (netemporizate).

S-a urmarit:

1. Studierea tehnicilor de analiza a retelelor Petri temporizate cum ar fi: tehnica invariantilor, structurile de accesibilitate si de acoperire.

2. Decidabilitatea unor probleme puse in legatura cu retelele Petri temporizate: viabilitate, marginire, accesibilitate, acoperire, pseudo-viabilitate.

3. Definirea retelelor Petri temporizate cu salturi si a structurilor de acoperire respective.

4. Decidabilitatea unor probleme puse in legatura cu retele Petri temporizate cu salturi: accesibilitate, acoperire, marginire, viabilitate, reducere.

5. Definirea retelelor fluxuri de lucru temporizate precum si a proprietatilor acestora: corectitudinea, marginirea, viabilitatea.

6. Decidabilitatea proprietatii de corectitudine a WF retelelor temporizate.

7. Definirea multimii proceselor pentru retele Petri temporizate.

Utilizand notiunea de retea flux de lucru temporizata permite verificarea proprietatii de corectitudine a retelei Petri. Considerand proprietatile de viabilitate si marginire drept unele din cele mai importante intr-un sistem distribuit sunt teoreme care fac legatura dintre aceste proprietati si proprietatea de corectitudine a unor clase mai restrictionate de retele flux de lucru temporizate. Utilizand aceste teoreme se poate arata ca problema corectitudinii este decidabila pentru aceste clase. A fost introdusa notiunea de multime a proceselor unei retele flux de lucru temporizate, precum si algoritmul determinarii acestei multimi. De se poate arata ca pentru o anumita clasa de retele flux de lucru temporizate multimea proceselor ei coincide cu multimea proceselor retelei flux de lucru suport respective.

Lucrarea are ca prim obiectiv prezentarea conteptelor de baza ale retelelor Petri, a instrumentelor de analiza a lor insotite de exemple ilustrative. Al obitctiv este acela de a construi un model pentru traterea exceptiilor intr-un proces de fabricatie. In acest scop s-au preluat extensii ale retelelor Petri [13],[13], [13], [13] [13] si [15]. Particularitetile cerute de compexitatea sistemului modelat au impus utilizarea conceptelor retelelor Petri colorate [7] si [20]. Utilizand retele workflow extinse si imbricate, s-a dezvoltat modelul in care exceptiile sunt elemente de retele imbricate. Ca si instrument de slimulare s-a utilizat un produs [23] dezvoltat la Universitatea Tehnica din Iasi.

CAPITOLUL 1

DEFINITII FUNDAMENTALE

1.1. Structura unei retele Petri

O retea Petri este compusa [13], [16] din patru parti - o multime de locatii S;

- o multime da tranzitii T;

- o functie de intrare I;

- o functie de iesire O;

Functiile de intrare si iesire sunt relatii intre T si S.

Functia de intrare I este o functie de la o tranzitie la o colectie de locatii care poarta numele de locatii de intrare ale tranzitiei.

Functia de iesire O este o functie de la o tranzitie la o colectie de locatii care poarta numele de locatii de iesire ale tranzitiei.

Teoria retelelor Petri a fost initiata de Carl Adam Petri in 1962 in incercarea sa de a dezvolta o teorie matematica adecvata studierii sistemelor distribuite in care comunicarea, sincronizarea, paralelismul si concurenta ocupa un loc important. Aplicatiile retelelor Petri in domenii ingineresti, social-economice sau invatamant le-au propulsat in centrul atentiei cercetatorilor la foarte scurt timp de la aparitia lor. Comparate cu alte modele orientate in mod direct spre modelarea limbajelor de programare concurente, retelele Petri si-au dovedit eficienta si intr-un cadru de acest gen.

Definitia 1 O structura de retea Petri C este un 4- tuplu C=(P,T,I,O), unde:

P= este o multime finita de locatii, n ≥ 0;

T= este o multime finita de tranzitii, m ≥ 0;

Multimea locatiilor si multimea tranzitiilor sunt disjuncte P∩T=.

I:T este functia de intrare, o functie de la multimea tranzitiilor la colectia de locatii.

O:T este functia de iesire, o functie de la multime tranzitiilor la colectia de locatii.

Definitia 2 Definim functia de intrare I si functia de iesire O dupa cum urmeaza:

I:T unde:

#(t

Definitia 3 Un graf de retea Petri este un “multigraf orientat bipartit” G= (V,A) unde V=este o multime de varfuri si A= este un multiset de arce directionate .

Reteua V poate fi partitionata in doua retele disjuncte P si T astfel incat

V= P si pentru fiecare arc distinct daca atunci fie .

Mai jos vom reprezenta grafic un graf de reta Petri care corespunde urmatoarei structuri reprezentata ca un 4-tuplu C=(P,T,I,O), unde:

P =

T =

FIG 1:Un graf de retea Petri

FIG 2: Duala retelei Petri din figura 1

Duala unei retele Petri C =(T, P, I, O) rezultata din interschimbarea locatiilor si tranzitiilor. Structura grafului se pastreaza, interschimband cercurile si barele grafului pentru a indica schimbarea suferita. Cea de-a doua figura 2 indica duala retelei din figura 1. Duala este o afirmatie, un punct de vedere, des utilizat in teoria grafurilor si de asemenea un concept interesant vizavi de retelele Petri, dar fiind un proces mai complicat, fiind greu de definit mai ales duala unei retele Petri marcate, nu s-a folosit in cercetarea asupra retelelor Petri, mai jos incercam sa aprofundam retelele Petri marcate.

1.2. Marcajele retelelor Petri

Un marcaj este o asignare de jetoane a locatiilor unei retele Petri. Conceptul de jeton este fundamental in teoria retelelor Petri (la fel locatiile si tranzitiile). Jetoanele sunt asignate locatiilor unei retele Petri si pot fi gandite ca apartinand acestora.

Definitia 4:Un marcaj al unei retele Petri C = (P, T, I, O) este o functie de la multimea locatiilor P la multimea numerelor naturale N, si anume .

Marcajul poate fi, de asemenea, definit ca un vector n-dimensional unde n= card(P),

Definitiile apartenente uni marcaj ca o functie si ca un vector se bazeaza, in mod evident, pe relatia .Deoarece numarul de jetoane care poate asignate unei locatii a unei retele Petri este nemarginit, exista o infinitate de marcaje pentru o retea Petri. Multimea tuturor marcajelor pentru o retea Petri cu n locatii este multimea tuturor vectorilor n- dimensionali din . Aceasta multime infinita este bineinteles nenumarabila.

1.3.Reguli de functionare pentru retele Petri

Functionarea unei retele Petri este controlata de numarul si distributia jetoanelor in reteaua Petri [4]. O retea Petri se executa prin declansarea tranzitiilor. O tranzitie se declanseza prin mutarea jetoanelor din locatiile de intrare si crearea de noi jetoane care sunt distribuite in locatiile de iesire. O tranzitie este posibila daca fiecare dintre locatiile sale de intrare contine un numar de jetoane mai mare sau egal cu numarul de arce de la acea locatie la tranzitie. In locatiile de intrare sunt jetoane care permit o tranzitie ele fiind jetoane de validare.

Definitia 5: O tranzitie dintr-o retea Petri marcata C= (P, T, I, O) cu marcajul este permisa daca pentru toate .

O tranzitie se declanseaza prin mutarea tuturor jetoanelor posibile din locatiile de intrare si depozitarea lor in fiecare locatie de iesire, cate un jeton pentru fiecare arc de la tranzitie la locatie.

Definitia 6: O tranzitie intr-o retea Petri marcata cu marcajul se poate declansa de fiecare data cand este posibila. Declansarea unei tranzitii posibile produce un nou marcaj definit de relatia:

FIG 3:Schimbarea marcajului unei locatii cand o tranzitie se declanseaza. Fiecare locatie poate sa nu fie intrare sau iesire a tranzitiei, bineinteles in figura avem doar cazul in care multiplicarea este zero sau unu.

Exemplu: avem urmatoarea figura:

FIG 4: Retea Petri marcata pentru a arata regulile de declansare.

Tranzitiile sunt posibile.

Deci, consideram reteaua Petri marcata, ca in figura 4 . Cu acest marcaj, trei tranzitii sunt posibile si anume , tranzitia tnefiind posibila deoarece nu se afla nici un jeton in nici una din locatiile aferente si anume care sunt amandoua intrari ale tranzitiei t. Putem observa ca declansarea lui muta cate un jeton din fiecare intrare si depoziteaza cate un jeton in fiecare iesire.

1.4.Spatiul starilor unei retele Petri

starea unei retele Petri este definita de marcajul sau

spatiul starilor unei retele Petri este multimea tuturor marcajelor, adica , schimbarea de stare cauzata de declansarea unei tranzitii este definita de o functie de schimbare δ numita functie de tranzitie.

Definitia 7: functia de tranzitie δ: pentru o retea Petri C = (P, T, I, O) cu marcajul si tranzitiile este definita daca si numai daca .

Data fiind o retea Petri C = (P, T, I, O) cu marcajul initial , putem executa reteaua Petri prin declansari succesive de tranzitii. Declansarea unei tranzitii posibile in marcajul initial produce un nou marcaj . In marcajul nou, putem declansa orice tranzitie posibila, si anume , ceea ce determina aparitia unui nou marcaj . Si de aici putem continua cu aceasta operatie atata timp cat exista cel putin o tranzitie posibila in fiecare marcaj. Daca ajungem la la un marcaj in care nici o tranzitie nu este posibila, atunci nici o tranzitie nu poate sa se declanseze, si deci functia de tranzitie este nedefinita pentru toate tranzitiile, de aici deducem ca executia trebuie sa se opreasca.

Definitia 8: Pentru o retea Petri C = (P, T, I, O) cu marcajul , un marcaj este „direct accesibil”din daca exista o tranzitie astfel incat .

Definitia 9: Multimea de accesibilitate pentru o retea Petri C = (P, T, I, O) cu marcajul este cea mai mica multime de marcaje definita dupa cum urameaza:

-

- daca

Mai jos prezentam o aplicatie pentru a ne familiariza cu ceea ce definesc retelele Petri:

A. 1.

Pentru retelele Petri cu topologia si marcajul initial indicat in fig. AP2.1.1, sa se precizeze

care dintre tranzitii sunt validate si marcajul ce rezulta dupa executarea fiecareia din aceste

tranzitii in cazurile urmatoare:

1. retelele au capacitati infinite;

2. retelele au capacitati finite dupa cum urmeaza:

(i) pentru reteaua din fig. A.1. (a): K p K p K p

(ii) pentru reteaua din fig. A.2. (b): K p K p K p

(iii) pentru reteaua din fig. A.3. (c): K p K p K p K p



Solutie:

1. Aplicand regula simpla a tranzitiei retelei din fig. 29.(a) cu marcajul initial M0 = (2,1,0) se obtine:

• tranzitia t1 este validata deoarece M0 (p1) >W( p1,t1) ; prin executarea lui t1 se ajunge

din M0 la marcajul 1 M = (1,2,0) ;

• tranzitia t2 este validata deoarece M0( p2) =W( p2 ,t2) ; prin executarea lui t2 se

ajunge din M0 la marcajul 2 M =( 3,0,0) ;

• tranzitia t3 este validata deoarece M0( p1) >W(p1,t3) si M0( p2) =W(p2 ,t3) ; prin

executarea lui t3 se ajunge din M0 la marcajul 3 M =( 1,0,1) .

Analog, pentru reteaua din fig. A.1.(b) cu marcajul initial M0 = (1,1,0) rezulta:

• tranzitia t1 este validata deoarece M0( p1) >W( p1,t1) ; prin executarea lui t1 se ajunge

din M0 la marcajul 1 M = (1,2,0) ;

• tranzitia t2 este validata deoarece M0( p2) =W( p2 ,t2 ) ; prin executarea lui t2 se

ajunge din M0 la marcajul 2 M = (3,0,0) ;

• tranzitia t3 este validata deoarece M0( p1) >W( p1,t3) si M0 (p2) =W(p2 ,t3) ; prin

executarea lui t3 se ajunge din M0 la marcajul 3 M = ( 1,0,1).

Pentru reteaua din fig. A.1.(c) cu marcajul initial M0 = (2,0,0,1) , aplicarea regulii simple

a tranzitiei conduce la:

• tranzitia t1 este validata deoarece M0 (p1) >W (p1,t1) ; prin executarea lui t1 se ajunge

din M0 la marcajul 1 M = (0,3,0,2) ;

• tranzitia t5 este validata deoarece M0 (p4) =W(p4 ,t5) ; prin executarea lui t2 se

ajunge din M0 la marcajul 2 M =( 4,0,0,0) .

2. Tinand cont de marcajele la care s-ar ajunge prin executarea tranzitiilor validate determinate la punctul 1 si de capacitatile finite precizate ale pozitiilor, prin aplicarea regulii

stricte a tranzitiei se obtine:

(i) pentru reteaua din fig.29.(a), singura tranzitie validata este t3 deoarece:

M0 ( p1 ) >W ( p1,t3 ) , M0 (p2) =W (p2 ,t3) si K (p3) > M0( p3) +W (t3, p3) ; prin

executarea lui t3 se ajunge din M0 la marcajul 3 M =(1,0,1) ;

(ii) pentru reteaua din fig.29.(b) sunt validate:

• tranzitia t2 deoarece M0( p2) =W(p2 ,t2) ; prin executarea lui t2 se ajunge

din M0 la marcajul 2 M = (3,0,0) ;

• tranzitia t3 deoarece M0 (p1) >W( p1,t3) , M0 (p2 )=W( p2 ,t3) si

K (p3) = M0( p3) +W(t3, p3) ; prin executarea lui t3 se ajunge din M0 la

marcajul 3 M = (1,0,1) ;

(iii) pentru reteaua din fig.29.(c) nici una dintre tranzitii nu este validata.

CAPITOLUL 2

MODELAREA CU AJUTORUL RETELELOR PETRI

Retelele Petri au fost proiectate si folosite mai ales pentru modelare [1], [3]. Multe sisteme, dar mai ales cele cu componente separate, pot fi modelate cu ajutorul retelelor Petri, sistemele pot fi de tipuri diferite: computer hardware, sisteme fizice, computer software, etc. In particular retelele Petri pot modela fluxul de informatii sau alte resurse dintr-un sistem.

2.1. Evenimente si conditii

Evenimentele si conditiile permit reperzentarea unui sistem din punctul de vedere al retelelor Petri, si putem defini sau detalia aceste doua aspecte, in felul urmator:

evenimentele sunt actiuni care au loc in sistem, aparitia lor fiind controlata de starea sistemului, ea putand fi descrisa ca o multime de conditii.

conditiile fiind un predicat sau o descriere logica a starii sistemului, de aici avem ca o conditie poate fi fie adevarata fie falsa.

preconditii reprezinta faptul ca evnimentele sunt actiuni,ele se pot produce si pentru ca ele sa se poata produce este necesar ca anumite conditii sa fie adevarate.

aparitia evenimentului poate determina ca preconditiile sa nu mai fie adevarate, si poate stabili ca alte conditii, numite postconditii sa fie adevarate.

Exemplu: consideram problema modelarii unui atelier simplu, atelierul asteapta pana cand apare un ordin si apoi il prelucreaza si il trimite afara pentru distribuire. Conditiile pentru sistem sunt:

a)     atelierul este in asteptare

b)     a sosit un ordin si este in asteptare

c)     atelierul prelucreaza ordinul

d)     prelucrarea ordinului sa incheiat

Evenimentele pot fi:

sosirea unui ordin

atelierul incepe prelucrarea ordinului

atelirul termina prelucrarea ordinului

ordinul este trimis spre distribuire

Preconditiile evenimentului 2 sunt evidente: a si b.

Postconditia evenimentului 2 este c

Similar putem defini preconditiile si postconditiile celorlalte evenimente si sa construim urmatorul tabel cu rezultatele obtinute:

Eveniment

Preconditii

Postconditii

Nici una

b

a, b

c

c

d, a

d

Nici una

O astfel de reprezentare asupra unui sistem poate fi usor modelata ca o retea Petri, conditiile sunt modelate ca locatii si evenimentele sunt modelate prin tranzitii. Intrarile unei tranzitii sunt preconditiile evenimentului corespunzator, iesirile sunt postconditiile. Aparitia unui eveniment eclanseaza tranzitia corespunzatoare, o conditie adevarata este data de existenta unui jeton in locatia corespunzatoare conditiei, cand o tranzitie declanseaza, muta jetoanele de validare reprezentand indeplinirea postconditiilor.

Avem mai jos reteaua Petri din figura 5 care este un model de retea Petri pentru exemplul de mai sus cu atelierul.am etichetat fiecare tranzitie si locatie cu evenimentul sau conditia corespunzatoare.

FIG 5:Un model de retea Petri pentru un atelier simplu

Bineinteles ca putem modela si sisteme mai complicate, atelierul poate avea trei masini diferite si doi operatori si . Operatorul poate opera masinile , iar operatorul poate opera masinile . Lucrarile necesita doua stagii de prelucrare, mai intai acestea trebuie prelucrate de masina , apoi de oricare dintre celelalte doua masini.

Deci avem sistemul cu urmatoarele conditii:

a)     A sosit o lucrare si asteapta sa fie prelucrata de

b)     O lucrare a fost prelucrata de si asteapta sa fie prelucrata si de celelalte masini

c)     Prelucrarea lucrarii s-a terminat

d)     Masina este libera

e)     Masina este libera

f)      Masina este libera

g)     Operatorul este liber

h)     Operatorul este liber

i)      Masina este operata de

j)      Masina este operata de

k)     Masina este opearata de

l)      Masina este operata de

Aici pot aparea urmatoarele evenimente:

Soseste un ordin

Operatorul porneste prelucrarea lucrarii pe masina

Operatorul termina prelucrarea lucrarii pe masina

Operatorul porneste prelucrarea lucrarii pe masina

Operatorul termina prelucrarea lucrarii pe masina

Operatorul porneste prelucrarea lucrarii pe masina

Operatorul termina prelucrarea lucrarii pe masina

Operatorul porneste prelucrarea lucrarii pe masina

Operatorul termina prelucrarea lucrarii pe masina

Ordinul de livrare este trimis

Preconditiile si postconditiile fiecarui eveniment sunt urmatoarele:

Eveniment

Preconditii

Postconditii

Nici una

A

a, g, d

I

i

g, d, b

a, h, d

J

f

b, h, d

b, g, e

K

k

c, g, e

b, f, h

L

l

c, f, h

c

Nici una

Reteaua Petri pentru acest sistem este reprezentata in figura de mai jos:

FIG 6: Un exemplu de atelier mai complex, modelat ca o retea Petri

Un exemplu similar poate fi prezentat pentru un sistem de calcul care proceseaza sarcini de la un dispozitiv de intrare si scoate rezultatele pe un dispozitiv de iesire, sarcinile apar pe dispozitivul de intrare, cand procesorul este liber si se afla o sarcina pe dispozitivul de intrare atunci incepe prelucrarea sarcinii. Dupa ce prelucrarea este completa, acesta este trimisa pe dispozitivul de iesire, iar procesorul continua operatia cu o alta sarcina daca mai exista vreuna disponibila sau asteapta pana cand o noua sarcina pe dispozitivul de iesire, acest sistem poate fi modelat ca in figura de mai jos:


FIG 7: Modelarea ca o retea Petri a unui sistem de calcul simplu.

2.2.Concurenta si conflicte

O problema este paralelismul inerent, in modelul de retea Petri, doua evenimente care sunt permise si nu interactioneaza se pot produce independent, nu este necesara sincronizarea evenimentelor, decat daca acest lucru este cerut de catre sistemul care este modelat[13] [7].

O alta caracteristica majora a retelelor Petri este natura lor asincrona, nu exista o masura inerenta pentru fluxul de timp intr-o retea Petri. Din punct de vedere logic definim o ordine partiala a aparitiei evenimentelor. Evenimentele consuma cantitati diferite de timp in viata reala si variabilitatea lor este reflectata in modelele realizate cu ajutorul retelelor Petri prin faptul ca se realizeaza controlul secventei de evenimente fara a depinde de notiunea de timp. Astfel in figura 7 evenimentul „un job este terminat” trebuie sa fie ulterior evenimentului „a

inceput un job” , totusi nici o informatie nu este data si nici necesara, referitor la cantitatea de timp necesara pentru executarea unei sarcini. Ordinea aparitiei evenimentelor este una este una din cele mai multe permise de structura de baza, acestea conduc la un nedeterminism aparent in executia retelelor Petri, daca la orice moment este posibila mai mult de o tranzitie, atunci oricare dintre cele cateva tranzitii posibile poate fi urmatoarea ce se va declansa.

Declansarea nederteminista si nesimultana a tranzitiilor in modelarea sistemelor concurente este indicata de figura 8, in acesta situatie cele doua tranzitii posibile nu se afecteaza reciproc in nici un fel.

FIG 8: Concurenta    FIG 9: Conflict

Cele doua tranzitii se pot Aici tranzitiile sunt in conflict deoarece

declansa in orice ordine    declansarea oricareia jetonul din pva fi

mutat,astfel imposibila declansarea celeilalte

In figura 9 avem situatia in care simultaneitatea este mai dificil de manevrat, care poate fi controlata prin definirea de evenimente care nu apar simultan.

Cu toate aceste informatii pe care le-am mentionat putem intelege complet sistemele ce urmeaza sa fie modelate cu ajutorul retelelor Petri pentru a realiza o modelare corecta a comportamentului sistemului. Din nefericire, multe dintre cercetarile asupra retelelor Petri s-au axat asupra proprietatilor unei retele date sau ale unei clase de retele.

2.3. Alte elemente comportamentale

2.3.1 Paralelism

Paralelismul (sau concurenta) il putem introduce acum in mai multe moduri, consideram cazul a doua procese concurente, fiecare dintre ele putand fi reprezentat printr-o retea Petri, de aceea reteaua Petri compusa, care este pur si simplu reuniunea retelelor petri pentru fiecare din cele doua procese, poate reprezenta executia concurenta a celor doua procese.

In figura 10 este exemplificat grafic procesul de paralelism sau concurenta.

FIG 10: Paralelism sau concurenta

2.3.2. Coordonare

Paralelismul este util in solutionarea unei probleme numai daca procesele concurente pot coopera in solutionarea problemei. O astfel de cooperare presupune informatii si resurse comune pentru procese. Acest acces comun trebuie controlat pentru a asigura functionarea corecta a sistemului. Diverse probleme de coordonare s-a propus in literatura pentru a ilustra tipurile de probleme care pot aparea intre procesele ce coopereaza.

2.3.3. Problema excluziunii mutuale

Plecam de la presupunerea ca anumite procese au acces comun la o variabila, inregistrare, fisier sau alta data interna. Putem citi valoarea datei la care se are acces comun sau putem scrie o noua valoare, aceste doua operatii sunt de obicei operatii primare, adica pentru a modifica valoarea datei cu acces comun, un proces trebuie mai inatai sa citeasca vechea valoare, apoi sa calculeze noua valoare si in cele din urma sa scrie in loc noua valoare. Dar pot sa apara probleme daca doua procese incearca sa execute in acelasi timp aceasta secventa de instructiuni. Pentru a preveni acest tip de probleme, este necesara folosirea unui mecanism pentru excluziunea mutuala care este o tehnica de a defini un cod de intrare si iesire astfel incat un singur proces sa poata avea acces la o resursa comuna la un moment dat. Codul care apeleaza obiectul cu acces comun si are nevoie de protectie pentru a nu intra in interferenta cu alte procese se numeste sectiune critica. Deci avem ca in momentul in care un proces isi executa portiunea sa „critica” asteapta mai intai ca nici un alt proces sa nu isi execute aceasta portiune apoi „blocheaza” accesul la acesta, prevenind accesul altui proces in portiunea sa critica. In cele din urma intra in portiunea sa critica, o executa si atunci cand o paraseste o „deblocheaza” pentru a permite altor procese sa o acceseze. Aceasta problema este rezolvata cu ajutorul unei retele Petri cum avem in figura de mai jos:

FIG 11: excluziunea mutuala- accesul la scetiunea critica a celor doua procese este controlat astfel incat cele doua procese nu- si pot executa simultan secitunea critica.

Locatia m reprezinta permisiunea de a intra in sectiunea critica. Pentru ca un proces sa intre in sectiunea critica, trebuie sa aiba un jeton in care sa anunte ca se doreste intrarea in sectiunea critica, si de asemenea trebuie sa existe un jeton in m care sa semnalizeze permisiunea de a intra, daca ambele procese doresc sa intre simultan atunci tranzitiile sunt in conflict si numai una dintre ele se poate declansa.

2.3.4. Problema producator-- consumator

Aceasta problema implica de asemenea un obiect la care avem acces comun, doar ca de aceasta data acest obiect este specificat a fi un buffer. Procesul producator creeaza obiecte care sunt puse in buffer, procesul consumator asteapta pana cand un obiect a fost pus in buffer, il ia de acolo si il consuma.

FIG.12. Problema producator/consumator modelata ca o retea Petri.

O varianta la aceasta problema este problema multipli producatori/ multipli consumatori, mai multi producatori produc articole care sunt plasate intr-un buffer comun pentru mai multi consumatori. Figura 12 reprezinta reteaua Petri solutie a acestei probleme unde pornim sistemul cu s jetoane in locatia initiala a procesului producator si t jetoane in locatia initiala a procesului producator si t jetoane in locatia initiala a procesului consumator.

FIG.13.Problema multipli producatori/multipli consumatori. Sunt s producatori si t consumatori.

O alta varianta este problema producator/consumator pentru un buffer finit. In aceasta versiune a problemei producator/ consumator, se cunoaste ca buffer-ul dintre producator si consumator este finit, adica are numai n locatii pentru articole. De aceea producatorul nu poate intodeauna sa produca atat de rapid pe cat doreste, dar trebuie sa astepte daca consumatorul este incet si buffer-ul plin.



Figura de mai jos este o solutie la aceasta problema. Bufferul finit este reprezentat de doua locatii: B reprezinta numarul de articole care au fost produse dar nu au fost inca consumate iar C reprezinta numarul de locatii libere in buffer, initial C are n jetoane si B nici unul.

Daca bufferul se umple, atunci C nu va avea nici un jeton, iar B va avea n jetoane. In acest punct, daca producatorul incearca sa puna un alt articol in buffer, va fi oprit deoarece nu exista nici un jeton in C pentru a valida aceasta tranzitie.

FIG.14. Problema producator/consumator cu buffer finit.bufferul, reprezentat prin locatiile B si C este limitat la cel mult n articole.

2.3.5. Problema filozofilor care iau masa impreuna.

Aceasta problema a fost sugerata de Dijkstra(1968) si priveste (in cazul nostru cinci) filozofi care gandesc si mananca alternativ. Filozofii sunt asezati la o masa mare rotunda pe care se afla o cantitate mare de preparate chinezesti. Intre fiecare filozof se afla cate un betisor. Totusi pentru a putea manca sunt necesare doua betisoare, de aceea fiecare filozof trebuie sa ridice ambele betisoare, adica atat pe cel situat in stanga sa cat si pe cel din dreapta sa.

Figura de mai jos ilustreaza reteaua Petri solutie a acestei probleme, locatiile c1,,c5 reprezinta betisoarele, fiecare fiind liber are cate un jeton in marcajul initia. Fiecare filozof este reprezentat prin doua locatii Mi si Ei reprezentand starile de meditare, respectiv cea in care mananca. Pentru a trece de la starea de meditatie la cea in care mananca ambele betisoare trebuie sa fie disponibile, asa dupa cum modelam mai jos.

FIG.15. Problema filozofilor care iau masa impreuna. Fiecare filozof este modelat prin doua locatii meditare(Mi) si mancare (Ei).

CAPITOLUL 3

Analiza retelelor Petri

3.1.Proprietati si caracteristici

Am ilustrat puterea retelelor Petri, ele sunt capabile sa modeleze o mare varietate de sisteme, reprezentand corect interactiunile intre diferitele tipuri de actiuni care pot aparea.

Totusi modelarea ca atare are o utilitate marginita, este necesara analiza sistemului modelat, aceasta modelare conducand catre concluzii importante asupra comportamentului sistemului modelat, de aceea in acest capitol vom prezenta tehnici de analiza pentru retelele Petri [13] [16], [7].

Siguranta

Pentru o retea Petri care modeleaza un dispozitiv real, una dintre cele mai importante proprietati este siguranta, o locatie din reteaua Petri este sigura daca numarul de jetoane din acea locatie nu este niciodata mai mare decat 1.

Definitia 10. O locatie a unei retele Petri C=(P,T,I,O) cu marcajul initial este sigura daca pentru toate , o retea este sigura daca fiecare locatie din retea este sigura.

Atata timp cat o locatie nu este intrare multipla sau iesire multipla a unei tranzitii, este posibila fortarea acelei locatii ca sa fie sigura, tranzitiile care folosesc ca intrare sai iesire, se modifica dupa cum urmeaza:

daca atunci se adauga .

daca atunci se adauga

Scopul acestei noi locatii este acela de a reprezenta conditia „ este goala ”, de aceea cele doua sunt complementare, adica are un jeton numai daca nu are nici unul, si invers.

Orice tranzitie care muta un jeton din trebuie sa depoziteze unul in si viceversa.

O locatie care are o multiciplitate de doi pentru o tranzitie va primi doua jetoane la declansarea tranzitiei respective, si de aceea nu poate sa fie sigura, de exemplu in figura 16 avem o retea Petri simpla pe care o fortam sa fie sigura figura 17.

FIG.16. Retea Petri care nu este sigura.

FIG.17. Reteaua Petri din figura de mai sus „fortata” sa fie sigura.

Marginire

Siguranta este un caz special al proprietatii mai generale de marginire.

Definitia 11. O locatie € P a unei retele petri C=(P,T,I,O) cu un marcaj initial este k-sigura daca pentru fiecare . O locatie care este 1-sigura este numita simplu sigura.

De aici o locatie este marginita daca este kj – sigura pentru unii kj. O retea Petri este marginita daca toate locatiile sale sunt marginite.

Conservativitatea

Retelele Petri pot fi folosite pentru a modela sisteme de alocare a resurselor, ele pot modela cererile, alocarile si eliberarile pentru dispozitivele de intrare/iesire dintr-un sistem computational.

FIG.18. O retea Petri care nu este strict conservativa.

FIG.19. O retea Petri strict conservativa care este echivalenta cu reteaua din figura 18.

Conservativitatea este o proprietate importanta, aratam ca jetoanele care reprezinta resursele nu sunt nici create si nici distruse, ca sa facem acest lucru cel mai simplu ar fi sa cerem ca numarul de jetoane sa fie constant.

Definitia 12. O retea Petri C=(P,T,I,O) cu marcajul initial este strict conservativa daca pentru toate .

Pentru o vedere mai larga, totusi consideram figura 18 care reprezinta o retea strict conservativa deoarece declansarea oricarei tranzitii t1 sau t2 va micsora numarul de jetoane cu 1, in timp ce declansarea oricarei dintre tranzitiile t3 sau t4 va adauga un jeton la marcaj, convertim reteaua Petri din figura 18 la reteaua Petri din figura 19 care este strict conservativa.

Definitia 13. O retea Petri C=(P,T,I,O) cu marcajul initial este conservativa cu respectarea unui vector de ponderi daca pentru toate .O retea Petri este strict conservativa cu respectarea vectorului de ponderi (1,,1),retelele Petri sunt conservative cu respectarea vectorului de ponderi (0,,0).

Viabilitatea

Consideram un sistem cu doua resurse diferite q si r si doua procese a si b, daca ambele procese au nevoie de ambele resurse, va fi nevoie sa le foloseasca in comun, pentru asta vom cere fiecarui proces sa ceara o resursa si mai tarziu sa o elibereze. Procesul a cere mai intai resursa q si apoi resursa r, eliberand in final atat resursa q cat si resursa r, procesul b similar, doar ca cere mai intai resursa r si apoi resursa q, figura 20 ilustreaza aceste doua procese si alocarea resurselor cu ajutorul unei retele Petri.

3.2.Secvente de declansare

O alta abordare a analizei se concentreaza mai mult asupra secventelor de tranzitii ce se declanseaza doar asupra starilor. Aceasta abordare este legata de viabilitate. Putem determina daca o secventa anume de tranzitii ce se declanseaza este posibila, sau daca este posibila orice secventa dintr-o multime de secvente ce se declanseaza, aceste intrebari ca de analiza introduc conceptul de limbaj al retelelor Petri.

FIG.20. Alocarea resurselor pentru doua procese a si b si doua resurse q si r.

3.3.Accesibilitate si acoperire

Multe dintre problemele pe care le-am mentionat pana acum se concentreaza asupra marcajelor accesibile. Probabil cea mai simpla problema este problema accesibilitatii.

Definitia 14. Problema accesibilitatii – o retea Petri cu marcajul initial si un marcaj .

Definitia 15. Problema acoperirii- o retea Petri C cu marcajul initial exista un marcaj accesibil .

O alta utilizare a probemelor de tip accesibilitate ar fi sa ridicam la patrat continutul unor locatii, concentrandu-se numai asupra potrivirilor sau acoperind continutul unor cateva locatii importante, aceste probleme pot fi complicate in continuare daca vom dori sa stim accesibilitatea sau acoperirea pentru o multime de marcaje, problemele rezultate astfel se numesc problema accesibilitatii multimii si problema acoperirii multimii.

CAPITOLUL 4

Tehnici de analiza

Exista doua tehnici majore de analiza a retelelor Petri, ele ofera mecanisme de solutionare pentru cateva dintre problemele anterioare, tehnica principala folosita pentru analiza retelelor Petri este arborele accesibilitate, cealalta tehnica presupunand ecuatii cu matrice[13], [4], [16].

4.1. Arbore si accesibilitate

Arborele de accesibilitate reprezinta multimea de accesibilitate a unei retele Petri, pentru a ilustra cele afirmate vom considera figura 21, marcajul initial este (1 0 0), in acest marcaj doua tranzitii sunt posibile t1 si t2, deoarece consideram intreaga multime de accesibilitate, definim noi noduri in arborele de accesibilitate pentru marcajele care rezulta din declansarea ambelor tranzitii.

FIG.21. O retea Petri marcata pentru a ilustra constructia unui arbore de accesibilitate.

Daca aceasta procedura, adica cea din figura de mai jos, este repetata la infinit fiecare marcaj accesibil va fi eventual produs. Totusi, arborele de accesibilitate rezultat s-ar putea foarte bine sa fie infinit si deci arborele de accesibilitate sa fie infinit. In figura de mai jos observam foarte bine acest ciclu infinit.

FIG.22. Construirea unui arbore de accesibilitate.

Reducerea la o reprezentare finita poate fi realizata prin mai multe metode. Trebuie sa gasim o metoda de a limita noile marcaje (numite noduri de frontiera) introduse la fiecare pas, aceasta operatie este facilitata de nodurile moarte, adica acele marcaje in care nici o tranzitie nu este posibila, ele se numesc noduri terminale.

Mai exista o metoda care poate fi folosita pentru a reduce arborele de accesibilitate la o reprezentare finita, pentru aceasta consideram o secventa σ de tranzitii care se declanseaza, care incepe cu un marcaj μ, cu exceptia faptului ca are cateva jetoane „suplimentare” in unele locatii, ceea ce inseamna ca , deoarece decansarile tranzitiilor nu sunt afectate de jetoanele suplimentare, secventa σ poate fi declansata din nou, incepand din si terminand in . Deoarece efectul secventei de tranzitii σ a fost sa adauge jetoane la marcajul μ, la aceasta noua declansare va mai aduga inca jetoane la marcajul , astfel incat . Reprezentam numarul infinit de marcaje care rezulta din aceste tipuri de bucle folosind un simbol special ω, pe care il putem gandi ca „infinit” si care reprezinta un numar de jetoane care poate fi facut arbitrar de mare. Pentru orice constanta a, definim operatiile , singurele necesare pentru construirea arborelui de accesibiliate.Algoritmul incepe prin definirea marcajului initial ca radacina a arborelui, si initial, nod de frontiera. Atata timp cat exista noduri de frontiera, ele sunt procesate de algoritm.

Fie x un nod de frontiera ce urmeaza sa fie procesat atunci:

  1. Daca exista un alt nod y in arbore care nu este nod de frontiera si are acelasi marcaj asociat adica atunci nodul x este un nod duplicat.
  2. Daca nici o tranzitie nu este posibila pentru marcajul μ[x], atunci x este nod terminal.
  3. Pentru toate tranzitiile tj € T care sunt posibile in μ[x] creeaza un nou nod z in arborele de accesibilitate. Marcajul μ[z] asociat cu acest nou nod este pentru fiecare locatie pi:

a)     daca

b)     daca exista un nod y pe drumul de la radacina la nodul x cu .

c)     Altfel, .

Un arc etichetat tj este directionat de la nodul x la nodul z, nodul x este redefinit ca un nod interior; nodul z devine un nod frontiera. Cand toate nodurile au fost clasificate ca terminale, duplicate sau interioare, algoritmul se opreste.

FIG.23. Arborele de accesibilitate pentru reteua Petri din figura 21.

4.2. Siguranta si marginire

O retea Petri este sigura daca numarul de jetoane din fiecare locatie este cel mult 1.

O retea Petri este marginita daca exista un intreg k astfel incat numarul de jetoane din fiecare locatie sa nu fie mai mare de k..

O retea Petri este marginita daca si numai daca simbolul ω nu pare niciodata in arborele sau de accesibilitate.

Aparitia simbolului ω ca parte a unui arbore de accesibilitate arata ca numarul de jetoane este „potential nelimitat” ; exista o secventa de tranzitii ce se declanseaza care poate fi repetata de un numar arbitrar de ori pentru a creste numarul de jetoane la un numar arbitrar nelimitat, acest simbol indicand prin pozitia sa care locatie nu este marginita.

Conservativitate

O retea Petri este conservativa daca nu pierde sau castiga jetoane, ci doar le muta. De aceea doua jetoane pot fi interpretate ca un jeton care mai tarziu determina o tranzitie sa se declanseze, creeand doua jetoane, un vector de ponderi defineste valoarea unui jeton in fiecare locatie; ponderile sunt nenegative, o retea Petri este conservativa cu respectarea unui vector de ponderi daca suma ponerilor jetoanelor este contanta peste toate marcajele accesibile.

Conservativitatea poate fi efectiv testata folosind arborele de accesibilitate, acesta fiind finit, suma ponderilor poate fi calculata pentru fiecare marcaj, iar daca sumele sunt aceleasi pentru fiecare marcaj accesibil, atunci reteaua este conservativa cu respectarea ponderilor date, iar daca sumele nu sunt egale reteaua nu este conservativa.

Acoperirea

O ultima problema care poate fi rezolvata cu ajutorul arborelui de accesibilitate este cea a acoperirii. Determinam pentru un marcaj dat daca un marcaj este accesibil, dat fiind un marcaj initial μ, construim arborele de accesibilitate, apoi cautam orice nod x, cu , daca nu se gaseste un astfel de nod, marcajul nu este acoperit de nici un marcaj accesibil, iar daca este gasit un astfel de nod, μ[x] da un marcaj accesibil care acopera.

Drumul de la radacina la marcajul acoperitor defineste secventa de tranzitii care conduce de la marcajul initial la marcajul acoperitor, iar marcajul asociat cu acel nod defineste marcajul acoperitor. Din nou simbolul ω trebuie tratat ca reprezentand o multme infinita de valori, daca o componenta a marcajului acoperitor este ω, atunci va exista o bucla in drumul de la radacina la marcajul acoperitor , e necesar sa parcurgem aceasta bucla de un numar de ori suficient de mare pentru a creste componentele corespunzatoare astfel incat sa nu fie mai mici decat marcajul dat.

4.3. Detectarea și tratarea erorilor

Se recomanda ca depistarea erorilor sa se faca intr-o faza incipienta, pentru ca o soluționare a acestora intr-o faza ulterioara sa fie cat mai facila. Metodologiile elaborate pana in prezent, considera detectarea erorilor numai la nivelul echipamentelor, atat timp cat tratarea lor este executata pe cel mai apropiat nivel [22], [17].

Erorile care pot sa apara sunt:

Blocaje/deadlock ( aflarea intr-o stare care nu permite executarea altui proces);

Ciclare/livelock (posibilitatea executarii proceselor, dar fara progres);

Procese moarte/dead task care nu pot fi executate niciodata.

In cazul sistemelor de producție automata putem considera doua tipuri de detectare a erorilor: - erori determinate prin monitorizarea parametrilor dispozitivelor specifice;

- erori ce nu pot fi determinate direct in etapa de monitorizare.

In general, metodele de detectare a erorilor pot fi grupate in trei categorii [19] [21]:

bazate pe model/model-based: starea actuala și viitoare (dintr-un model matematic) sunt comparate pentru determinarea erorii;

bazate pe cunoaștere/knowledge-based: modele calitative sunt asociate cu modele euristice pentru determinarea cauzei erorii;

bazate pe semnal/Signal-based: analiza spectrala nu poate fi incorporata in orice model.

Din punct de vedere teoretic, metoda bazata pe model ajunge la un grad inalt de maturitate, pentru sistemele liniare de control cu mici incertitudini. Modelarea bazata pe cunoaștere este aplicata cu succes in detectarea erorilor.

In cazul metodei bazata pe cunoaștere, detectarea și tratarea erorilor se poate face in urmatorii pași:

detectare;

culegerea datelor parametrilor operaționali date de senzori;

identificarea starii operaționale (normale sau anormale);

determinarea cauzei erorii;

tratare.

4.3.1.Detectarea erorilor

Etapa de extragere a datelor implica aparate de masura, pentru masurarea fenomenelor fizice (daca este posibil, fara interferența cu acestea). In general, culegerea datelor este un proces continuu și care nu poate depista situațiile anormale.

Etapa de identificare afecteaza analiza extragerii datelor la recunoașterea poziției/starii parametrilor. Aceasta determina o discrepanța intre generația actuala și generația ulterioara.

Etapa de diagnosticare trebuie sa determine cauzele erorilor. Metodele de diagonsticare pot fi grupate in:

symptom-based unde cunoștințele/experiența despre istoria proceselor sau experiența/cunoașterea statistica este organizata in cadru sistemelor expert care asociaza intrari cu simptome euristice.

Raționament calitativ(qualitative reasoning) sistemele fizice pot fi descrise de o structura in ordinea determinarii comportamentelor date de condițiile inițiale. Descrierea comportamentului poate fi un graf ce conține starile sistemului.

Construcția grafului care descrie aceste comportari ce pot fi solutionate/executate in doua etape:

bazate pe cunoașterea umana despre procese, care stabilesc relațiile dintre variabile și definesc criterii de alegere pentru starile urmatoare.

Bazate pe inregistrarea datelor, unde pot fi aplicate aproximari probabilistice pentru cautarea celei mai probabile rețele de incredere(interval).

4.3.2. Tratarea erorilor

Tratarea erorilor trebuie sa fie adecvata pentru fiecare nivel al sistemului de producție. In nivelul de echipament, erorile trebuie sa fie determinate și, daca este posibil, mașina defecta trebuie reparata automat [13], [14].

In functie de tipul erorii, se selecteaza o procedura de reparare. In general, cea mai buna selectare a unei proceduri trebuie sa aiba la baza evitarea valorilor la limita a parametrilor și evitarea efectelor colaterale.

Procesul de solutionare a erorilor poate fi realizat in doua moduri:

Ajustarea parametrilor operaționali fara schimbarea/reorganizarea structurii logice a mașinii;

Utilizarea resurselor redundante.(acest tip al redundanței poate da o performanța scazuta care este neadecvata și conduce la o creștere a complexitații)

Figura 24 arata structura suportabilitații/tolerantei erorilor mașinii bazate pe ajustarea parametrilor operaționali. De retinut este faptul ca se presupune ca erorile se produc numai pe obiectele de control (analizate). In general, interacțiunea umana este luata in considerare in etapa de monitorizare și comanda dispozitivelor de luare a deciziilor pe durata proceselor normale. Interacțiunea umana poate de asemenea sa fie efectuata in fazele de programare și mentenanța.

Controlorul și supervizorul coexista in aceasta structura. Supervizorul verifica performanța și controlorul definește procedurile care conduc la secvențele/operațiile care repara erorile. In general, informația de la controlor la supervizor conține semnale filtrate sau caracteristici extrase; astfel, tratarea informației este distribuita, permițand interpretari locale și selectarea informației trimise.

Fig. 24. Structura suportabilitații/tolerantei erorilor mașinii

In momentul apariției unei probleme la nivelul celulei de producție, pentru tratarea erorii, se identifica alte echipamente din aceeași celula care pot sa efectueze in intregime sau parțial funcțiile echipamentului neoperativ, acestea preiau sarcinile echipamentului defect, pana cand echipamentul respectiv ajunge operativ.

La nivelul producției, tratamentul erorilor este efectuat de reprogramarea rutelor fluxului de material in celule.

Metodologia care prevede mijloacele de modelare a sistemului considera detectarea, tratarea erorilor, și analiza proprietaților diferitelor soluții, ca fiind esențiale pentru proiectarea și implementarea unei autonomii și flexibilitați mai mari a sistemelor de producție.

CAPITOLUL 5

Imbricarea retelelor Petri

Se va proiecta un model pentru tratarea exceptiilor si a erorilor, pentru care definim retele Petri extinse si imbricate. Pentru a construi un sistem mai flexibil al managementului fluxului de producție se poate utiliza rețelelor Petri imbricate . Pentru gasirea unei soluții este necesar sa se cunoasca toate etapele, situațiile de excepție și orice combinație a acestora, folosind abilitatea, modificarea structurala a proceselor, chiar inlocuirea subproceselor sau extinderea lor. Presupunem data o colecție (biblioteca) a protocoalelor care vor fi utilizate ca blocuri de baza pentru construcția unor protocoale mai complexe .

Rețelele Petri imbricate sunt rețele Petri in care jetoanele pot fi rețele Petri insași, numite rețele jeton ( TN-Token Nets)[5], [6], [7], [8]. Capacitatea de modificare a rețelelor jeton TN are urmatoarele avantaje:

actualizarea colecției de protocoale;

Modificarea proceselor continue;

Capacitatea de modelare a deciziilor luate ca parți diferite.

Pentru a introduce rețele Petri imbricate [5], [6] consideram un tip special de rețele colorate [8]. Presupunem ca mulțimea U conține valoarea negru, corespunzatoare obiectelor ce nu conțin informații.

Intr-o rețea colorata, fiecare locație este mapata cu un tip, care este o submulțime a lui U. Mai presupunem ca L este mulțimea etichetelor pentru tranziții astfel incat τ L. Fiecarei etichete ii este asociat un numar natural unic, denumit rangul etichetei. Atunci definim mulțimea etichetelor de tranziție . Eticheta τ este o eticheta ”silențioasa”/fara efect.

Definiție 16 [15]: O rețea colorata peste universul U este un 6-uplu (P,T,F,ʋ,ρ, ), unde

P, T sunt doua multimi nevide (reprezentand multimea locatiilor si respectiv multimea tranzitiilor), PT = ;

este mulțimea arcelor

ʋ este o locație data ca o funcție cu dom(ʋ)=P, astfel incat ʋ(p)U, pentru orice p;

ρ este o funcție de tranziție cu dom(ρ)=T, astfel incat , pentru orice , unde și ;

este o funcție de etichetare cu dom()= și ran().

Definitia 17: Fiind data o rețea colorata N=(P,T,F,ʋ,ρ, ) peste universul U, un marcaj pentru N este o funcție MN, astfel incat pentru orice pși orice u, M(p,u)˃0 implica . Mulțimea tuturor marcajelor a rețelei colorate este data de .

O rețea cu marcaj colorat peste U este o pereche (N,M), unde N este o rețea colorata peste U și M este un marcaj colorat din N.

O rețea colorata definește un sistem de tranziție care furnizeaza starile observabile ale rețelei.

Definiția 18. O relație ternara este definita ca cea mai mica relație astfel incat pentru orice (N;M) , și Mai putem scrie și numai daca exista un marcaj astfel incat In final, inseamna ca exista o secvența astfel incat . In acest caz putem spune ca este accesibila in (N,M).

5.1. Rețele fluxuri de lucru extinse

Rețelele fluxuri de lucru ( rețea WF) [1], [14] [15] au o locație inițiala și una finala, și orice locație sau tranziție este o cale direcționata din locația inițiala spre cea finala. Extindem noțiunea rețea WF la un model special/excepție astfel incat tranzițiile trebuie sa termine execuția rețelei curente [43],[58].

Definiția 19: O rețea colorata N=(P,T,F,ʋ,ρ, ) peste universul U este o rețea fluxuri de lucru extinsa cu locația inițiala i, și locația finala f și mulțimea tranzițiilor de excepție daca:

1. Ø;

2. ;

3. pentru oricedaca și numai daca daca și numai daca Ø;

4. pentru orice nod exista o cale/drum de la i la n;

5. pentru orice nod exista o cale de la n la un nod in .

Rețele EWF confera un numar de avantaje din mai multe puncte de vedere ale modelarii intre care menționam faptul ca acestea fac o distincție clara intre o terminare normala și o terminare generata de o excepție. Spre deosebire de rețelele tradiționale fluxuri de lucru WF, o atenție speciala se acorda mutarii tuturor jetoanelor prezente in sistem cand era intalnita o situație de exceptie, in rețelele EWF aceasta cerința nu se utilizeaza[17].

Definiția 20: Fie N o rețea extinsa de fluxuri de lucru (EWF) cu o locație inițiala i și una finala f, și fie . Marcajul rețelei (N,M) este denumit inițial, respectiv final, daca și numai daca , respectiv . Inițializarea init(N) lui N este rețeaua marcata .

5.2. Stabilitatea rețelelor EWF

O alta proprietate naturala a rețelelor EWF este stabilitatea. Rețelele clasice WF. sunt stabile daca de la orice marcaj intermediar se ajunge la marcajul final. Proprietatea de soliditate/stabilitatea mai este uneori denumita terminare normala.

Definiția 21: O rețea EWF N=(P,T,F,ʋ,ρ, ) cu o locație inițiala i și una finala f peste universul U se numește stabila daca și numai daca pentru orice



fiecare sau exista a.i. pentru un ;

implica m=Ø pentru orice .

Din noțiunea de stabilitate formalizata in definiția 21, reiese faptul ca pentru orice stare posibila intotdeauna exista o posibilitate de a completa execuția pana intr-o stare finala, sau de a raporta o excepție. O a doua cerința a stabilitații este faptul ca nu se ajunge la o stare finala fara o execuție completa. In cazul rețelelor WF clasice, a doua condiție a stabilitații este redundanta.

Definiția 22. O rețea WF este stabila daca și numai daca:

pentru orice stare M accesibila din starea inițiala i, exista o secvența de tranziții ce permite starii M sa ajunga in starea finala f:

starea f este numai starea accesibila din starea i cu cel puțin un jeton in locația f:

nu exista tranziții moarte, adicaastfel incat .

Proprietatea de stabilitate reda dinamica rețelelor WF. Din prima cerința a definiției 21 reiese faptul ca dintr-o stare intermediara (posibila din starea inițiala) intotdeauna se poate ajunge intr-o stare finala. A doua cerința specifica faptul ca in momentul in care avem un jeton in starea finala, toate celelalte locații trebuie sa fie goale/vide. In majoritatea cazurilor, noțiunea de terminare proprie/normala este asociata primelor doua cerințe ale definiției anterioare. A treia cerința a definiției, afirma faptul ca din starea inițiala prin intermediul unei tranziții se poate ajunge la o noua locație (stare).

Lema 1: Fie N=( P, T, F ,ʋ, ρ, ) o rețea stabila EWF peste universul U. Fie , și . Fie unde

și

, pentru și și pentru orice .

Atunci rețeaua este o rețea stabila EWF peste U.

Remarcam ca t este o tranziție de excepție avand , pentru orice .

Lema 2: permite folosirea unei aproximari incrementale pentru a modela in primul rand cu o execuție normala evenimentul apoi adaugarea excepției.

5.3. Operații cu rețele EWF

Una dintre cele mai importante facilitați oferite de modelarea cu rețele Petri este evidențiera concurenței (paralelismului), sincronizarii și a conflictelor. Deoarece sistemele reale sunt complexe și este necesara o modularizare a lor se impune asigurarea unor facilitați de compunere [14].

Vom considera orice rețea ca fiind rețea EWF. Mulțimea tuturor rețelelor EWF marcate, sunt notate Nw (MW). Consideram numarul predicatelor și operațiilor pe rețele și rețele cu marcaj. Utilizam definiția 4.4.5 pentru a converti o rețea intr-o rețea cu marcaj, adaugand un marcaj inițial corespunzator și pentru orice rețea cu marcaj, putem verifica daca este un marcaj inițial și unul final.

Doua rețele pot fi combinate pentru a construi o noua rețea utilizind compunere secvențiala, paralela și alegere. Mai mult, compunerea paralela poate fi aplicata rețelelor marcate și compunerea secvențiala rețelelor și rețelelor marcate. Operații similare sunt definite și pentru rețelele fluxuri de lucru.

Lema 3: Pentru orice N1,N2NW ,. Mai mult și + este asociativa, iar și + sunt comutative. Daca sunt stabile atunci sunt de asemenea stabile.

Rolul compunerii secvențiale este de a extinde procesul de rulare cu o noua funcționalitate. Astfel definim compunerea secvențiala ca o operație pe rețele cu marcaj și rețele (simple) dupa cum urmeaza , iar compunerea paralela: , unde sunt rețele EWF cu marcaj.

Operațiile rețelelor cu marcaj satisfac urmatoarea lema:

Lemma 4 Pentru orice {N1,M1),(N2,M2)Mw și NNw, (N1, M1) ·N Mw, și (N1, M1) || (N2, M2) Mw. mai mult, · este asociativa și || este comutativa.

Compunerea paralela și alegerea sunt congruente in raport cu EWF-bisimilaritea și compunerea secvențiala este congruenta daca primul operator este stabil .

Teorema 1: Fie rețele EWF, astfel incat . Atunci . Fie rețele EWF cu .Atunci și .

5.4. Imbricarea rețelelor

Consideram un univers inițial U0 ce conține valori de baza, cum ar fi valori intregi, valori compuse cum ar fi perechile/cuplu, liste și mulțimi ale valorilor compuse. Universul urmator și mulțimile rețelelor sunt definite recursiv prin urmatoarea definiție:

Definiția 23: Mulțimile N0, M0 ale rețelelor și marcajul rețelei de adancime zero este definit ca mulțimile rețelelor colorate și rețelelor marcate colorate cu peste universul U0.. Pentru fiecare n > 0 valoarea universului Un mulțimile Nn, Mn ale rețelelor și rețelelor marcate ale adancimii n sunt definite recursiv: Un= Un-1Mn-1 și Nn și Mn ca mulțimea rețelelor colorate și a rețelelor cu marcaj color peste universul Un. mulțimea Nw Un≥0 Nn,Mw = Un≥0 Mn și Uw = U0 Mw.

Observam ca definiția recursiva a noțiunii de rețea imbricata marcata de adancime n permite jetoanelor sa fie colorate de rețele imbricate de adancime n-1.

Exemplu: consideram ca mulțimea U0 conține doar numere naturale. In figura 25 se folosește N1 ca jeton in rețeaua N0.

Teorema 2. Fie L o colecție de protocoale a rețelelor EWF stabile. Atunci, orice termen al rețelei imbricate EWF (cu marcaj) care se obține din L și o operație de compunere este stabil.

Exemplu 2: Consideram rețeaua Petri imbricata pentru doua operații/activitați desfașurate in cadrul Autoliv Lugoj. (producția de airbag-uri)[37].

Operațiile de taiere și impachetare sunt prezentate detaliat pentru a permite formarea unei imagini complete asupra procesului. Pentru operația de taiere, etapele sunt:

Se va introduce bara metalica pentru fixare in rola de material tinand cont de sensul de de bobinare a rolei care se va instala pe mașina, se va ridica cu ajutorul motostivuitorului și se va fixa in suportul masinii.

Materialul trebuie aliniat astfel incat marginea materialului sa fie perpendicular pe senzor. Senzorul are rolul de aliniere automata a marginii materialului.

La incarcarea materialului in mașina. acesta va fi introdus minim pana la jumatatea mașinii dupa care se va realiza selectarea Datum-pointului pentru primele piese.

Taie perna cu punctul de referinta indicat folosind markerul.

Verificarea vizuala unor eventuale defecte:- defecte de țesatura șı a invelisului de silicon referitoare la catalogul de standarde acceptate vor fi separate in cutia de rebuturi.

Ia elementul decupat și deschide gatul.

Introdu bara pentru a te asigura ca nu este lipit.

Pune perna in zona de așteptare a urmatoarei operații de la stația alaturata.

Operația de impachetare:

  1. Inainte de a pune in cutie, pentru fiecare bucata se apasa pe butonul numaratorului pentru a urmari exact numarul de piese in cutie.
  2. In cutia de plastic se așeaza o punga de plastic albastra in care se vor impatura produsele, scopul acesteia este sa protejeze airbagurile.
  3. Se introduc 16 cortine in cutie, toate fiind orientate cu gatul intr-o singura parte.
  4. Se pune un sul de carton in partea dreapta a cutiei
  5. Aceași parte se impatura de 2 ori in cutie
  6. Se pune un sul de carton in partea stanga a cutiei
  7. Aceași parte se impatura de 2 ori in cutie
  8. Dupa ce s-au pus in cutie 16 OPW-uri cu h-sock-urile introduse, se scoate eticheta de cutie,se ștampileaza și se pune deasupra OPW-urilor.
  9. Ultima operație este reprezentata de impaturarea pungii deasupra produselor. Fiecare cutie se va pune pe palet

Modelarea celor doua operații cu rețele Petri este cea din figura 27.

a) b)

Fig. 27. Modelarea operației de taiere și ambalare cu rețele Petri.

In figura 27. a) este prezentata o rețea imbricata, adica jetonul Rețea2 este rețeaua din figura 27. b).

Verificarea fluxului de lucru conține trei componente principale:

- verificarea structurii (are ca scop studierea consistenței fluxului de lucru, adica determinarea ,daca este cazul, a blocajelor, ciclarii sau/și lipsa sincronizarii);

- verificare temporara ( restricțiilor temporare le sunt atribuite importante specificații ale fluxului de lucru);

- verificarea resurselor/ analiza performanțelor (verificarea resurselor are ca scop stabilirea starii resurselor pentru a nu aparea conflicte intre activitați).

Din paragrafele anterioare, stabilitatea rețelei Petri implica o terminare normala, adica activitațile/operațiile sunt finalizate fara probleme.

In cazul in care nu exista stabilitate, avem o terminare anormala. Aceasta terminare anormala se datoreaza aparițiilor unor erori. Pentru remedierea acestora este necesara o detectare/determinare intr-un timp cat mai scurt, pentru ca activitațile care urmeaza sa poata fi duse la final (terminare proprie).

Analiza operației de taiere, duce la apariția urmatoarelor defecte:

A: Perna taiata cu caracteristici greșite;

Categorie

Cauza

Acțiune

Metoda

Operatorul nu a primit informații despre metodele de selectare Datum și a poziției critice.

Poziționarea corecta a senzorului P2.

Persoana

Operatorul nu a verificat termenii standard ai cortinei

Poziționarea senzorului P2 arata operatorilor punctele de focalizare

Mașina

Eroare software pe durata operației de taiere

Este necesar suport tehnic pentru determinarea originii cauzei

Persoana

Stabilirea originii cauzei in ansamblu, analiza acesteia și luarea deciziilor detaliate necesare

B: Operația de capsare a eșuat

Categorie

Cauza

Acțiune

Persoana

Operatia a fost comandata de operator

Detectarea manuala a metalului in celula

Persoana

Operatorul nu efectuat inspecția

Detectarea manuala a metalului in celula

Persoana

Operatorul nu efectuat inspecția

Operatorul trebuie sa aplice ștampila mai aproape de ambele capse

Persoana

Operatorul nu efectuat inspecția

Instalarea sistemului de senzor in detectarea prezenței capsei

C:Taiere prea aproape de linia neagra

Categorie

Cauza

Acțiune

Mașina

Aliniere incorecta a materialului

Plasarea senzorilor care detecteaza alinierea incorecta a materialului

Persoana 

Operatorul nu a aliniat normal materialul

Plasarea senzorilor care detecteaza alinierea incorecta a materialului

FIG.28. Subretea pentru tratarea defectelor A.

Similar ca in figura 28 se pot construi subretele si pentru defectele scrise la punctele B si C.

5.5. Tratarea erorilor

In derularea unui proces/activitate de producție se produce o stare de excepție. In acel moment, se introduce intr-o locație un jeton cu un anumit atribut (culoare) și locația respectiva este intrare intr-o subrețea care trateaza excepția/eroarea respectiva (rețele imbricate).

Tranziția care declanșeaza excepția acționeaza daca atributul in cauza are o anumita culoare. Tranziția face verificarea culorii cu ajutorul funcției de etichetare.

In teoria clasica a rețelelor Petri, jetonul este la un moment dat un parametru al starii. In modelele construite și derivatele rețelelor Petri, in funcție de context, jetoanele primesc semnificații particulare, cum ar fi:

identificator, care identifica un obiect real;

atribute sau culori, care particularizeaza prin valorile lor anumite situații.

In funcție de context, prin Id-jeton vom ințelege un atribut(culoare), și unde va fi cazul vom specifica faptul ca Id-jeton identifica un obiect, iar acolo unde va fi cazul vom preciza ca jetonul va avea anumite atribute (culori).

Extensie pentru tratarea erorilor

Definim o rețea SM1WF in care pentru o roare specifica () intr-o anumita locație din rețeaua tranziția care genereaza eroarea, plaseaza in locația un jeton de culoare .

Rețelei originale ii conectam de tip imbricare cate o subrețea pentru fiecare tip de eroare. Tranziția poate genera un numar de erori simultan. In acest caz Id-jeton reprezinta .

Definiție: Numim rețea extinsa , o rețea SM1WF in care pentru fiecare defect tranziției care genereaza eroarea i se atașeaza o locație de ieșire , in care la momentul apariției eroriii prin acțiunea tranziției se plaseaza un jeton cu culoarea

Teorema: Rețeaua construita in definiția anterioara este stabila.

Dem: Pentru a demonstra stabilitatea rețelei, consideram ca toate jetoanele au aceeași culoare. In continuare, consideram ca rețeaua N (pe care o extindem la ) este o rețea SM1WF stabila și presupunem ca rețeaua extinsa nu este stabila. Atunci exista o secvența de tranziții și un marcaj ce poate fi atins din locația inițiala i , și marcajul nu poate ajunge in starea finala f, . Luam suficiente resurse care sunt permise/accesibile tranzițiilor , atunci marcajul este accesibil/atins in dar nu este atins in , (nu are loc relația) ceea ce contrazice ipoteza stabilitații rețelei SM1WF, deci rețeaua este stabila.

Paleta extinsa de modelare și de instrumente de analiza oferita de rețelele Petri și derivatele lor a permis

sa modelam procesul, fluxul de prelucrarre

sa evidențiem particularitațile

sa dezvoltam modelul cu extensii pentru analiza și prelucrarea defectelor.

Condițiile esențiale ale funcționarii corecte a unui sistem sunt in esența: derularea normala, stabilitatea și acolo unde este posibil tratarea erorilor. Pentru rețelele Petri imbricate am dezvoltat treptat și demonstrat prin particularizare proprietațile legate de stabilitate. Sistemele reale utilizeaza resurse care sunt partajate in comun de componentele lor. Componentele concureaza intre ele pentru accesul la resurse și aceasta necesita eleborarea unor modele adecvate.

CONCLUZII

Sistemele complexe necesita instrumente adecvate pentru proiectarea lor, iar Retelele Petri si deritavele lor sunt astfel de instrumente. Evidentierea concurentei, a conflictelor si confuziilor impreuna cu existenta unor instrumente formale de analiza, fac din retelele Petri un instrument eficace. Retelele Petri de tip workflow prin existenta proprietatii de stabilitate asigura dezvoltatorilor de sisteme construirea de fluxuri de prelucrare (workflow) care sa garanteze derularea corecta a proceselor.

Aparitia cerintelor de evedientiere a exceptiilor si erorilor precum si tratarea lor este o cerinta normala pentru cei care proiecteaza sisteme complexe.

Lucrarea prezinta conceptele de baza, proprietatile si tehnicile de analiza pentru retelele Petri clasice. Prin utilizarea retelelor Petri de fluxuri extinse si a celor imbricate am construit un model de tratare a exceptiilor pentru un proces de fabricatie.

Intre posibiltiatile de dezvoltare ulterioara a modelului abordat, le consider pe urmatoarele:

detalierea tuturor exceptiilor si erorilor precum si a modalitatilor lor de solutionare;

conceperea unuor subretele care sa trateze exceptiile si erorile;

integrarea lor intr-un sistem unitar.

O alta posibilitate este conceperea unei aplicatii care sa permita generarea retelelor imbricate cu asigurarea conservarii proprietatilor de stabilitate si marginire.

BIBLIOGRAFIE

1. Aalst, W. M. P., (1996)- ”Structural Characterizations of Sound Workflow.ets”, Computing Science Reports 96/23, Eindhoven University of Technology,Eindhoven.

2. Aalst, W. M. P., (1997)- ”Verification of Workflow .eds”, In P. Zema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 11248 of Lecture Notes in Computer Science, Springer – Verlag, Berlin, 407-426.

3. Ackoff, R. L., Sasieni, M. W., - ”Bazele Cercetarii Operationale”, Editura Tehnica, Bucuresti, 1979.

4. Boldea, C. R., (2006) – ”Retele Petri. Modelare si Analiza”, Editura Mirton, Timisoara.

5. Hee, K., Sidorova, N., Voorhoeve, M., (2005)– ”Resource-Constrained Workflow .ets”, Fundamenta InformaticaeXX, (1-15) IOS Press.

6. Hee, K., Lomazova, I. A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M., (2006)- ”Nested nets for adaptive systems”, Lecture Notes in Computer Science, Springer Berlin/Heidelberg.

7. Hee, K., Serebrenik, A., Sidorova, N., Voorhoeve, M., (2005)- “Soundness of Resource-Constrained Workflow .ets”; Lecture Notes in Computer Science, Springer Berlin/Heidelberg.

8. Jensen, K., (1992) – ”Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use”, Vol 1Basic Concepts, EATCS Monographs on Theoretical Computer SCience, Springer.

9. Jucan, T., Tiplea, F. L., (1999) – ”Retele Petri, teorie si practica”, Editura Academiei Romane.

10. Lomazova, A. I., Schnoebelen, Ph., (1999) – ”Some decidability results for tested Petri.ets”, Ershov Memorial Conference, Novosibirsk.132

11. Lomazova, A. I., (2008) – ”Nested Petri Nets for Adaptive Process Modelling”, Pillars of Computer Science, Springer, 460-474.

12. Lomazova, A. I., (1999) – ”Modelling of multi-agent dynamic systems by tested Petri nets”, In Programmnye Sistemy: Teoreticheskie Osnovy i Prilozheniya Moskow: Nauka, 1999, 143-156.

13. Mateia, N. A., (2009)- ”Petri nets a powerfull tool for analysis of manufacturing systems , DAAAM International Viena, 2009(in curs de aparitie).

14. Mateia, N.A. Modele si algoritmi pentru programarea operativa a productiei, ASE Bucuresti, 2009.

15. Prisecaru, O.O., (2009) – ”Petri nets-based Approaches for the Modelling and Verification of Workflow Process”, PhD Thesis, Department of Computer Science, “Al. I. Cuza” University of Iasi, Iasi, Romania, March 2009.

16. Reisig, W., (1985) – ”Petri .ets. An Introduction”, Vol 4 of EATCS Monographs on Theoretical Computer SCience, Springer.

17. Riascos, L. A. M., Moscato, L. A., Miyagi, P. E., (2004)– ”Detection and Treatmeant of Faults in Manufacturing Systems Based on Petri nets”, Journal of the Brazilian society of mechanical Sciences and Engineering, no 3.

18. Siegeris, J., Zimmermann A., (2006) – “Workflow Model Compositions Preserving Relaxed Soundness”, Business Process Management, 177-192.

19. Spur, K., Mertins, K., Wieneke-Toutaoui, B., Rabe, M., (1989)– “MOSYSa planning system for manufacturing and assembly planning”, Simulation in Manufacturing 5, Bedford,, IFS.

20. Valk, R., (1998) – ”Petri nets as token objects: An Introduction to elementary objects nets”. In Proc. 19th International Conference Application and Theory of Petri Nets, Lisbon.

21. Villaroel, J. L., Martinez, J., Silva, M., (1989) – ”GRAMA.: A graphic system for manufacturing system design”, Symposium on System Modelling and Simulation, Elsevier SciencePubl, , 311-316.

22. Vittorini, V., Basile, F., Chiacchio, P., Mazzocca, N., (2004) – ”Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks”, Journal of Intelligent Manufacturing, Springer Netherlands, 351-371.

23. https://www.ac.tuiasi.ro/pntool/







Politica de confidentialitate





Copyright © 2024 - Toate drepturile rezervate