INFORMAČNÝ LIST PREDMETU |
|||||
|
|||||
Kód: V740 |
Názov:
Petriho siete |
||||
Študijný odbor: INFORMAČNÉ
A RIADIACE SYSTÉMY |
|||||
Garantuje: Ing.
Michal Žarnay |
Zabezpečuje: Ing.
Michal Žarnay |
||||
Obdobie
štúdia predmetu: |
Forma
výučby: prednáška, semináre, lab. Cvičenia Odporúčaný
rozsah výučby: 48h Týždenný: 2-0-2
Za obdobie štúdia: 24-0-24 |
Počet kreditov: 6 |
|||
Podmieňujúce predmety: P203 Grafy a kombinatorika,
P502 Logické systémy, P518 Modelovanie a simulácia |
|||||
Spôsob hodnotenia a
ukončenia štúdia predmetu: zÁPOČET, SKÚŠKA Priebežné hodnotenie: test Záverečné hodnotenie:
obhajoba semestrálneho projektu |
|||||
Cieľ predmetu: Študent získa základné znalosti o modelovaní
a analýze systému s paralelnými procesmi pomocou Petriho siete
a použije ich na vytvorenie modelu jednoduchého systému. |
|||||
Stručná osnova predmetu: Prednášky: Úvod do teórie systémov. Základy o Petriho sieti:
definícia, komponenty, stavový priestor a prechodová funkcia. Analýza
Petriho siete: strom dosiahnuteľných značení, analytické metódy.
Invarianty Petriho siete. Podtriedy a rozšírenia Petriho siete. Farbená
hierarchická Petriho sieť. Príklady využitia
Petriho siete v praxi. Cvičenia:
Práca
s nástrojmi na modelovanie a analýzu Petriho siete. Spracovanie
semestrálneho projektu, ktorého témou bude vytvorenie modelu zvoleného
systému pomocou Petriho siete. |
|||||
Literatúra: Češka,
M.: Petriho sítě, CERM Brno, 1994, ISBN 80-85867-35-4 Petri
Nets World, http://www.daimi.au.dk/PetriNets/ |
|||||
Jazyk, v ktorom sa predmet
vyučuje: slovenský,
anglický |
Podpis garanta a dátum poslednej
úpravy listu: 7.9.2004 |
||||