155-9991/01 – Modeling of paralel systems by Petri nets (MPSPS)
| Gurantor department | Department of Applied Informatics | Credits | 10 |
| Subject guarantor | prof. Ing. Dušan Marček, CSc. | Subject version guarantor | doc. RNDr. Ivo Martiník, Ph.D. |
| Study level | postgraduate | Requirement | Choice-compulsory type B |
| Year | | Semester | winter + summer |
| | Study language | English |
| Year of introduction | 2020/2021 | Year of cancellation | 2021/2022 |
| Intended for the faculties | EKF | Intended for study types | Doctoral |
Subject aims expressed by acquired skills and competences
Placeholder placeholder
Teaching methods
Individual consultations
Project work
Summary
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.
Compulsory literature:
Recommended literature:
Additional study materials
Way of continuous check of knowledge in the course of semester
- vypracování projektu
- ústní zkouška
E-learning
Other requirements
Placeholder placeholder
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
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ů.
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.