LABORATOR NR.

Modelarea prin reele Petri. Simularea n SimRPe

1.1. Continutul lucrarii Programul SimRPe este destinat simulrii reelelor Petri i analizei comportamentale a acestora. Ca urmare a simulrii, programul poate s redea arborele de accesibilitate, cu eventualele blocaje i s afieze toate marcajele accesibile. n aceast versiune, programul poate s simuleze reele Petri binare i reele Petri generalizate. Schema logic a programului este reprezentat n figura 1.
Introducere date

nm=0
i=1...nm Afieaz M[i] Calculeaz tranziiile posibile nrtp Dac nrtp=o afieaz M[i] blocaj j=1...nrtp Afieaz T[j] Calculeaz marcaj i verific dac este nou Dac este nou - nm=nm+1 Afieaz marcaj M[]

Afieaz toate marcajele accesibile

Figura 1 Schema logic a programului n aceast schem s-au utilizat urmtoarele notaii: nm numr de marcaje accesibile; nrtp numr de tranziii posibile.

Programul SRP a fost realizat n Visual C++, permind afiarea rezultatelor pe monitor sau salvarea acestora ntr-un fiier. Introducerea datelor se poate realiza de la tastatur sau prin ncrcarea fiierelor cu date. Prezentarea programului SimRPe Aplicaie software realizat pentru simularea reelelor Petri i generarea arborelui de accesibilitate este capabil s simuleze i RP foarte mari (avnd numrul de marcaje accesibile de ordinul miilor). Dup lansarea programului utilizatorul are posibilitate s selecteze o anumit operaie din meniul ferestrei principale (figura 2).

Figura 2 -Fereastra principal. n fereastra principal exist patru opiuni: File permite ncrcarea unui fiier de date sau salvarea datelor pentru o RP ntr-un fiier; Petri-net permite definirea unei reele Petri ntr-un mod interactiv; Simulate permite simulare reelei Petri ncrcate; Help furnizeaz indicaii pentru utilizator. Dac se selecteaz Petri-net se deschide o fereastr de editare a RP (figura3).

Figura-3 Fereastra de editare a RP

Valorile introduse trebuie s fie mai mari ca zero, altfel programul semnalizeaz eroare i oblig utilizatorul s introduc o valori corecte. Dup introducerea corect a numrului de poziii i de tranziii din reea se introduce marcajul iniial al reelei selectnd PN Marking. Prin selectarea acestei opiuni se va deschide o fereastr pentru introducerea marcajului iniial (figura 4).

Figura 4 -Fereastra de introducere a marcajului iniial Dup introducerea marcajului iniial se va selecta ARCS i se va deschide fereastra (figura 5) pentru introducerea valorilor arcelor din reea.

Figura 5 -Fereastra pentru introducerea valorilor arcelor din reea Dup introducere valorilor arcelor din reea este permis acionarea butonului OK, care semnific terminarea definirii RP. n continuarea reeaua Petri poate fi simulat prin selectarea opiunii Simulate din meniul principal. 1. n urma introducerii datelor RP din figura 4 s-au obinut prin simulare rezultatele din figura 5.
P1 T1 P4

P2

T2 P3

T3 P5

T4

Figura 6 -Retea petri simulata

Rezultatele simulrii sunt att afiate ct i salvate n fiierul petri.dat (denumire implicit). Ca urmare a simulrii, programul poate s redea arborele de accesibilitate, cu eventualele blocaje i s afieze toate marcajele accesibile.

Figura 7 -Rezultatele simulrii Sa se realizeze graful de marcaje dupa rezultatele din figura 7. 2. S se simuleze i s se realizeze graful de marcaje pentru urmtoarea reea Petri.