Petriho sítě II

Přednášky:
Klasifikace Petriho sítí: LLPN a HLPN, časované-nečasované, hierarchické-nehierarchické.
Deterministické časované Petriho sítě (Timed Petri Nets).
Stochastické Petriho sítě (SPN). Stochastický proces asociovaný s SPN.
Zobecněné stochastické Petriho sítě (GSPN). Stochastický proces asociovaný s GSPN.
Hierarchické stochastické Petriho sítě.

Barevné Petriho sítě I: Neformální úvod
Barevné Petriho sítě II. Formální definice.
Barevné Petriho sítě III. Dynamické chování CPN.
Barevné Petriho sítě IV. Stavové metody analýzy CPN.
Barevné Petriho sítě V. Algebraické metody analýzy CPN, invarianty.
Hierarchizační konstrukty Petriho sítí: substituce, invokace, fúze.
Hierarchické barevné Petriho sítě (HCPN). Formální definice a dynamické chování HCPN.
Počítačové nástroje pro editaci, simulaci a analýzu HCPN.
Objektově orientovaná analýza (OOA), návrh (OOD) a programování (OOP) a Petriho sítě vysoké úrovně (HCPN). Objektově orientované Petriho sítě (OOPN).







Cvičení:
Obsah cvičení je určen obsahem přednášek. Cvičení jsou zaměřena na:

Ověření a zpevnění teoretických znalostí při řešení konkrétních typových příkladů.
Osvojení si sady standardních postupů pro analýzu systémů modelovaných HL Petriho sítěmi .
Rekapitulaci speciálních prerekvizitních znalostí k některým náročnějším tématům (vícedruhové algebraické systémy, abstraktní datové typy, markovské procesy).
Programové systémy pro práci s HL Petriho sítěmi.
Otázky aplikací zejména v oblasti počítačových systémů.