155-9991/01 – Modelování paralelních systémů Petriho sítěmi (MPSPS)
| Garantující katedra | Katedra aplikované informatiky | Kredity | 10 |
| Garant předmětu | prof. Ing. Dušan Marček, CSc. | Garant verze předmětu | doc. RNDr. Ivo Martiník, Ph.D. |
| Úroveň studia | postgraduální | Povinnost | povinně volitelný typu B |
| Ročník | | Semestr | zimní + letní |
| | Jazyk výuky | angličtina |
| Rok zavedení | 2020/2021 | Rok zrušení | 2021/2022 |
| Určeno pro fakulty | EKF | Určeno pro typy studia | doktorské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
1. Získat základní znalosti o Petriho sítích a analýze jejich vlastostí
2. Pochopit principy modelování paralelních i neparalelních systémů Petriho sítěmi
3. Pochopit principy a vlastnosti vysokoúrovňových Petriho sítí
4. Získat znalosti o základních vlastnostech dobře-strukturovaných systémů a jejich modelování Petriho sítěmi
5. Porozumět principům modelování a verifikace dynamických systémů s diskrétním časem vybranými třídami časových a časovaných Petriho sítěmi
6. Umět prakticky aplikovat znalosti o Petriho sítích při modelování a verifikaci vybraných ekonomických systémů
Vyučovací metody
Individuální konzultace
Projekt
Anotace
Cílem předmětu je prohloubit teoretické a praktické znalosti v oblasti modelování a verifikace paralelních i neparalelních systémů prostřednictvím matematického aparátu Petriho sítí. V rámci předmětu jsou studovány různé typy nízkoúrovňových i vysokoúrovňových Petriho sítí, jejich základní statické i dynamické vlastnosti a způsoby jejich ověření. Pozornost je rovněž věnována problematice syntézy Petriho sítí s cílem zachování jejich vlastností. Pro potřeby modelování ekonomických paralelních systémů je zavedena speciální třída tzv. procesních Petriho sítí a studovány její vlastnosti v souvislosti s problematikou tzv. dobře-strukturovaných systémů a jejich aplikací v oblasti informatiky i ekonomie.
Povinná literatura:
Doporučená literatura:
Forma způsobu ověření studijních výsledků a další požadavky na studenta
- vypracování projektu
- ústní zkouška
E-learning
Další požadavky na studenta
Placeholder placeholder
Prerekvizity
Předmět nemá žádné prerekvizity.
Korekvizity
Předmět nemá žádné korekvizity.
Osnova předmětu
1. Definice a základní vlastnosti nízkoúrovňových Petriho sítí a jejich základní třídy: C/E Petriho sítě, P/T Petrihosítě, Petriho sítě s inhibitory
2. Základní statické a dynamické vlastnosti Petriho sítí: značení Petriho sítě, živost, omezenost, reverzibilita, konzervativnost, dosažitelnost značení, zámky a pasti, apod.
3. P- a T-invarianty Petriho sítí a jejich stanovení.
4. Syntéza nízkoúrovňových Petriho sítí a základy teorie regionů.
5. Procesní Petriho sítě a jejich základní vlastnosti, modelování a verifikace ekonomických systémů s jejich využitím.
6. Dobře-strukturované systémy, jejich vlastnosti a modelování těchto systémů s využitím procesních Petriho sítí.
7. Procesní algebry nad třídou procesních Petriho sítí, Property-preserving Petri Net Process Algebras a jejich aplikace při modelování ekonomických systémů.
8. Časové a časované Petriho sítě, modelování ekonomických systémů s diskrétním časem.
9. Definice a vlastnosti základních tříd vysokoúrovňových Petriho sítí, barevné Petriho sítě.
10. Vysokoúrovňové Procesní Petriho sítě a jejich využití při modelování ekonomických systémů.
Podmínky absolvování předmětu
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky
Předmět neobsahuje žádné hodnocení.