Aug 22, 2019   4:29 a.m. Tichomír
Academic information system

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


     Information sheet          ECTS          Syllabus          


     Slovak          English          


University: Slovak University of Technology in Bratislava
Faculty: Faculty of Electrical Engineering and Information Technology
Course unit code: I-MSUS
Course unit title: Modeling and simulation of event systems
Mode of delivery, planned learning activities and teaching methods:
lecture2 hours weekly (on-site method)
seminar2 hours weekly (on-site method)

 
Credits allocated: 6
 
Recommended semester/trimester: Applied Informatics - master (semi-compulsory), 1. semester
Level of study: 2.
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:
Recommended:
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
 
Notes:
 
Courses evaluation:
Assessed students in total: 315

ABCDEFX
35,2 %35,9 %18,4 %7,9 %2,6 %0 %
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
Supervisor: 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: