Posibilitatile de modelare ale retelelor Petri si eficienta lor in aplicatii se explica, inainte de toate, prin aceea ca, reteaua Petri este o integrare de graf si de sistem dinamic, ea poate servi, in felul acesta, si ca model static si ca model dinamic al unui obiect reprezentat cu ajutorul ei. Totodata, absenta unei ordini analitice, fixate strict la determinarea - iesirii retelei, face acest sistem nedeterminat algoritmic in acelasi sens ca si pentru modelele de imitare. Retelele Petri joaca un rol deosebit la modelarea proceselor paralele, aici acesta reprezentand aproape cel mai comod si promitator instrument de cercetare. O nu mai mica importanta are cunoscutul avantaj al acestor retele - comoditatea programarii lor pe calculator.
Aplicarea retelelor Petri nu se limiteaza, insa, la modelarea proceselor si sistemelor dinamice. Ele se folosesc cu succes in programarea teoretica, la solutionarea problemelor de specificare functionala si verificarea asigurarii de programe, organizarea proceselor de calcul, comanda.
Este esential sa se evidentieze patru obiective de cercetare a obiectivelor cu ajutorul retelelor Petri: 1) interpretarea (programarea obiectului), legata de o reprezentare adecvata a obiectului ce se modeleaza cu retelele Petri; 4) trecerea din limbajul retelelor Petri in limbajele de programare, acest obiectiv a aparut relativ recent legat de realizarea sistemelor de comanda pe baza modelelor de retele.
Dezvoltarea teoriei retelelor Petri in planul solutionarii problemelor aratate, si in special al obiectivului, duce la aparitia unor diverse modificari ale acestora.
La nivel verbal procesul generalizarii descrierii retelelor Petri poate fi reprezentat in felul urmator.
Cele mai limitate retele automate si grafurile marcate, care permit o intrare si o iesire pentru tranzitii si respectiv locatii.
Intotdeauna nu examinarea multiplicativitatii arcelor sau numai a jetoanelor in locatii permite deja modelarea nu numai a functionarii sistemelor paralele, ci si a dinamicii resurselor.
Complicarea respectiva a retelelor extinde in mod esential posibilitatile descrierii sistemelor fizice, totusi obliga la a se recurge la diferite constructii artificiale, la descrierea proceselor ce interactioneaza, ce se desfasoara in aceleasi subsisteme functionale indivizibile. Iesirea din aceasta situatie s-a dovedit a fi permisiunea existentei unor jetoane si arce colorate. Dezvoltarea acestei idei a dus la aparitia citorva variante de descriere a retelelor Petri colorate, care, insa, nu au deosebiri de principiu si pot fi transformate in mod izomorf una in alta.
Necesitatea cercetarii dinamicii fluxurilor de resurse in sisteme a obligat la cautarea cailor de includere in retelele Petri a parametrilor de timp intr-o forma evidenta. Totusi, in retelele Petri in reprezentarea lor actuala nu se deosebeste ordinea intrarii jetoanelor in locatii, ceea ce nu permite intotdeauna ordinii lineare pe multimea de jetoane in locatii si, ca atare ...
V. KOTOV - "SETI PETRI" - MOSCOVA, NAUKA, 1984
REISIG. W. - "RETELE PETRI" - SPRINGER - VERLAG, 1982
PETERSON DJ. - "TEORIA SETEI PETRI I MODELIROVANIE SISTEM" - MOSCOVA, MIR, 1984
JANICKI R. - "A CARACTERIYATION OF CONCURRENCY - LIKA RELATIONS" - LNCS, 1979
NIELSEN M. , G. PLOLKIN, G. WINSKEL - "PETRI NETS: EVENT STRUCTURES AND DOMAINS" - TEOR. COMPUTER SCI. , 1981
MAZURKIEWICZ A. - "TRACES, HISTORIES, GRAHS; INSTANCES OF A PROCESS MONOID" - LNCS, 1984
BAR R. - "PROGRAMAREA IN LIMBAJUL ADA" - MOSCOVA, MIR, 1983
DIJKSTRA E. W. - "CO - OPERATING SIQUENTIAL PROCESS IN PROGRAMING LANGUAGES" - ED. F. GENUYS, NEW - YORK, ACAD. PRESS, 1968
GOOLAHAN J. - "TIMING RIGUIREMENT FOR TIME - DRIVEN SYSTEM USING AUGMENT PETRI NETS" - IEEE TRANS. SE, 1983
M. POPA, GOOLAHAN J. - "TIMING RIGUIREMENT FOR TIME - DRIVEN SYSTEM USING AUGMENT PETRI NETS" - IEEE TRANS. SE, 1983
A. A. LESKIN, P. A. MALTEV, A. M. APIRIDONOV - "SETI PETRI V MODELIROVANIE I UPRAVLENII" - LENINGRAD, 1989
CONCURRENTLY FIRING IN PRT - PETRI NETS - ANUARUL UNIV. BUCURESTI, 1993
PROCEEDING OF THE 2HD INTERNATIONAL CONFERENCE OF FMS. LONDON. IFS LTD A NORTH - HOLLAND PUBL. CO, 1983
Pentru a descărca acest document,
trebuie să te autentifici in contul tău.