Distrugerea interblocarii intr-o bucla “feedback”

O alternativa la evitarea stricta a interblocarii este sa se lase interblocarea sa se intample, sa fie

detectata si sa se refaca starea sistemului din ea. Mai multe metode de detectie si refacere au fost
produse [...]. In cele ce urmeaza, nu vom discuta despre detectarea interblocarii. In schimb, vom
continua prin formularea unei simulator PDES pentru modele DEVS, lucrand cu evitarea interblocarii.
In acest sector vom introduce o abordare a PDES pentru modele DEVS modulare.
Ideea principala in spatele simulatorului conservativ pentru modele DEVS prezentata aici este
de a intretine o retea a estimarii valorilor corelate EOT (Earliest Output Time) si EIT (Earliest Input
Time), care corespund strict de cuplare iesire/intrare a modelului cuplat. Estimarile EOT/EIT reprezinta
timpii ce sunt distribuiti cu mesaje nule. Ele trebuie intretinute in paralel intre comunicarea prin
evenimente si prelucrarea evenimentelor.
Estimarea timpului celei mai devreme intrari EITi, ip pentru un post de intrare ip al
componentei i da informatia ca nicio intrare nu va fi primita la acel post la o valoare a timpului mai
mica. Ea poate fi calculata considerand toate estimarile timpilor celor mai devreme iesiri ale posturilor
de iesire influentatoare. Deci, pentru un post de intrare ip al componentei i, timpul celei mai devreme
intrari se calculeaza dupa formula:
 Distrugerea situatiei de blocare in componenta Join prin mesaje nule

Cand componenta F are un eveniment la unul dintre posturile sale de iesire, sa zicem la
momentul 10, ea de asemenea pune un mesaj nul la celelalte posturi de iesire, anuntand ca ea a avansat
la valoare ceasului 10 si ca nu va avea o iesire mai devreme de momentul 10. aceasta informatie este
inaintata prin serverul serial lui J si orice intrare primita mai devreme de 10, care deja asteapta in
coada, poate fi prelucrata.
Cu aceasta schema suntem capabili sa prevenim blocarea, dar nu putem distruge interblocarea
ce se naste din buclele de “feedback”. Consideram modelul din figura ...., unde o bucla “feedback” a
fost introdusa de la J inapoi la F.