cuprins
Introducere 4
1 Elemente de procese stochastice 6
1.1 Generalitati 6
1.2 Lanturi Markov 7
1.3 Procese Markov in timp continuu 9
1.4 Conservarea fluxului de probabilitate 11
2 Retele Petri colorate 16
2.1 Notiuni introductive 16
2.2 Culori si functii de colorare 18
2.3 Definitia unei retele Petri colorate 21
2.4 Evolutia marcajelor 23
2.5 Proprietatile unei retele Petri colorate 24
2.5.1 Reteaua marginita 28
2.5.2 Viabilitate si blocaj 28
2.5.3 Conflict 28
2.5.4 Invariante de marcaje 28
2.5.5 Invariante de declansari 29
2.5.6 Analiza proprietatilor de functionare 29
2.6 Modelarea proceselor de calcul prin retele Petri colorate 30
2.7 Alegerea culorilor 32
2.8 Functii de colorare a retelei Petri 38
3 Retele petri stochastice colorate 41
3.1 Retele petri markoviene colorate 41
3.1.1 Definirea unei retele markoviene colorate 41
3.1.2 Construirea grafului de marcaje accesibile 42
3.1.3 Matricea dinamica colorata 43
3.1.4 Probabilitati stationare de stare colorata 44
3.2 Modelarea unui sistem multiprocesor specializat 46
3.2.1 Modelul de retea RPM 47
3.2.2 Modelul de retea RMC 54
3.2.3 Matricea dinamica colorata 59
Bibliografie 64