|
Vyučující
|
-
Brandejský Tomáš, doc. Ing. Dr.
|
|
Obsah předmětu
|
V rámci předmětu budou studenti seznámeni s teoretickými principy barvených Petriho sítí (rozšiřujících modelovací možnosti konečných stavových automatů) a metodikami jejich využití pro potřeby modelování a simulace technologických procesů. Vlastnosti barvených Petriho sítí budou demonstrovány zejména na příkladech: (i) formalizace technologických postupů provozních procesů a (ii) na specifikace komponent softwarových systémů. Hlavní témata předmětu: *Barvené Petriho sítě (CPN - Coloured Petri Net) - multimnožiny, místa, přechody, hrany, množiny barev, strážní podmínky, hranové výrazy, značení sítě *Principy evoluce CPN - vyhodnocování hranových výrazů a strážních podmínek, navázání proměnných, proveditelnost a (nedeterministické) provádění přechodů, graf dosažitelných značení a jeho analýza, stavy uváznutí, časované CPN (simulace) *Metodika budování modelů provozních procesů s využitím CPN - paralelismy, synchronizace, podmínkové větvení, soupeření o zdroje, SW integrovaná vývojová prostředí pro podporu budování, verifikace a provádění evolucí CPN
|
|
Studijní aktivity a metody výuky
|
|
Monologická (výklad, přednáška, instruktáž), Metody samostatných akcí, Laborování
|
|
Výstupy z učení
|
Seznámení s koncepcemi a přístupy uplatňovanými při modelování a diskrétní simulaci provozních technologických procesů.
|
|
Předpoklady
|
nespecifikováno
|
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška, Posouzení zadané práce
V rámci praktické práce student vybuduje simulační model (využívající barvené Petriho sítě) odrážející technologické procesy z vybrané aplikační domény a následně provede analýzu stavového prostoru a vyhodnocení příslušných simulačních experimentů (použít lze například SW nástroj CPNTools). Student absolvuje minimálně 3 konzultace během semestru s vyučujícím předmětu týkající se teoretické náplně předmětu. Student absolvuje minimálně 1 konzultaci týkající se zadané praktické práce.
|
|
Doporučená literatura
|
-
Banks, J. Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice. New York: John Wiley & Sons, 1998. ISBN 0-471-13403-9.
-
Choi, B.K.; Kang, D. Modeling and simulation of discrete-event systems. 2013. ISBN 978-1118386996.
-
Jensen, K. Coloured Petri Nets: modelling and validation of concurrent systems. 2009. ISBN 978-3-642-00283-0.
|