Modelarea si evaluarea performantelor sistemelor de calcul prin retele Petri

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