Sistemele de calcul cu prelucrare distribuita a datelor sunt concepute ca un ansamblu de subsisteme, care, la randul lor, sunt supuse unor constrangeri de functionare in paralel. Definirea unei confguratii a sistemului de calcul, destinata sa functioneze intr-un anumit context, trebuie sa corespunda, in general, unor restrictii de performanta si de cost specific. In ceea ce priveste restrictiile de performanta se urmareste asigurarea caracteristicilor functionale impuse de tipul aplicatiilor carora le este destinat sistemul de calcul si aceasta la un nivel acceptabil, in sensul satisfacerii timpului de raspuns, puterii de procesare a fiabilitatii, tolerantei la defecte etc.
Caracteristicile functionale si de performata ale sistemului elaborat sunt determinate printr-o activitate de modelare a contextului real in care urmeaza sa functioneze. Modelul de referinta adoptat trebuie sa captureze toate proprietatile si caracteristicele viitorului sistem.
Precizia si completitudinea definirii acestor proprietati si caracteristici sunt de o importanta vitala pentru obtinerea unui sistem corespunzator obiectivului pentru care a fost construit. Scopul unui model este de a defini caracteristicele si proprietatile sistemului de construit si de a prevedea o baza pentru verificarea acestora. Diferite modele pot fi folosite pentru a exprima proprietati diferite: in mod alternativ pentru a exprima o proprietate a sistemului dintr-o clasa de modele se alege sau se construieste un model adecvat pentru a reprezenta aceste proprietati. Exista mai multe modele bazate pe metode, tehnici si formalisme in mod potential ce pot fi folosite pentru a descrie proprietati de comportare ale sistemelor de calcul distribuie: functii matematice, ierarhia functionala, masini cu stari finite, logica temporala, retele de sisteme de asteptare, retele Petri etc.
In general nu exista un model prin care pot fi reprzentate toate proprietatile sistemului studiat. De regula, aceste modele sunt folosite in mod complementar, in cadrul unor metode si tehnici dublate de instrumente de modelare, verificare, analiza si evaluare a performantelor sistemului de proiectat.
Prezenta lucrare isi propune o descriere a conceptelor teoretice si a realizarilor practice ale tehnicilor de modelare si evaluare a performantelor sistemelor de calcul prin retele Petri de cateva modificatii.
Selectarea materialului a fost facuta pentru a crea, pe cat posibil, o imagine de ansamblu a stadiului actual a problematicii folosirii tehnicilor de specificare, modelare, validare si evaluare a performantelor executarii proceslor paralele ale sistemelor de calcul cu retele Petri markovine.
In primul capitol sunt prezentate unele elemente de baza a teoriei proceselor stochastice, astfel ca lanturile Markov si procesele Markov discrete in timp continuu.
Tot aici sunt determinate si proprietatile de conservare a fluxului de probabilitate in graful de trecere al unui lant Markov.
In capitilul doi este prezentata o interpretare ...
BRAMS G. W. - "RESEAUX DE PETRI: THEORIE ET PRATIQUE" - PARIS, EDITION MASSON, 1983
FLORIN G. , NATKIN S. - "PROPRIETES ERGODIQUES DE RESEAUX DE PETRI STOCHASTIQUES" - RAPPORT DE RECHERCHE CNAM, FEVRIER 1984
KOTOV V. E. - "SETI PETRI" - MOSKVA, NAUKA, 1984
MURATA T. - "PETRI NETS: PROPRIETES, ANALYSIS AND APLICATIONS" - PROCEDING OF THE IEEE, VOL. 77, NO. 4, PAG. 541 - 580, 1989
ALLA H. , DAVID R. - "DE GRAFCET AUX RESEAUX DE PETRI" - EDITURA HERMES, PARIS, 1992
GUTULEAC E. - "MODELAREA SI EVALUAREA PERFORMANTELOR SISTEMELOR DE CALCUL PRIN RETELE PETRI" - PARTEA I, EDITURA U. T. M. , CHISINAU, 1989
GUTULEAC E. - "MODELAREA SI EVALUAREA PERFORMANTELOR SISTEMELOR DE CALCUL PRIN RETELE PETRI" - PARTEA II, EDITURA U. T. M. , CHISINAU, 1999
JENSEN K. - "COLOURED PETRI NETS AND INVARIANT METHOD" - THEORETICAL COMPUTER SCIENCES, VOL. 44, PAG. 317 - 337, 1981
PETERSON J. L. - "A NOTE ON COLOURED NETS" - INF. PROCESS LETTERS, VOL. 11, NR. 1, PAG. 40 - 43, 1981
Pentru a descărca acest document,
trebuie să te autentifici in contul tău.