Probleme rețele 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 rețele Petri - Pagina 1
Probleme rețele Petri - Pagina 2
Probleme rețele Petri - Pagina 3
Probleme rețele Petri - Pagina 4
Probleme rețele Petri - Pagina 5
Probleme rețele Petri - Pagina 6
Probleme rețele Petri - Pagina 7
Probleme rețele Petri - Pagina 8
Probleme rețele Petri - Pagina 9
Probleme rețele Petri - Pagina 10
Probleme rețele Petri - Pagina 11
Probleme rețele Petri - Pagina 12
Probleme rețele Petri - Pagina 13
Probleme rețele Petri - Pagina 14
Probleme rețele Petri - Pagina 15
Probleme rețele Petri - Pagina 16
Probleme rețele Petri - Pagina 17

Conținut arhivă zip

  • Probleme Retele Petri.pdf

Alții au mai descărcat și

Automate programabile - intersecție semaforizată

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

Modelarea și evaluarea performanțelor prin rețele 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...

Rețele Petri autonome hibride

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

Autocad pentru începători

C1.1.CONCEPTUL DE CAD TERMINOLOGIE - COMPUTER AIDED ENGINEERING -CAE-vizeazăetapeledecercetare,inovaresiconcepţie; - COMPUTER AIDED DRAWING/...

Securitatea informațională a business-ului

Lecţia 1 Introducere în securitatea informaţională 1.Informaţia ca obiect de valoare şi protecţie 4 2.Conceptele de bază ale Securităţii...

Informație și Document în Societatea Cunoașterii

Introducere I. Documente electronice – definire, caracteristici şi tipologie I. 1. Delimitări terminologice I. 2. Document text I. 3....

Evaluarea eficienței investițiilor în IT&C

Capitolul 1.BAZE METODOLOGICE ALE EVALURII EFICIENŢEI INVESTIŢIILOR ÎN IT&C 1.1. Evaluarea eficienţei în condiţiile specifice investiţiilor din...

Arhitectura microcalculatoarelor tip IBM-PC. configurații, caracteristici. reguli de instalare și exploatare

. Notiuni introductive Un sistem de calcul poate contine sute sau mii de componente individuale (circuite integrate, diode, rezistoare,...

Te-ar putea interesa și

Martorul și mărturia din perspectiva forței probante

Introducere In realizarea justitiei penale probele ocupa un rol important, iar întreaga evolutie a dreptului procesual penal s-a desavârsit in...

Teoria și Practica Riscului în Banca Comercială

ÎNTRODUCERE Actualitatea temei de cercetare şi gradul de studiere a acesteia Actualitatea temei de cercetare În anii 90 ai secolului trecut, în...

Rețele Petri - instrument de modelare

Introducere Rar vom gasi o ramificatie a Informaticii în care cercetarea sa stagneze sau sa se desfasoare anevoios. Retelele Petri [16], [13] nu...

Rețele Petri - studierea proprietăților structurale

Reţelele Petri sunt o reprezentare matematică a sistemelor discrete distribuite. Definite de către Carl Adam Petri în anii 1960 în teza sa de...

Simularea Proceselor de Afaceri

I. Introducere Procesele de afaceri sunt o colecţie de unităţi de muncă consecutive, alternative şi paralele cu obiectivul de a crea valoare...

Aplicarea modulelor de rețele neuronale

Subiect: Aceasta lucrarea prezinta un sistem neuronal cu intentia de a ajuta operatorul in a estima mai usor eroriile aparute in sistem. Fiecare...

Modelarea Geometrică și Proiectarea Asistată de Calculator

CAPITOLUL I Modelarea geometrică şi proiectarea asistată de calculator Una dintre activităţile cheie în orice proces de design de produs este de...

Modelarea și Evaluarea Performanțelor Sistemului de Calcul Multiprocesor

INTRODUCERE În ultimul timp retelele de calculatoare capătă o răspândire tot mai largă în domeniile unde se folosec terminale de lucru si un...

Ai nevoie de altceva?