LABORATOR NR.

Modelarea prin reţele Petri. Simularea în SimRPe

1.1. Continutul lucrarii

Programul SimRPe este destinat simulării reţelelor Petri şi analizei comportamentale

a acestora. Ca urmare a simulării, programul poate să redea arborele de accesibilitate, cu
eventualele blocaje şi să afişeze toate marcajele accesibile.
În această versiune, programul poate să simuleze reţele Petri binare şi reţele Petri
generalizate. Schema logică a programului este reprezentată în figura 1.

Introducere date

nm=0
i=1...nm

Afişează M[i]

Calculează tranziţiile posibile nrtp

Dacă nrtp=o afişează M[i] blocaj

j=1...nrtp

Afişează T[j]

Calculează marcaj şi verifică dacă este nou

Dacă este nou - nm=nm+1

Afişează marcaj M[]

Afişează toate marcajele accesibile

Figura 1 Schema logică a programului

În această schemă s-au utilizat următoarele notaţii:

nm – număr de marcaje accesibile;
nrtp – număr de tranziţii posibile.
 Programul SRP a fost realizat în Visual C++, permiţând afişarea rezultatelor pe
monitor sau salvarea acestora într-un fişier.
Introducerea datelor se poate realiza de la tastatură sau prin încărcarea fişierelor cu
date.

Prezentarea programului SimRPe

Aplicaţie software realizată pentru simularea reţelelor Petri şi generarea arborelui de

accesibilitate este capabilă să simuleze şi RP foarte mari (având numărul de marcaje
accesibile de ordinul miilor).
După lansarea programului utilizatorul are posibilitate să selecteze o anumită
operaţie din meniul ferestrei principale (figura 2).

Figura 2 -Fereastra principală.

În fereastra principală există patru opţiuni:

File – permite încărcarea unui fişier de date sau salvarea datelor pentru o RP într-un
fişier;
Petri-net – permite definirea unei reţele Petri într-un mod interactiv;
Simulate – permite simulare reţelei Petri încărcate;
Help – furnizează indicaţii 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 numărului de poziţii şi de tranziţii din reţea se introduce
marcajul iniţial al reţelei selectând PN Marking. Prin selectarea acestei opţiuni se va deschide
o fereastră pentru introducerea marcajului iniţial (figura 4).

Figura 4 -Fereastra de introducere a marcajului iniţial

După introducerea marcajului iniţial se va selecta ARCS şi se va deschide fereastra

(figura 5) pentru introducerea valorilor arcelor din reţea.

Figura 5 -Fereastra pentru introducerea valorilor arcelor din reţea

După introducere valorilor arcelor din reţea este permisă acţionarea butonului OK,
care semnifică terminarea definirii RP. În continuarea reţeaua Petri poate fi simulată prin
selectarea opţiunii Simulate din meniul principal.
1. În urma introducerii datelor RP din figura 4 s-au obţinut prin simulare rezultatele
din figura 5.
P1

T1

P4
P2

T2 T3
P3 P5

T4

Figura 6 -Retea petri simulata

 Rezultatele simulării sunt atât afişate cât şi salvate în fişierul petri.dat (denumire
implicită).
Ca urmare a simulării, programul poate să redea arborele de accesibilitate, cu
eventualele blocaje şi să afişeze toate marcajele accesibile.

Figura 7 -Rezultatele simulării

Sa se realizeze graful de marcaje dupa rezultatele din figura 7.

2. Să se simuleze şi să se realizeze graful de marcaje pentru următoarea reţea Petri.