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:
7. semester

 

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