Information sheet ECTS Syllabus
Course syllabus I-MSUS - Modeling and simulation of event systems (FEEIT - WS 2019/2020)
Slovak University of Technology in Bratislava
|Course unit code:|
Course unit title:
Modeling and simulation of event systems
Mode of delivery, planned learning activities and teaching methods:
|Recommended semester/trimester:||Applied Informatics - master (semi-compulsory), 1. semester|
|Level of study:|
|Prerequisites for registration:||none|
Two written tests are planned during the semester, each for 20 points. Student must obtain at least 20 points of 40 during the semester to attend the final examination and get credits.
|Learning outcomes of the course unit:|
|The aim is to acquire the means and methods of modelling, simulation, analysis and synthesis of systems, which are based on discrete changes in conditions caused by events. It is to become familiar with the analysis and synthesis algorithms for a particular modeling formalism, especially Petri nets and show their use in the analysis and synthesis systems in various application areas.|
|Basic properties of event systems, reachability, boundedness, liveness and deadlocks.
Sequential description of the behavior of Petri nets.
Structural analysis and invariants of Petri nets.
Liveness analysis in Petri nets. Boundedness analysis in Petri nets.
Analysis of deadlocks in Petri nets.
Reachability analysis in state machines and Petri nets.
Synthesis of models from regular expressions and machines based on Petri nets.
Nonsequential description of the behavior of event systems.
Verification of reachability by nonsequential processes.
Algorithms for verifying the feasibility of sequential and nonsequential scenarios.
Synthesis of models based on Petri nets from nonsequential scenarios.
Examples of the use of analysis and synthesis in the application areas of business processes, flexible manufacturing systems and communication protocols.
|Recommended or required reading:|
Language of instruction:
|slovak or english|
Assessed students in total: 385
|Name of lecturer(s):|
|Last modification:||9. 5. 2019|
|prof. RNDr. Gabriel Juhás, PhD. and programme supervisor|
Last modification made by RNDr. Marian Puškár on 05/09/2019.