Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-TADAk. rok: 2015/2016
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.Okruhy otázek k SDZ:
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Kompetence a schopnosti aplikovat a rozvíjet pokročilé informační technologie založené na vhodných formálních modelech systémů, vytvářet a využívat takové modely a teorie k automatizaci návrhu a verifikaci implementace počítačových systémů.
Prerekvizity
Způsob a kritéria hodnocení
Osnovy výuky
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Základní literatura
Doporučená literatura
Zařazení předmětu ve studijních plánech
obor DVI4 , libovolný ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení na počítači