Probleme caracteristice ale PDES (Ziegler’oo)

Pentru a intelege problemele care apar in PDES ne amintim cateva elemente esentiale ale
simularii discrete. Reamintim, simularea inseamna a genera comportarea dinamica a unui model asa
cum este specificat in definitia lui, pornind de la o stare initiala. In algoritmii de simulare secventiala
am presupus ca comportarea modelului este generata in ordine strict secventiala. Totusi, aceasta nu este
intotdeauna necesara. De exemplu, sa consideram un model cu doua componente care acum nu sunt
cuplate si care sunt separate (fig. urmatoare)

Fig... Doua modele independente

Cele doua modele pot fi simulate in ordine arbitrara. Dar, de obicei, modelele nu sunt
independente. Ele pot fi executate independent pentru o perioada de timp, dupa care apar dependentele
intre ele. Dependentele intre modelele cu evenimente discrete apar prin intermediul evenimentelor.
Cand un eveniment intr-una dintre componente influenteaza direct sau indirect evenimente ale altor
componente, atunci vom spune ca exista o dependenta de cauzalitate a evenimentelor. Pentru a garanta
corectitudinea executiei, generarea evenimentelor trebuie sa pastreze cauzalitatea, adica cauza trebuie
sa preceada efectul. Pentru un eveniment oarecare Ej toate evenimentele Ei de care el depinde trebuie sa
fie prelucrate inainte de Ej. Un eveniment Ej depinde de un eveniment Ei daca Ei il planifica pe Ej, daca
Ei modifica variabilele de stare care il afecteaza pe Ej sau Ei planifica un eveniment Ek si Ej depinde de
Ek.
Este clar ca toate evenimentele Ei de care depinde Ej trebuie prelucrate inainte de Ej.
Dependentele intre evenimente formeaza o relatie de ordine partiala si ireflexiva. In plus, relatia de
dependenta nu trebuie sa fie ciclica si valoare timpului asociata evenimentului Ej nu trebuie sa fie mai
mica decat a oricarui eveniment Ei de care el depinde.
Pentru a discuta dependentele intre componentele modelului, sa restrictionam discutia la
modelele cuplate prezentate in capitolul .... Sistemele de simlare discrete sunt construite pe baza acestei
teorii. In PDES, componentele modelului sunt denumite procese loice. In cadrul modelelor cuplate,
dependentele dintre modele sunt gandite exclusiv prin schema de cuplare intrare/iesire. Astfel, aceste
dependente arata ca dependentele intre evenimente de intrare si de iesire. In modelul din figura
urmatoare, doua modele seriale de tip server sunt legate la un model F (fesk) la partea de intrare si o
componente J (join) la partea de iesire.