Relatia de dependenta a evenimentelor de intrare-iesire

Algoritmii de simulare secventiala garanteaza cauzalitatea intre evenimente prin generarea din
aceasta ordine partiala a unei relatii de ordine totala a evenimentelor in concordanta cu timpii
evenimentelor. Simularea paralela a sistemelor cu evenimente discrete exploateaza ordonarea partiala
pentru a gasi evenimentele care pot fi procesate in paralel. In lucrarea [] Fujimato defineste conditiile
de simulare corecta (de a nu viola conditiile de cauzalitate), astfel: Restrictia de cauzalitate: Simularea
unui model care consta din componente modulare care comunica numai prin relatia lor de cuplare
intrare-iesire. Se supune restrictiei de cauzalitate, daca si numai daca fiecare componenta (simulator)
prelucreaza evenimentele in ordinea nedescrescatoare a timpilor eveniment.
Schemele de simulare paralela a sistemelor cu evenimente discrete se bazeaza pe aceasta
restrictie. Pe cand abordarea conservativa a PDES evita in mod strict violarea restrictiei de cauzalitate,
abordarile optimiste o violeaza temporar, dar ele detecteaza si separa aceste violari.