Oct 1, 2020   10:20 p.m. Arnold
Academic information system

Course syllabus B-DUS - Discrete Event Systems (FEEIT - WS 2019/2020)

     Information sheet          ECTS          Syllabus          

     Slovak          English          

Slovak University of Technology in Bratislava
Course unit code:
Course unit title: Discrete Event Systems
Mode of delivery, planned learning activities and teaching methods:
2 hours weekly (on-site method)
2 hours weekly (on-site method)

Credits allocated:
Recommended semester/trimester:
Applied Informatics - bachelor (compulsory), 3. semester
Level of study:
Prerequisites for registration:
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 basics 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 basics of 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: 1263

7,6 %
14,3 %
21,5 %
23,8 %25,7 %
7,1 %
Name of lecturer(s):
prof. RNDr. Gabriel Juhás, PhD. (lecturer, person responsible for course) - slovak, english
Ing. Stanislav Marček, PhD. (examiner, instructor) - slovak, english
Ing. Juraj Mažári (examiner, instructor) - slovak, english
Ing. Milan Mladoniczky (examiner, instructor) - slovak, english
Last modification:
6. 5. 2019
Supervisor: prof. RNDr. Gabriel Juhás, PhD. and programme supervisor

Last modification made by RNDr. Marian Puškár on 05/06/2019.

Type of output: