Detail předmětu
Teoretická informatika 2
TI2 Ak. rok 2003/2004 letní semestr 6 kreditů
Základy teorie Petriho sítí, problémy analýzy Pertiho sítí, bezpečnost, omezenost, konzervativnost, živost, metody analýzy, jazyky Petriho sítí, podtřídy a rozšíření Petriho sítí, barvené Petriho sítě, hierarchické a objektově orientované petriho sítě, nástroje pro práci s Petriho sítěmi, aplikace.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
Zajišťuje ústav
Získané dovednosti, znalosti a kompetence z předmětu
Získané a vědomosti a dovednosti umožní aktivně využívat Petriho sítě a podpůrné počítačové nástroje při modelování, návrhu, verifikaci a implementaci široké třídy systémů. Na základě získaných teoretických znalostí lze přenášet postupy této teorie i do jiných tříd formálních modelů.
Cíle předmětu
Pochopení základních konceptů a metod modelování systémů prostřednictvím Petriho sítí. Zvládnutí teorie Petriho sítí a její aplikace pro modelování, navrhování a verifikaci počítačových systémů. Praktické zvládnutí využívání počítačových nástrojů pro typické aplikace Petriho sítí.
Literatura studijní
- Reisich W.: Petri nets, Springer Verlag 1985
- Jensen K.: Coloured Petri nets, Springer Verlag 1993
- Češka M.: Petriho sítě, Akad.nakl. CERM, Brno 1994
Literatura referenční
- Reisich W.: Petri nets, Springer Verlag 1985
- Jensen K.: Coloured Petri nets, Springer Verlag 1993
- Češka M.: Petriho sítě, Akad.nakl. CERM,Brno 1994
Průběžná kontrola studia
Bodové hodnocení výsledků půl semestrální zkoušky a vypracovaného projektu.
Zařazení předmětu ve studijních plánech
- Program EI-BC-3, obor VTB, 1. ročník, volitelný
- Program EI-BC-3 (anglicky), obor VTB, 1. ročník, volitelný
- Program EI-MGR-3, obor VTN, libovolný ročník, povinně volitelný
- Program EI-MGR-5, obor VTI, libovolný ročník, povinně volitelný
- Program EI-MGR-5 (anglicky), obor VTI, libovolný ročník, povinně volitelný