Sep 22, 2020   3:33 p.m. Móric
Academic information system

Course syllabus I-MSUS - Modeling and simulation of event systems (FEEIT - WS 2019/2020)

     Information sheet          ECTS          Syllabus          

     Slovak          English          

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:
lecture2 hours weekly (on-site method)
2 hours weekly (on-site method)

Credits allocated:
Recommended semester/trimester: Applied Informatics - master (semi-compulsory), 1. semester
Level of study:
Prerequisites for registration: none
Assesment methods:
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.
Course contents:
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:
Lectures on Concurrency and Petri Nets, J. Desel, W. Reisig and G. Rozenberg, Springer-Verlag, 2004.
Unified Modeling Language: Superstructure, version 2.0, Object Management Group, 2005.

Language of instruction:
slovak or english
Courses evaluation:
Assessed students in total: 385

44,2 %
30,1 %
15,3 %
7,5 %
2,1 %
0,8 %
Name of lecturer(s):
prof. RNDr. Gabriel Juhás, PhD. (examiner, instructor, lecturer, person responsible for course, tutor) - slovak, english
Ing. Juraj Mažári (examiner, instructor) - slovak, english
Ing. Milan Mladoniczky (examiner, instructor) - slovak, english
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.

Type of output: