Extras din curs
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
Conținut arhivă zip
- Probleme Retele Petri.pdf
Alții au mai descărcat și
Sa se proiecteze un program care sa fie capabil sa dirijeze circulatia intr-o intersectie cu patru strazi atat a pietonilor cat si autovehiculelor...
Introducere Sisteme multi-agent au fost studiate timp de citeva decenii.Mai multe sisteme multi - agent au fost definite în vederea aplicării...
Permit modelarea sistemelor complexe intalnite in aplicatii reale Retelele Petri Hibride se compun din componente continue (pozitii C si...
C1.1.CONCEPTUL DE CAD TERMINOLOGIE - COMPUTER AIDED ENGINEERING -CAE-vizeazăetapeledecercetare,inovaresiconcepţie; - COMPUTER AIDED DRAWING/...
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...
Introducere I. Documente electronice – definire, caracteristici şi tipologie I. 1. Delimitări terminologice I. 2. Document text I. 3....
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...
. Notiuni introductive Un sistem de calcul poate contine sute sau mii de componente individuale (circuite integrate, diode, rezistoare,...
Te-ar putea interesa și
Introducere In realizarea justitiei penale probele ocupa un rol important, iar întreaga evolutie a dreptului procesual penal s-a desavârsit in...
ÎNTRODUCERE Actualitatea temei de cercetare şi gradul de studiere a acesteia Actualitatea temei de cercetare În anii 90 ai secolului trecut, în...
Introducere Rar vom gasi o ramificatie a Informaticii în care cercetarea sa stagneze sau sa se desfasoare anevoios. Retelele Petri [16], [13] nu...
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...
I. Introducere Procesele de afaceri sunt o colecţie de unităţi de muncă consecutive, alternative şi paralele cu obiectivul de a crea valoare...
Subiect: Aceasta lucrarea prezinta un sistem neuronal cu intentia de a ajuta operatorul in a estima mai usor eroriile aparute in sistem. Fiecare...
CAPITOLUL I Modelarea geometrică şi proiectarea asistată de calculator Una dintre activităţile cheie în orice proces de design de produs este de...
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...