corporate 2 template - cursuri automatica si...
TRANSCRIPT
![Page 1: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/1.jpg)
Modelare cu Retele Petri
CURS 3
![Page 2: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/2.jpg)
2
Sisteme cu Evenimente Discrete
• Un Sistem cu Evenimente Discrete (SED) este un sistem
cu stari discrete, care evolueaza prin evenimente, adica
evolutia sa depinde in intregime de aparitia asincrona a
unor evenimente discrete.s6
s5
s4
s3
s2
s1
t1 t2 t3 t4 t5 t6 t7
e1 e2 e3 e4 e5 e6 e7
![Page 3: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/3.jpg)
3
Obiective ale studiului sistemelor (1)
Modelare si analiza: Se dezvolta un model pentru a verifica
daca poate reproduce comportamentul pertinent al sistemului
fizic corespunzator. Daca modelul este corect, atunci el
permite analiza functionarii sistemului fizic in diferite conditii de
lucru.
Proiectare si sinteza: Se utilizeaza tehnici de modelare deja
verificate pentru construirea de sisteme care sa aiba un anumit
“comportament dorit”. Pentru acesta se combina diverse
componente si se dau valori anumitor parametri.
Conducere: Scopul activitatii de conducere este de a
determina functiile de intrare care vor asigura un
comportament dorit al sistemului condus in contextul unor
conditii de operare variate si uneori posibil adverse. Este
necesar un model al sistemului condus, precum si existenta
unor tehnici care sa permita testarea a diferite metode de
conducere.
![Page 4: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/4.jpg)
4
Evaluarea performantelor: Se poate ca mai multe tehnici de
conducere sa permita obtinerea comportamentului dorit al
sistemului condus. Trebuiesc stabilite criterii si tehnici de
comparatie ale acestor tehnici, in vederea selectarii celei mai
eficiente.
Optimizare: Determinarea performantelor optime ale
sistemului condus - necesita tehnici specializate si de regula
euristice.
Obiective ale studiului sistemelor (2)
![Page 5: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/5.jpg)
5
Exemple de SED
Retele de calculatoare
Sisteme de comunicatii
Sisteme de Fabricatie
Sisteme de Trafic
Baze de date complexe
Sisteme software
…
orice sistem complex, condus prin calculator
![Page 6: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/6.jpg)
6
Modelare SED
• Concluzie
– Evolutia unui sistem poate fi reprezentata in termeni de
stari/ conditii si evenimente
• Formalisme disponibile:
Automate (stari/ evenimente)
Retele Petri (variabile de stare/ evenimente)
Lanturi Markov, cozi de asteptare
![Page 7: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/7.jpg)
7
Retele Petri notiuni de baza
• O retea Petri (PN) e un grafbipartit, compus din:
- doua tipuri de noduri
Pi (1 i 5) – pozitii
Tj (1 j 5) – tranzitii
- arce orientate (unescdoua tipuri diferite de noduri).
• Fiecare pozitie poatecontine un numar intreg de jetoane sau marcaje.
• Numarul de jetoane dintr-o pozitie s.n. marcaj.
• Marcajul lui Pi: m(Pi) or mi
P1
P3 P5
P2 P4
T5T3
T4T2
T1
![Page 8: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/8.jpg)
8
Comentarii
• Un nod i poate fi, pentru un nod j, :– intrare: daca exista un arc directionat de la nodul
i la nodul j (i j)
– iesire: daca exista un arc directionat de la nodul j la nodul i (j i)
• O tranzitie fara intrari = sursa
• O tranzitie fara iesiri = capcana
• Marcajul retelei M este definit ca un vector al marcajelor pozitiilor
M = [m(P1) m(P2) m(P3) m(P4) m(P5)]T
si defineste starea retelei la un moment dat.
![Page 9: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/9.jpg)
9
Semnificatii pozitii
• Mediu de comunicare (linie telefonica, intermediar,
retea de comunicatie)
• Buffer (cutie postala, stoc, depozit)
• Locatie geografica (locatie intr-un depozit, oficiu sau
spital)
• Stare a unei componente sau valoarea unei conditii
(etajul la care se afla un lift, conditia ca un specialist
sa fie disponibil).
![Page 10: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/10.jpg)
10
Semnificatii tranzitii
• Eveniment (inceputul sau sfarsitul unei
operatii, decesul unui pacient, schimbarea
culorii unui semafor)
• Transformarea unui obiect
(modificarea/adaptarea unui produs,
reactualizarea unei baze de date,
reactualizarea unui document)
• Transportul unui obiect (transportul bunurilor,
expedierea unui mesaj sau a unui fisier)
![Page 11: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/11.jpg)
11
Semnificatii jetoane
• Obiect fizic (produs, componenta,
medicament, persoana)
• Obiect informational (mesaj, semnal,
raport, fisier)
• Colectie de obiecte (camion cu bunuri,
depozit cu componente, fisier cu adrese)
• Indicator de stare (indicator al starii unui
proces, starea unui obiect)
• Indicator al indeplinirii unei conditii.
![Page 12: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/12.jpg)
12
Marcaje, stari si evolutii
Marcajul retelei M este definit ca un vector al
marcajelor pozitiilor retelei si reprezinta starea
modelului la un moment dat.
Evolutia sistemului corespunde evolutiei
marcajelor.
Evolutia se face prin executia tranzitiilor.
![Page 13: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/13.jpg)
13
Executia unei tranzitii
O tranzitie se numenste valida (executabila) dacatoate pozitiile sale de intrare contin cate cel putinun jeton de marcaj.
Nota: O tranzitie sursa este totdeauna valida.
Executia unei tranzitii:
se retrage (consuma) cate un jeton din fiecarepozitie de intrare
se depune (produce) cate un jeton in fiecarepozitie de iesire
Ipoteze:
executia unei tranzitii are durata nula si esteindivizibila
intr-un sistem SED poate sa aiba loc numai uneveniment la un moment dat
![Page 14: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/14.jpg)
14
Structuri particulare (1)
• Graf de stari: fiecare tranzitie are exact o
pozitie de intrare si o pozitie de iesire
OR
DA NU
![Page 15: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/15.jpg)
15
• Conflict structural: o pozitie cu cel putin doua
tranzitii de iesire: K=< P1, {T1, T2}>
• Fara conflicte: fiecare pozitie are max. o tranzitie
de iesire
OR
P1
T1 T2
Structuri particulare (2)
![Page 16: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/16.jpg)
16
• RP simple: fiecare tranzitie e implicata in
cel mult un conflict
Structuri particulare (3)
![Page 17: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/17.jpg)
17
• RP pura: o RP fara auto-buclare (auto-
buclare – o pereche pozitie Pi + tranzitie Tj
- in care Pi este si intrare si iesire pentru Tj)
OR
Structuri particulare (4)
![Page 18: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/18.jpg)
18
Abrevieri si Extensii
• Abrevieri: reprezentari simplificate pentru care
exista intotdeauna o RP ordinara echivalenta
• Extensii: modele cu reguli functionare suplimentare
si cu putere de modelare superioara
• Nota: Toate proprietatile unei RP se mentin
pentru abrevieri; acest lucru NU este valabil in
mod obligatoriu pentru extensii.
![Page 19: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/19.jpg)
19
RP generalizate
• RP generalizate =
arcurile au asociate
ponderi (intregi); pe un
arc circula numai
pachete de jetoane de
marcaj al caror numar e
egal cu ponderea arcului
Exemplu de asamblare
Roti de
masina
Caroserii
Masini
4
![Page 20: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/20.jpg)
20
RP cu capacitati
• RP cu capacitati = pozitiile au asociate
capacitati fixe (intregi pozitivi); o tranzitie NU
poate fi executata daca prin aceasta se
depaseste capacitatea vreunei pozitii
P1
P2
T1
T2
cap(P2)=2
P1
P2
T1
T2
P’ 2
![Page 21: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/21.jpg)
21
Modelarea anumitor concepte (1)
Cauzalitate
![Page 22: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/22.jpg)
22
Modelarea anumitor concepte (2)
Paralelism
![Page 23: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/23.jpg)
23
Modelarea anumitor concepte (3)
Paralelism AND-split (sincronizarea inceputului)
![Page 24: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/24.jpg)
24
Modelarea anumitor concepte (4)
Paralelism AND-join (sincronizarea sfasitului)
![Page 25: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/25.jpg)
25
Modelarea anumitor concepte (5)
Alternativa XOR-split (la inceput)
![Page 26: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/26.jpg)
Modelarea anumitor concepte (6)
Alternativa XOR-join (la final)
![Page 27: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/27.jpg)
27
Modelarea anumitor concepte (7)
Iteratie (cel putin o data)
![Page 28: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/28.jpg)
28
Modelarea anumitor concepte (8)
Iteratie (0 sau mai multe ori)
![Page 29: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/29.jpg)
29
Modelarea anumitor concepte (9)
Capacitate limitata
![Page 30: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/30.jpg)
30
Modelarea anumitor concepte
Excludere mutuala (partajare resurse)
![Page 31: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/31.jpg)
31
Modelarea anumitor concepte
Alternanta
![Page 32: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/32.jpg)
32
Proprietati ale RP (1)
Notatii si definitii
• marcaj initial: M0
• din marcajul M, prin executia tranzitiei T1 se ajunge
in M1 : M|T1>M1
• mi(Pj) – numarul de jetoane din pozitia Pj
corespunzator marcajului Mi.
• multimea marcajelor accesibile din M0: M0*
• secventa de executii: S = T1T2
![Page 33: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/33.jpg)
33
Dandu-se doi vectori de marcaj de aceeasi
dimensiune, M1 si M2,
•vectorul M1 este superior lui M2 (M1 ≥ M2)
daca m1(Pi) ≥ m2(Pi) si exista un Pj a.i. m1(Pj) >
m2(Pj) pentru cel putin o componenta
•vectorul M1 este strict superior lui M2 (M1>M2)
daca m1(Pi) > m2(Pi) pentru orice pozitie Pi.
Proprietati ale RP (2)
![Page 34: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/34.jpg)
34
1. Marginire
2. Viabilitate
3. Blocaje
4. Conflicte
5. Reinitializabilitate
Proprietati ale RP (3)
![Page 35: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/35.jpg)
35
Marginire
• O pozitie Pi este marginita pentru un marcaj initial
M0 daca exista un intreg pozitiv k a.i. pentru orice
marcaj in M0* numarul de jetoane din Pi nu
depaseste k
• O RP este marginita pentru un marcaj initial m0
daca toate pozitiile sale sunt marginite pentru M0.
• O RP este sigura daca este 1-marginita.
![Page 36: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/36.jpg)
36
Viabilitate
• O tranzitie Tj este viabila pentru un marcaj initialM0 daca pentru orice marcaj mi in M0
* exista osecventa S care sa contina Tj.
• O RP este viabila pentru un marcaj initial M0 dacatoate tranzitiile sale sunt viabile pentru M0.
• O tranzitie Tj este quasi-viabila pentru un marcajinitial M0 daca exista macar o secventa S din M0
care sa contina Tj
![Page 37: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/37.jpg)
37
Blocaje (deadlock)
• Un blocaj este un marcaj din care nu mai exista
nici o tranzitie valida.
• O RP este fara blocaje pentru marcajul initial M0
daca nici un marcaj din M0* nu este un blocaj.
• Nota: Daca o RP are macar un blocaj, atunci nu
poate fi viabila.
![Page 38: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/38.jpg)
38
Observatii
• Proprietatile de marginire, viabilitate, blocaje -depind de marcajul initial al retelei.
• Toate proprietatile de pana acum se pot aplica laabrevieri si pot fi generalizate pentru extensii
![Page 39: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/39.jpg)
39
Conflicte
•Intr-o RP ordinara, un conflict efectiv este o
pereche formata dintr-un conflict structural
K = <Pi, {T1, T2, ... }>
si un marcaj M in care numarul de jetoane din Pi este
mai mic decat numarul de tranzitii de iesire ale
acesteia, validate prin M.
KE = <K, M>=< Pi, {T1, T2, ... }, M >
![Page 40: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/40.jpg)
40
Componenta repetitiva
• O secventa repetitiva este o secventa S astfel
incat M0|S > M0.
• O secventa repetitiva care contine toate
tranzitiile retelei, este o secventa repetitiva
completa.
• Daca T’ este o submultime a tranzitiilor retelei si
Sk o secventa repetitiva de tranzitii din T’, atunci
T’ este o componenta repetitiva.
![Page 41: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/41.jpg)
41
Reinitializabilitate
• O RP poarta numele de reinitializabila daca
pentru orice marcaj Mi exista o secventa S
astfel incat Mi|S > M0.
![Page 42: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/42.jpg)
42
Metode de analiza a RP
• Clase de metode:
– graf de marcaje (arbore de acoperire)
• Graful de marcaje - poate fi utilizat numai
pentru RP marginite si include toate
evolutiile posibile ale acestora.
– algebra lineara
![Page 43: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/43.jpg)
43
T1
T2
T1
T2
T4
T3
T2
T1
m0=
0
0
2m1=
0
1
1m2=
0
2
0
m3=
1
0
0m4=
0
0
1m5=
0
1
0
P1
T4T3T1
P3P2
T2
![Page 44: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/44.jpg)
44
Algoritm de constructie
• Step 1: Din m0, se determina toate tranzitiile valide si marcajele succesive corespunzatoare.
• Step 2. Pentru fiecare marcaj nou mi executa Step 2.1., Step 2.2 sau Step 2.3– Step 2.1. Daca exista un marcaj mj=mi pe drumul de la m0
la mi, atunci mi nu are succesor.
– Step 2.2. Daca nu exista un marcaj mj pe drumul de la m0
la mi, graful este completat prin adaugarea tuturor succesorilor lui mi. Salt la Step 2.
– Step 2.3 Daca pe calea de la m0 la mi exista un marcaj mj
astfel incat mi>mj (mi superior lui mj), atunci pe pozitia/pozitiile de superioritate se inlocuieste valoarea numerica cu ω (simbol pentru nemarginire). Toate marcajele succesoare ale lui mi vor pastra valorile ω de pe pozitiile lui mi.
![Page 45: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/45.jpg)
45
Exercitii (1)
• Se consideră un sistem circular de cale ferată formatdin 4 tronsoane (numerotate 1, 2, 3 şi 4) în caretrenurile se pot deplasa într-un singur sens şi douătrenuri (A şi B). Să se modeleze prin intermediulunei reţele Petri acest sistem ştiind că pe un tronsonse poate afla maxim un tren şi că nu se facedeosebire între trenuri.
• Se consideră un sistem circular de cale ferată formatdin 4 tronsoane (numerotate 1, 2, 3 şi 4) în caretrenurile se pot deplasa într-un singur sens şi douătrenuri (A şi B). Să se modeleze prin intermediulunei reţele Petri acest sistem ştiind că pe un tronsonse poate afla maxim un tren şi că se face distincţiaîntre trenuri.
![Page 46: Corporate 2 Template - Cursuri Automatica si Calculatoareandrei.clubcisco.ro/cursuri/f/f-sym/5master/aac-mipca/03_MIPCA.pdf · evolutia sa depinde in intregime de aparitia asincrona](https://reader031.vdocuments.mx/reader031/viewer/2022020302/5a802fc47f8b9a682c8c0cc8/html5/thumbnails/46.jpg)
46
Exercitii (2)
• Se consideră un sistem circular de cale ferată format din4 tronsoane (numerotate 1, 2, 3 şi 4) în care trenurile sepot deplasa într-un singur sens şi două trenuri (A şi B).Să se modeleze prin intermediul unei reţele Petri acestsistem ştiind că pe un tronson se poate afla maxim untren, pentru ca un tren să poată intra pe un tronsontrebuie ca tronsonul ce urmează celui pe care vrea săintre să fie liber şi că nu se face deosebire între trenuri.
• Se consideră un sistem circular de cale ferată format din4 tronsoane (numerotate 1, 2, 3 şi 4) în care trenurile sepot deplasa într-un singur sens şi două trenuri (A şi B).Să se modeleze prin intermediul unei reţele Petri acestsistem ştiind că un tronson de cale ferată se poate afla înuna din următoarele stări: liber, ocupat, rezervat;pentru ca un tren să poată intra pe un tronson trebuiemai întâi să rezerve tronsonul şi că nu se face deosebireîntre trenuri.