Skip to main content
Skip header

System Modelling

Course aims

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.

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

Advised 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


Language of instruction čeština
Code 545-0123
Abbreviation ModSyst
Course title System Modelling
Coordinating department Department of Economics and Control Systems
Course coordinator Ing. Filip Beneš, Ph.D.