Modelarea unui protocol de comunicaie

O soluie pentru sincronizarea activitilor la emisia i, respectiv, recepia de mesaje se

bazeaz pe utilizarea unui tampon (buffer), n care emitorul depune mesajul util, iar
receptorul dup recepie, depune un mesaj de confirmare (acknowledge).

n figura a) se prezint schematizat modul de operare a unui protocol de comunicaie

simplu, cu transmitere unidirecional de mesaj util de la emitorul E la receptorul R. Acest
mesaj este depus n tamponul T i este preluat de R numai atunci cnd este pregtit s l
recepioneze.

Dup emiterea mesajului util, E eteapt un mesaj de confirmare pe care R l depune n

T, de ndat ce a ncheiat de recepionat mesajul util. Dup recepionarea mesajului de
confirmare, E pregtete un nou mesaj util pentru transmitere. Dup recepionarea mesajului
util, R proceseaz mesajul util curent i se pregtete s primeasc un nou mesaj util.
Funcionarea descris este ciclic.
mesaj de
mesaj util confirmare
E T R

Emitor Tampon Receptor

a) Reprezentarea schematizat a modului de operare n cazul

unui protocol de comunicaie simplu, unidirecional

n figura b) este prezentat modelul tip reea Petri netemporizat.

Structurile formate din t2, p2, p7, i, respectiv, t6, p6, p8 structuri de tip paralelism sau
concuren. Cu ajutorul primei se modeleaz faptul c transmiterea mesajului util
producerea evenimentului t2 conduce simultan la schimbarea strii lui E i T p2 i p7
primesc cte un jeton (marc). Similar, se justific i utilizarea celei de-a doua structuri de tip
paralelism menionat anterior, care se refer la schimbarea strilor lui R i T.

De asemenea, structurile t3, p2, p8, i t5, p4, p7 structur tip sincronizare cu cea de-a doua, se
modeleaz faptul c nceperea recepionrii mesajului util (producerea eveniment t5) este
posibil numai dac T conine un mesaj util i R este gata de recepie (p4 i p7 conin cte un
jeton).
 Conine
nceput mesaj nceput recepie Se
Se pregtete
transmitere mes t1 t5 mesaj
pregtete pentru
pentru mesaj
Ateapt p7 Primete mesaj recepie
emisie acknowledge p2 p5 pregtete ack.
p8
nceput recepie t6 nceput transmisie
p1 acknowledge t2 acknowledge p4
Primete ack i p3 Conine Proceseaz
pregtete mes ack p6 mesaj

Sfrit pregtire t3 t4 Sfrit

mesaj procesare mesaj

(T)
(E) (R)

Fig. b) Modelul tip reea Petri al funcionrii protocolului

Se constat c modelul b) nu conine explicit informaii despre disponibilitatea

tamponului T, ca resurs, reeaua modeleaz numai operaia de stare n T a mesajelor utile sau
de confirmare. Totui, lipsa unui astfel de detaliu nu aduce nici un prejudiciu calitii
modelului, introducere sa fiind redundant.

Dac s-ar lua n discuie i posibilitatea defectrii lui T, atunci modelul ar trebui s
conin exlicit informaii despre disponibilitatea lui T.