Reţele Petri colorate dinamic reconfigurabile pentru modelarea proceselor de calcul orientate pe servicii

Abstract

Reţelele Petri (RP) sunt un formalism de modelare şi analiză a sistemelor concurente cu evenimente discrete. Oricum, acestea nu oferă o cale directă care ar reprezenta schimbări dinamice de structură a modelului, o paradigmă foarte importantă la proiectarea sistemelor de calcul orientate pe servicii. În lucrare sunt definite RP colorate (RPC) reconfigurabile marcaj – controlabile (RPCR), care permit de a obţine un model mai compact ce descrie funcţionarea sistemelor orientate pe servicii, unde în mod dinamic sunt prezente schimbări de structură.