Přednášky:
1) Úvod do barevných Petriho sítí
2) Základy jazyka CPN ML
3) Analýza stavového prostoru barevných Petriho sítí
4) Časované barevné sítě
5) Analýza výkonnosti (performance)
6) Hierarchické sítě
7) Formální definice barevných Petriho sítí - základní definice
8) Formální definice barevných Petriho sítí - operační sémantika
9) Další varianty časovaných sítí a nástroj TAPAAL
10) Úvod do lineární temporální logiky (LTL)
11) High-level PN a jejich využití jako programovacího prostředku pro distribuované aplikace
12) Porovnání Petriho sítí s jinými modelovacími prostředky
13) Záverečné shrnutí
Cvičení:
1) Příklady jednoduchých barevných Petriho sítí
2) Příklady základních konstrukcí použivaných v barevných Petriho sítích
3) Příklady pro verifikaci pomocí analýzy stavového prostoru
4) Příklady pro časované sítě
5) Příklady pro performance analýzu časovaných sítí
6) Příklady na hierarchické sítě
7) Příklady na ověření pochopení základních definic barevných Petriho sítí
8) Příklady složitějších systemů modelovaných pomocí barevných Petriho sití
9) Příklad na modelovaní s nástrojem TAAPAL
10) Příklad verifikace pomocí nástroje TAAPAL
11) Příklad na použití nástroje Kaira
12) Diskuse modelů vytvořených studenty
13) Shrnutí, připomenutí procvičení nejtěžších pasáží
1) Úvod do barevných Petriho sítí
2) Základy jazyka CPN ML
3) Analýza stavového prostoru barevných Petriho sítí
4) Časované barevné sítě
5) Analýza výkonnosti (performance)
6) Hierarchické sítě
7) Formální definice barevných Petriho sítí - základní definice
8) Formální definice barevných Petriho sítí - operační sémantika
9) Další varianty časovaných sítí a nástroj TAPAAL
10) Úvod do lineární temporální logiky (LTL)
11) High-level PN a jejich využití jako programovacího prostředku pro distribuované aplikace
12) Porovnání Petriho sítí s jinými modelovacími prostředky
13) Záverečné shrnutí
Cvičení:
1) Příklady jednoduchých barevných Petriho sítí
2) Příklady základních konstrukcí použivaných v barevných Petriho sítích
3) Příklady pro verifikaci pomocí analýzy stavového prostoru
4) Příklady pro časované sítě
5) Příklady pro performance analýzu časovaných sítí
6) Příklady na hierarchické sítě
7) Příklady na ověření pochopení základních definic barevných Petriho sítí
8) Příklady složitějších systemů modelovaných pomocí barevných Petriho sití
9) Příklad na modelovaní s nástrojem TAAPAL
10) Příklad verifikace pomocí nástroje TAAPAL
11) Příklad na použití nástroje Kaira
12) Diskuse modelů vytvořených studenty
13) Shrnutí, připomenutí procvičení nejtěžších pasáží