Scribd
Încărcați
10 vizualizări3 pagini

Modele Subiecte RPA2025

Documentul conține probleme legate de rețelele Petri, inclusiv construirea graficelor de acoperire, matricea de incidență, P-invariantii și T-invariantii, precum și analiza proprietăților de soundness pentru rețelele workflow. De asemenea, se discută despre rețelele Petri colorate și extensiile cu timp ale acestora, solicitând justificări pentru diverse proprietăți precum viabilitatea și marginirea. Fiecare problemă necesită o analiză detaliată și exemple specifice pentru a demonstra conceptele discutate.

Încărcat de

ovidiu
Drepturi de autor
© All Rights Reserved
Respectăm cu strictețe drepturile privind conținutul. Dacă suspectați că acesta este conținutul dumneavoastră, reclamați-l aici.
Formate disponibile
Descărcați ca PDF, TXT sau citiți online pe Scribd
10 vizualizări3 pagini

Modele Subiecte RPA2025

Documentul conține probleme legate de rețelele Petri, inclusiv construirea graficelor de acoperire, matricea de incidență, P-invariantii și T-invariantii, precum și analiza proprietăților de soundness pentru rețelele workflow. De asemenea, se discută despre rețelele Petri colorate și extensiile cu timp ale acestora, solicitând justificări pentru diverse proprietăți precum viabilitatea și marginirea. Fiecare problemă necesită o analiză detaliată și exemple specifice pentru a demonstra conceptele discutate.

Încărcat de

ovidiu
Drepturi de autor
© All Rights Reserved
Respectăm cu strictețe drepturile privind conținutul. Dacă suspectați că acesta este conținutul dumneavoastră, reclamați-l aici.
Formate disponibile
Descărcați ca PDF, TXT sau citiți online pe Scribd

Examen RPA

1.​ Problema care verifica tehnicile de analiza pentru retelele clasice


Fie urmatoarea retea.

a)​ Construiti graful de acoperire al retelei.


Utilizand graful de acoprire, ce se poate spune despre: marginire, reversibilitate, viabilitate,
pseudo-viabilitate.
b)​ Construiti matricea de incidenta
c)​ Construiti P-invariantii retelei. Pe baza acestora, ce se poate spune despre:
■​ marginirea retelei
■​ accesibilitatea marcarilor: (0,1,1,0,0), (0,0,2,0,0)
d)​ Construiti T-invariantii retelei. Pe baza acestora, ce se poate spune despre:
■​ existenta marcari reproductibile
■​ reversibilitate
(Justificati toate raspunsurile)

2.​ Problema referitoare la retelele workflow si proprietatile de soundness:


Fie urmatoarea retea workflow

Verificati daca reteaua are proprietatea de terminare structural corecta. Justificati


( sau: Ce se poate spune despre corectitudinea structurala a retelei? etc )

3.​ Retele Petri Colorate


CHR = {a,b,c}
PCHR = CHR X CHR
Construiti graful de accesibilitate si graful componentelor tari conexe. Care sunt
componentele tari conexe terminale? Folosind graful componentelor tari conexe:
verificati daca reteaua este viabila (cu justificare); Verificati daca exista marcari acasa

4.​ Extensii cu timp ale retelelor Petri


Fie urmatoarea retea cu intervale de timp.
Sa se construiasca o secventa de executie nevida de la starea initiala inapoi la starea
initiala.
Dati exemplu de secventa de tranzitii posibila in reteaua fara timp si imposibila in
reteaua cu timp
Dati exemplu de marcare accesibila in reteaua suport fara timp care nu este accesibila in
reteaua cu timp.
Comparati marginirea retelei fara timp cu marginirirea retelei suport fara timp
sau:

Fie urmatoarea retea cu durate de timp cu comportament de tip S. Construiti o secventa


de executie de la starea initiala la starea (2p4, ∅, _)
Daca comportamentul ar fi de tip E, puneti in evidenta o secventa care sa nu fie posibila
in cazul comportamentului de tip S

S-ar putea să vă placă și