Documente Academic
Documente Profesional
Documente Cultură
Referat Retele Petri Relele de Comunicare
Referat Retele Petri Relele de Comunicare
Introducere ............................................................................................................................... 2
Istoric ....................................................................................................................................... 3
Definiţii fundamentale ............................................................................................................. 4
Aplicabilitatea rețelelor Petri deterministe și stochastice (RPDS) . ........................................ 6
Rețele Colorate Petri ................................................................................................................ 7
Modelarea cu ajutorul rețelelor Petri ....................................................................................... 9
Apariția și eliminarea defecțiunilor echipamentului ............................................................. 11
Concluzii. ............................................................................................................................... 13
Bibliografie ............................................................................................................................ 14
Introducere
Reţelele Petri sunt un instrument pentru studiul sistemelor. Teoria reţelelor Petri
permite unui sistem să fie modelat de către o reţea Petri, realizându-se astfel o reprezentare
matematică a sistemului. Analiza reţelei Petri poate apoi să furnizeze informaţii importante
despre structura şi comportamentul dinamic al sistemului modelat, putând fi folosită pentru
a evalua sistemul modelat şi pentru a sugera îmbunătăţiri sau schimbări. Astfel, dezvoltarea
unei teorii a reţelelor Petri se bazează pe aplicarea reţelelor Petri în modelarea şi proiectarea
sistemelor. Rar vom găsi o ramificatie a Informaticii in care cercetarea să stagneze sau să se
desfașoare anevoios. Retelele Petri nu fac exceptie–dovada sunt multiplele aplicatii practice
dezvoltate pe baza acestora. În general, însă, Retele Petri sunt considerate mai dificil de
abordat, în lucrare se prezintă fundamentul teoretic al retelelor Petri care pe parcursul celor
aproape cinci decenii de la prezentarea tezei de doctorat a matematicianului german Carl
Adam Petri, au aratat o deosebită flexibilitate în abordarea numeroaselor tipuri de probleme
practice, precum si o mare capacitate de extindere ca sfera de operare, prin inglobarea unor
puncte de vedere tot mai complexe.
Scopul lucrării este de a prezenta metode de modelare şi evaluare a performanţelor rețetelor
de comunicare (RC). Definirea modelelor de funcţionare a RC. Modele matematice ale
proceselor de prelucrare a datelor. Metode bazate pe teoria reţelelor Petri. Reţelele Petri
stochastice (RPS). Modelarea prin reţele Petri hibride stochastice şi evaluarea
performanţelor sistemelor multiprocesor, tolerante la defecte. Estimarea productivităţii
sistemelor. Etapa elaborării şi îmbunătăţirea performanţelor sistemelor de calcul. Metode şi
modele de evaluare a fiabilităţii structurale şi temporale ale sistemelor şi reţelelor de
comunicare.
2
Istoric
Reţelele Petri sunt proiectate special pentru a modela sisteme cu componente cu interacţiune
concurentă. Reţelele Petri au la bază studiile lui Carl Adam Petri (lucrarea de doctorat).
A.W. Holt extinde proiectul pentru teoria sistemelor informaţionale (Information System
Theory Project)
1970 Jack B. Dennis reţelele Petri şi metodele aferente Institutul de Tehnologie din
Massachusetts (M.I.T.)
Din 1978 grup de cercetare la Hamburg Germania.
Datorită evoluției microelectronicii moderne, complexitatea sistemelor electronice integrate
este în continuă creștere. De exemplu, numărul de tranzistori care pot fi integrați pe o
singură bucată de siliciu se dublează la fiecare 18 luni, în conformitate cu Legea lui Moore
(Moore, 1965). În același timp, costurile de producție sunt dispozitive cu adâncime sub-μ cu
dimensiuni caracteristice de până la 45 nm, fiind în creștere drastică.
Datorită acestui progres, astăzi, sistemele complete sunt integrate pe o singură matriță de
siliciu ca așa-numitele sisteme pe cip (SoCs). Marea complexitate a acestor SoC-uri și
costurile de producție foarte ridicate. În plus, erorile sunt în procesul de proiectare.
Prin urmare, domeniul de explorare bazat pe modelare are o importanță tot mai mare.
Modelul bazat pe rețele Petri permite o analiză calitativă și cantitativă a posibilelor
alternative de implementare .
3
Definiţii fundamentale
Structura unei reţele Petri
O reţea Petri este compusă din patru părţi:
- o mulţime de locaţii S;
- o mulţime de tranziţii T;
- o funcţie de intrare I;
- o funcţie de ieşire O.
Funcţiile de intrare şi ieşire sunt relaţii între T (mulţimea de tranziţii) şi S (mulţimea de
locaţii). Funcţia de intrare I este o funcţie de la o tranziţie tj la o colecţie de locaţii I(tj) care
poartă numele de locaţiile de intrare ale tranziţiei. Funcţia de ieşire O este o funcţie de la o
tranziţie tj la o colecţie de locaţii O(tj) care poartă numele de locaţiile de ieşire ale tranziţiei.
Structura unei reţele Petri este definită de locaţiile şi tranziţiile sale, de funcţia sa de intrare
şi de cea de ieşire.
Grafuri pentru reţele Petri
• O structură de reţea Petri constă din locaţii şi tranziţii. Corespunzător acestora, un graf de
reţea Petri are două tipuri de noduri. Un cerc reprezintă o locaţie; Un pătrat (sau o bară)
reprezintă o tranziţie. Deoarece un cerc reprezintă o locaţie, am numit cercurile locaţii.
Similar, am numit barele tranziţii.
• Arcele direcţionate (săgeţile) conectează locaţiile şi tranziţiile, unele fiind direcţionate de
la locaţii la tranziţii, altele de la tranziţii la locaţii. Un arc direcţionat de la o locaţie pi la o
tranziţie tj defineşte locaţia ca fiind o intrare a tranziţiei. Intrările multiple într-o tranziţie
sunt indicate prin arce multiple de la locaţiile de intrare la tranziţii. O locaţie de ieşire este
indicată printr-un arc de la o tranziţie la o locaţie. De asemenea, ieşirile multiple se indică
prin arce multiple.
Marcajele reţelelor Petri
• Un marcaj este o asignare de jetoane locaţiilor unei reţele Petri. Conceptul de jeton este un
concept fundamental în teoria reţelelor Petri (la fel ca locaţiile şi tranziţiile). Jetoanele
sunt asignate locaţiilor unei reţele Petri si pot fi gândite ca aparţinând acestora. Numărul şi
poziţia jetoanelor se pot schimba în timpul funcţionării unei reţele Petri. Jetoanele sunt
folosite pentru a defini funcţionarea unei reţele Petri
4
Reguli de funcţionare pentru reţele Petri
• Funcţionarea unei reţele Petri este controlată de numărul şi distribuţia jetoanelor în reţeaua
Petri. Jetoanele sunt rezidente în locaţii şi controlează execuţia tranziţiilor reţelei. O reţea
Petri se execută prin declanşarea tranziţiilor. O tranziţie se declanşează prin mutarea
jetoanelor din locaţiile de intrare şi crearea de noi jetoane care sunt distribuite în locaţiile de
ieşire.
• O tranziţie se poate declanşa dacă este posibilă. O tranziţie este posibilă dacă fiecare dintre
locaţiile sale de intrare conţine un număr de jetoane mai mare sau egal cu numărul de arce
de la acea locaţie la tranziţie. Sunt necesare jetoane multiple pentru arce
multiple de intrare. Jetoanele din locaţiile de intrare care permit o tranziţie sunt jetoanele
sale de validare.
Evenimente şi condiţii
• Evenimentele sunt acţiuni care au loc în sistem. Apariţia acestor evenimente este
controlată de starea sistemului. Starea sistemului poate fi descrisă ca o mulţime de condiţii.
O condiţie este un predicat sau descriere logică a stării sistemului. Astfel, o condiţie poate fi
fie adevărată, fie falsă.
Deoarece evenimentele sunt acţiuni, ele se pot produce. Pentru ca un eveniment să se
producă, s-ar putea să fie necesar ca anumite condiţii să fie adevărate. Acestea se numesc
precondiţiile evenimentului. Apariţia evenimentului poate determina ca precondiţiile să nu
mai fie adevărate, şi poate stabili ca alte condiţii, numite postcondiţii, să devină adevărate.
5
Aplicabilitatea rețelelor Petri deterministe și stochastice (RPDS) .
Pentru a demonstra aplicarea RPDS la structurile de comunicare model, un RPDS de bază
este descris în figura 1. O schemă de arbitraj simplificată care gestionează concurența unui
controler DMA și a unui procesor pentru interfața critică a memoriei de resurse este
modelată aici.
În cele ce urmează, vor fi explicate două aspecte ale stării actuale și urmările acestora
pentru următoarea stare a acestei rețele simple. Așa cum se poate vedea în figura 1, locul
cererii de memorie a procesorului și locul de acces acordat pentru memorie sunt conectate la
tranziția imediată prin arce obișnuite. Aceste două locuri sunt singurele locuri care sunt
conectate la această tranziție și ambele sunt marcate cu punct. Astfel, tranziția se va
declanșa imediat. Locurile menționate vor fi șterse și locul de acces la memorie al
procesorului va fi marcat. Acest exemplu de tranziție descrie situația în care CPU (unitatea
centrală de prelucrare) solicită memoria într-un moment în care accesul la memorie este
disponibil. CPU accesează memoria și transferă date din memorie sau în memorie. Prin
urmare, memoria resurselor este ocupată până când începe o tranziție deterministă, iar
accesul la memoria locației nu va fi marcat din nou.
6
doar pentru a copia un cuvânt dacă CPU nu are sau nu solicită accesul la memorie. Prin
urmare, în această schemă de arbitraj CPU are o prioritate mai mare decât DMA.
DSPN descris necesită parametri de intrare, cum ar fi timpul de întârziere a accesului la
memorie T etc., pentru a determina probabilitățile și așteptările locurilor definite anterior
așa cum s-a menționat mai sus.
7
2. În locuri sunt adăugate informații despre tipurile de jetoane care pot fi stocate în aceast
loc.
3. Informații despre tipurile de jetoane care pot participa la tranziție se adaugă arcurilor
provenite din locații.
and
5. Pentru arcele provenite din tranziții, se adaugă informații despre tipurile de jetoane
provenite din tranziție și despre transformarea variabilelor.
Figura 2
8
La prima vedere se pare că reprezentarea rețelei colorate Petri arată ca fiecare arc care iese
din tranziție conține o oarecare acțiune. În realitate, atunci când convertiți o rețea de
colorată Petri într-o rețea simplă, toate acțiunile trec la structura rețelei. Acest lucru se
realizează prin împărțirea locurilor și a tranzițiilor cu o sumă egală cu produsul cartezian al
setului de toate valorile tuturor tipurilor de date corespunzătoare acestor locuri și tranziții. În
același timp, toate variabilele din rețea sunt deja obținute, iar în locul arcurilor culorilor de
rețea sunt desenate arce care conectează locurile și tranzițiile, în funcție de "culorea" lor.
9
unde T1, T2 - timpul de funcționare al mașinilor; T01, T02 - timpul de așteptare a comenzii
operatorului.
Dacă operatorul este ocupat, tranzițiile t1 sau t5 sunt închise de arce inhibitoare.
Întârzierile jetoanelor la pozițiile de încărcare P2, P3 sunt date de legea normală de
distribuție cu timpul mediu de încărcare 𝜏𝑛 = 10 ... 60 s. Lungimea livrării L1 este stabilită
la 25 m, iar L2 variază de la 25 la 100 m. Traseele parcurse de fiecare mașină sunt calculate
10
în pozițiile P5, P6. Modelarea se încheie cu traseele N, după care se calculează suma
timpului de întârziere a jetoanelor în tranzițiile t1, t5.
11
Simularea eșecurilor este posibilă și prin introducerea priorităților de tranziție (Figura 6).
12
Concluzii
Pe parcursul acestei lucrări a fost studiată literatura privind privind aplicațiile rețelelor Petri,
analiza literaturii existente privind aplicarea unor modele de modelare cu ajutorul rețelelor
Petri, sub forma unei reprezentări grafice. Trebuie spus că rețeaua Petri este un mecanism
foarte bun și, în ciuda unei posibile complexități care ar putea apărea la prima examinare, ne
permite să analizăm procesele la un nivel mai profund, datorită împărțirii în poziții și
tranziții.
În plus, în cadrul proiectului de curs, a fost dezvoltat un mediu vizual care face ușor și rapid
crearea de modele sub forma unei reprezentări grafice a rețelei Petri și a fost prezentat, de
asemenea, un editor alternativ de rețea. Pe baza acestora putem concluziona că o rețea Petri
dintr-un interes pur academic, pot fi utilizate pe scară largă în procesul educațional, în
special în universitatea noastră. Și rețelele Petri ar trebui să ajute tinerii specialiști să învețe
și să studieze aplicabilitatea acestei tehnologii de modelare la probleme reale.
Modelarea şi simularea pot contribui la înţelegerea şi îmbunătăţirea unui sistem real. Cu
toate că un sistem poate fi extrem de complex, este bine să se încerce să se construiască un
model cât mai simplu posibil. Acesta se obţine atât prin definirea limitelor sistemului
analizat astfel încât să fie luate în considerare numai caracteristicile esenţiale din punct de
vedere al obiectivului analizei, cât şi prin definirea unor ipoteze simplificatoare.
13
Bibliografie
1. Jensen, K., Kristensen, L. M. Coloured Petri Nets-Modelling and Validation of
Concurrent Systems, Springer-Verlag Berlin Heidelberg, 2009.
2. Джеймс Питерсон «Теория сетей Петри и моделирование систем»: Пер. с
англ.-М.:Мир, 1984.-264с.
3. Konyukh V., Davidenko V. Petri Nets as a Tool for Mine Simulation // Mineral
Resources Engineering. 1999. Vol. 8. № 4. P. 361–371.
4. Конюх В.Л., Тайлаков О.В. Предпроектный анализ шахтных
робототехнических систем. Новосибирск: Наука. Сиб. отд., 1991. 182 с.
5. Konyukh V., Sinoviev V., Zhdanov Y., Davidenko V. Mine Simulation and
Animation: the Practical Experience // Mechanizacja i Automatizacja Gornictwa.
2000. № 4-5 (354). P. 161–166.
6. Inga ŢIŢCHIEV http://moodle.ust.md CURS REŢELE PETRI
14