Dare de Seama La Petri

8
P a c h e t e O n / O f f 1 0 2 1 I n c e r c a r i D e t e c t o r k 1 K 2 K _ E r r o r C o m u t a t o r B L o c a j 5 8 2 G e n e r a t e 8 3 I n s u c c e s e C r e d i t _ W a y 1 0 S t a r t _ C r e d G e n _ C r e d V e r i f y 4 9 9 S u c c e s e 1 0 C r e d i t e T r a n s m i t a t o r 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 T 1 R e c e p t o r 1 T 1 T 1 1 m 1 2 m 1 7 m 1 7 m 1 7 m 1 7 m 1 7 m 1 2 m 1 3 m 1 3 C o p i e D e s t r u g C o p i a 1 T 1 G e n C h i t a n t e 1 C h i t a n t a C h i t a n t e O f f f 1 T 1 1

description

bvcbcvxbvb

Transcript of Dare de Seama La Petri

Page 1: Dare de Seama La Petri

Pachete

On/Off

1021

Incercari

Detectork1

K2

K_Error

Comutator

BLocaj

582

Generate

83

Insuccese

Credit_Way

10

Start_Cred

Gen_Cred

Verify

499

Succese

10

Credite

Transmitator1

T1

T1

T1

T1

T1

T1

T1

T1

T1

T1

T1

T1

T1T1

T1

Receptor

1

T1

T1

1

m12

m17

m17

m17m17

m17

m12

m13

m13

Copie

Destrug Copia1

T1

Gen Chitante1

Chitanta

Chitante Offf1

T1

1

Page 2: Dare de Seama La Petri
Page 3: Dare de Seama La Petri

Proiectul meu simuleză transmiterea mesajelor(poșta electronică) către un oarecare receptor, care la primirea mesajului va emite o etichetă spre emitator. Problema rețelei este , că se poate pierde mesajul . Pierderile din rețea nu sunt programate, ele sunt spontane, absolut independente.

Calea care trebuie urmată de către marker pentru a obține succes este:

Transmitator->k1->detector(aici va fi aliator alesa cale):->

-spre eroare:->K_Error->Blocaj:

*spre „pachete”( atitea ori , cite credite avem)

*spre „comutator” unde va fi transmisa copia spre receptor si vor fi generate pachete noi si creditele.

-spre succes:->K2->Receptor->Verify;

Cind pachetul trece prin „Verify” este generata chitanta si se transmite, cind ajunge chitanat in „Chitanta” ea automat se distruge in „Chitanta Offf” si se distruge copia pachetului activind tranzactia „Distrug_Copia”.

Locatiile:

Pachete- porneste lucrul retelei transmmitind primul pachet.

Incercari-inregistreaza nr. de incercari(transmiteri) a pachetelor.

Copie-contine copia pachetului.

On/Off-Reteau lukreaza daca contine marcher si Nu , daca nu contine marcheri.

Detector-alege aliator calea pachetului.

K_error-opreste transmitator cind pachetul trece prin eroare.

Blocaj-ii ofera pachetului sanse de a fi retransmis atita timp cit sunt credite disponibile daca nu atunci el va transmis in „Comutator”.

Comutator-primeste pachetul eronat, transmite copia spre „Receptor” distruge toate creditele, le genereaza din nou si genereaza pachet nou.

Chitanta-contine chitanta(activind destrugerea copiei).

Verify-porneste chitanta,distruge creditele ramase si le genereaza din nou.

Succese-contine nr. de pachete care au ajuns cu succes.

Start_Cred-contine nr. de credite ramase.

Gen_Cred-contine un marcher de start a creditelor.

Insuccese-contine nr. de pachete care nu au ajuns cu succes.

Generate-contine nr. de credite generate.

Page 4: Dare de Seama La Petri

Credite-contine nr. de credite oferit pentru incercari.(aceasta locatie este legata prin formula cu tranzitia ce genereaza creditele de start<Start_Cred>).

Toate sagetile care se duc dela Start_Cred prin formula sunt legate cu „Start_cred” pentru ca la destrugere ponderea lor sa fie egala cu nr. de marcheri in locatie.

Si invers toate sagetile care vin in Start_Cred sunt legate prin formula cu „Credite” pentru ca la generare pachetlor noi ponderea sa fie egala cu nr. de credite specificat la inceput.

Tranzițiile:

Transmitator – va genera 1 pachet, care va fi copiat si transmis .

Receptor-primeste pachetul dela K2 .

Gen Chitante- genereaza o chitanta noua.

Distrug Copia –distruge copia pachetului.

Page 5: Dare de Seama La Petri

Experimentul în Visual Hybrid Petri NetNr.

Creditetrimise succese insuccese

10 582 499 831 1202 866 3362 987 795 1923 887 728 1594 831 673 1585 786 699 876 802 698 1047 837 734 1038 717 661 569 747 681 66

Sarcinile emitătorului:

1. Emitatorul genereaza si trimite pachete la Receptor. În acelasi timp se genereaza o copie de rezerva a pachetului si se pastreaza intr-o locatie aparte.

2. Copia de rezerva a pachetului este distrusa in cazul receptionarii mesajului de confirmare din partea Receptorului si in acest caz:

3. Emitatorul genereaza si trimite Receptorului un pachet nou de date.

4. Emitatorului se acorda un anumit numar de credite-10 (numarul de incercari de a transmite pachetul).

5. Emitatorul primeste semnal daca mesajul a fost retransmis de 10 ori se înregistrează insucces si genereaza alt mesaj.

6. Dacă este insucces si se generează alt pachet copiile mesajului precedent se distrug.

Sarcinile receptorului:

1. Receptorul este gata pentru a primi pachetul din retea;

2. Receptorul primeste pachetul;

3. Receptorul prelucreaza datele si trimite Emitatorului confirmarea receptionarii pachetului (eticheta);

4. Receptorul trece intr-o stare de asteptare;

4. Reinitializarea procesului,prin generarea de pachet nou.

Page 6: Dare de Seama La Petri

Sarcinile retelei:

1. Reteaua  se afla in stare de buna functionare;

2. Pachetul se transmite catre Receptor;

3. Reteua nu lucreaza (a avut loc o eroare in retea:pierderea mesajului sau etichetei).

4. Reinitializarea procesului,prin generarea de pachet nou.

Cocluzia:

In rețeaua

-minim insuccese sunt daca ofer 8 credite .

-maxim sucese daca ofer 1 credit.

-cel mai mare nr. de pachete generate este cind oferim 1 credit.

-cel mai mic nr. de pachete generate(incercari) este cind oferim 10 credite.

Page 7: Dare de Seama La Petri

Universitatea de Stat din MoldovaFacultatea de Matematica si Informatică

Specialitatea: ”Informatică”

Dare de seama

Rețele Petri

Tema : ”Rețele Discrete”

Coordonator:Prepelita A., conf. univ., Catedra TP Elaborat:Stratulat Petru. I21

Chisinau, 2014