Teorema 2:

Nu exista interblocare.
Sub conditia ca fiecare bucla de “feedback” exista cel putin o componenta i cu o valoare a
functiei “lookahead” pozitiva (lookaheadi(qi,tliEITi)>EITi) simulatorul nu produce interblocare si
totdeauna poate inainta in timp.
Dem: vom demonstra ca cel putin componenta i* cu timp al urmatorului eveniment minim (tni*),
nu este blocata.
In primul rand, consideram calculul lui EOTi pentru componentele i cu EITi≥tni*. Din (1)
deducem ca pentru astfel de componente:

EOTi≥tni* (3)

Pentru toate componentele care nu au posturi de intrare vom avea EITi=∞. Deci, toate aceste
componente indeplinesc conditia (3).
Fie i* componenta simulator cu timpul minim al urmatorului eveniment tni*:

tni*=mini{tni} (4)

Vom arata ca aceasta componenta nu este niciodata blocata, adica EITi*>tni*.

Sa consideram toate drumurile (i*=i0, i1, i2,...) ale influentatorilor directi si indirecti ai
componentei i*, in concordanta cu structura de cuplare a modelului. Pentru toate perechile de
componente ik,k+1 in acele denumiri in care calculul lui EIT se bazeaza pe minimul EOT-urilor
influentatorilor, este garantat ca EITik  EOTik 1 si exista cel putin un drum cu EITik  EOTik 1 . Din
acele drumuri selectam unul cu EITi  EOTi pentru toti k. Fara a pierde din generalitate, sa
k k 1

consideram ca exista numai un astfel de drum. In acest drum avem: