Probleme Retele Petri

Curs
7/10 (1 vot)
Domeniu: Calculatoare
Conține 1 fișier: pdf
Pagini : 17 în total
Cuvinte : 3050
Mărime: 281.71KB (arhivat)
Cost: Gratis

Extras din document

1. Să se studieze proprietăţile de mărginire, viabilitate, ciclicitate şi fără blocaje

pentru reţelele Petri ilustrare în figura următoare:

-a- -b-

Rezolvare.

Graful de marcaje al reţelei din figura a) este :

Se observă că numărul de vectori de marcaj este finit, prin urmare reţeaua este mărginită.

Deoarece nici un marcaj nu este vector de blocaj reţeaua nu prezintă blocaje. Tranziţiile

T3 şi T4 se pot executa o singură dată. De aceea ele sunt cvasiviabile, spre deosebire de

celelalte tranziţii care se execută de un număr infinit de ori. În concluzie, se poate spune

că reţeaua este cvasiviabilă. Proprietatea de reversibilitate nu este îndeplinită deoarece nu

există o secvenţă de tranziţii care să conducă din marcajul M3 în marcajul iniţial.

Pentru reţeaua din figura b) cu ponderea arcului T4 P1 egală cu 2, graful de marcaje

accesibile este ilustrat în figura . Din graf se deduce că reţeaua este mărginită şi fără

blocaje ca cea dinainte, în plus, prin buclele care s-au format în graf, reţeaua este viabilă,

pentru oricare marcaj din graf şi oricare tranziţie putându-se găsi o secvenţă pornind de la

acest marcaj care să conţină tranziţia respectivă.

Pe acest exemplu se mai poate face o observaţie. Prin buclele care s-au format pe graf se

pot identifica secvenţele repetitive (secvenţe de tranziţii care, pornind de la un anumit

marcaj, conduc la acelaşi marcaj). Acestea sunt: S1 = T1T3T4, S2 = T1T1T2T2, S3 =

T1T1T2T3T4. Se poate vedea uşor că din toate marcajele accesibile de pe acest graf se

poate ajunge în marcajul iniţial, deci reţeaua este reversibilă.

Să consideram un ultim caz în care ponderea arcului T4 P1 este 3 (vezi figura -b-). În

acest caz se obţine următorul graf de acoperire:

T1, T2 T1, T2, T3, T4

Se observă că pe acest graf s-a substituit, conform algoritmului de construcţie a arborelui

de acoperire, valoarea 3 care s-ar fi obţinut după prima executare a lui T4 cu. În

continuare se poate observa că reţeaua Petri are toate poziţiile nemărginite; în acest fel se

deduce că reţeaua este nemărginită. Se păstrează însă proprietăţile de viabilitate şi de fără

blocaje.

Preview document

Probleme Retele Petri - Pagina 1
Probleme Retele Petri - Pagina 2
Probleme Retele Petri - Pagina 3
Probleme Retele Petri - Pagina 4
Probleme Retele Petri - Pagina 5
Probleme Retele Petri - Pagina 6
Probleme Retele Petri - Pagina 7
Probleme Retele Petri - Pagina 8
Probleme Retele Petri - Pagina 9
Probleme Retele Petri - Pagina 10
Probleme Retele Petri - Pagina 11
Probleme Retele Petri - Pagina 12
Probleme Retele Petri - Pagina 13
Probleme Retele Petri - Pagina 14
Probleme Retele Petri - Pagina 15
Probleme Retele Petri - Pagina 16
Probleme Retele Petri - Pagina 17

Conținut arhivă zip

  • Probleme Retele Petri.pdf

Alții au mai descărcat și

Automate Programabile - Intersectie Semaforizata

Sa se proiecteze un program care sa fie capabil sa dirijeze circulatia intr-o intersectie cu patru strazi atat a pietonilor cat si autovehiculelor...

Retele Petri Autonome Hibride

Permit modelarea sistemelor complexe intalnite in aplicatii reale Retelele Petri Hibride se compun din componente continue (pozitii C si...

Modelarea si Evaluarea Performantelor prin Retele Petri Multi-Agent

Introducere Sisteme multi-agent au fost studiate timp de citeva decenii.Mai multe sisteme multi - agent au fost definite în vederea aplicării...

Baze de Date Access

Capitolul 1. Utilizarea aplicaţiei Access Concepte generale privind bazele de date Evoluţia diferitelor metode şi tehnici de organizare a...

Curs ASDN

1.1. Sisteme de numeratie - Sistemele numerice prelucrează informatie - Informatia este codificată ® un anumit tip de reprezentare - Sistemul...

Sisteme Intrare Iesire

Cap. I – Introducere Structura generală a unui calculator personal compatibil IBM PC este prezentată în figura 1.1. 1. Microprocesorul este cel...

Programare HTML și XML

CAPITOLUL I NOTIUNI GENERALE [13, 28, 78, 77] 1.1 INTERNET Internet-ul, sau reteaua mondială de calculatotore, reprezintă un puternic instrument...

Inteligenta Artificiala

Recursivitate 3 Un obiect este recursiv daca este definit funct¸ie de el ˆınsu¸si. ² definim un num˘ar infinit de obiecte printr-o declarat¸ie...

Ai nevoie de altceva?