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: