Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-PESAk. rok: 2013/2014
Základní koncepty a prostředky popisu diskrétních systémů Petriho sítěmi, klasifikace Petriho sítí, teorie C/E Petriho sítí, metody analýzy C/E Petriho sítí, teorie P/T Petriho sítí, metody analýzy P/T Petriho sítí, jazyky Petriho sítí a problém automatizované syntézy modelů, 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.
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
Plánované vzdělávací činnosti a výukové metody
Způsob a kritéria hodnocení
Osnovy výuky
Každý projekt zahrnuje návrh netriviálního systému, či části takového systému, popsaného Petriho sítí příslušné třídy, jeho analýzu, simulaci a verifikaci. K vypracování projektů budou použity vhodné počítačové nástroje pro práci s Petriho sítěmi (PESIM, INA, PEP, TimeNET, CPN Design, Maria, PNtalk apod.).
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Prerekvizity a korekvizity
Základní literatura
Doporučení literatura
Zařazení předmětu ve studijních plánech
obor MBS , 0 ročník, letní semestr, volitelnýobor MIN , 2 ročník, letní semestr, povinnýobor MIS , 2 ročník, letní semestr, povinně volitelnýobor MMI , 0 ročník, letní semestr, volitelnýobor MMM , 0 ročník, letní semestr, povinnýobor MPV , 0 ročník, letní semestr, volitelnýobor MBI , 0 ročník, letní semestr, volitelnýobor MGM , 2 ročník, letní semestr, volitelnýobor MSK , 0 ročník, letní semestr, volitelný
Přednáška
Vyučující / Lektor
Osnova
Cvičení na počítači
Projekt