545-0123/01 – System Modelling (ModSyst)
| Gurantor department | Department of Economics and Control Systems | Credits | 3 |
| Subject guarantor | Ing. Filip Beneš, Ph.D. | Subject version guarantor | Ing. Filip Beneš, Ph.D. |
| Study level | undergraduate or graduate | Requirement | Compulsory |
| Year | 2 | Semester | summer |
| | Study language | Czech |
| Year of introduction | 2015/2016 | Year of cancellation | 2020/2021 |
| Intended for the faculties | HGF | Intended for study types | Bachelor |
Subject aims expressed by acquired skills and competences
Petri nets allow you to describe control flows and information depending inside the modeled processes and systems in the form of discrete mathematical models. Now the creation of mathematical models and their subsequent simulations help in solving difficult decisions in the design phase of technological processes and their units. The course introduces students to computer modeling of technological processes and systems using modern means - Petri nets, as an effective tool for analysis and synthesis of serial-parallel processes, the ability understandable expression of parallelism, synchronization and causality of events. In practice lessons students learn basic terminology of Petri nets, practice design and implementation of simulation models of systems and technological processes using Petri nets, including subsequent analysis and evaluation. At the end of the semester, students elaborate project focused on the design and implementation of a simple system model.
Teaching methods
Individual consultations
Tutorials
Summary
Compulsory literature:
KOCHANÍČKOVÁ, M.: Petriho sítě. [online] Olomouc, 2008, Učební texty, Univerzita Palackého Olomouc. [cit. 2013-06-15]. Dostupné z: http://phoenix.inf.upol.cz/esf/ucebni/petriho_site.pdf.renamed
OTTE, L.: Využití Petriho sítí pro tvorbu simulačních modelů horizontální dopravy na uhelných hlubinných dolech. [online] Ostrava, 2009. Disertační práce. VŠB-TU Ostrava: http://homel.vsb.cz/~ott007/Disertace/VPNDisert2009.pdf
Recommended literature:
DORDA, M.: Úvod do Petriho sítí [online]. Ostrava: VŠB-TU Ostrava [cit. 2013-06-15]. Dostupné z: http://homel.vsb.cz/~dor028/Nekonvencni_metody_1.pdf
DORDA, M.: P/T Petriho sítě [online]. Ostrava: VŠB-TU Ostrava [cit. 2013-06-15]. Dostupné z: http://homel.vsb.cz/~dor028/Nekonvencni_metody_2.pdf
DORDA, M.: Petriho sítě v CPN Tools [online]. Ostrava: VŠB-TU Ostrava [cit. 2013-06-15]. Dostupné z: http://homel.vsb.cz/~dor028/Nekonvencni_metody_3.pdf
ČEŠKA, M.: Petriho sítě. Akad.nakl. CERM, Brno, 1994. ISBN: 8-085-86735-4
Additional study materials
Way of continuous check of knowledge in the course of semester
E-learning
Other requirements
Student has to elaborate individual program.
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
1. Introduction, basic terminology of PN, structure of PN network
2. Dynamics of PN
3. Basic principles of model algorithms in PN
4. Analysis of simulation models created by PN
5. HPSim SW tool
6. Basic models in the HPSim tool
7.- 9. Modeling systems and technological processes in PN
10. WinPeSim SW tool
11-14. Separate semester project
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction