155-0991/01 – Modeling of paralel systems by Petri nets (MPSPS)
Gurantor department | Department of Applied Informatics | Credits | 10 |
Subject guarantor | prof. Ing. Dušan Marček, CSc. | Subject version guarantor | prof. Ing. Dušan Marček, CSc. |
Study level | postgraduate | Requirement | Choice-compulsory type B |
Year | | Semester | winter + summer |
| | Study language | Czech |
Year of introduction | 2020/2021 | Year of cancellation | |
Intended for the faculties | EKF | Intended for study types | Doctoral |
Subject aims expressed by acquired skills and competences
1. To obtain basic knowledge about Petri nets and analysis of their properties
2. Understand the principles of modeling parallel and non-parallel systems with using of Petri nets
3. Understand the principles and properties of high-level Petri nets
4. To obtain knowledge about basic properties of well-structured systems and their modeling by Petri nets
5. Understand the principles of modeling and verification of discrete-time dynamic systems by selected classes of time and timed Petri nets
6. To be able to practically apply knowledge of Petri nets in modeling and verification of selected economic systems
Teaching methods
Individual consultations
Project work
Summary
The main goal of the course is to deepen theoretical and practical knowledge in the field of modeling and verification of parallel and non-parallel systems through the mathematical apparatus of Petri nets. Various types of low-level and high-level Petri nets, their basic static and dynamic properties and methods of their verification are studied. Attention is also paid to the synthesis of Petri nets in order to preserve their properties. For the purpose of modeling economic parallel systems, a special class of so called process Petri nets has been introduced and its properties related to the problem of so-called well-structured systems and their applications in the field of informatics and economics have been studied.
Compulsory literature:
Recommended literature:
Way of continuous check of knowledge in the course of semester
- project development
- oral exam
E-learning
Other requirements
Placeholder placeholder
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
1. Definition and basic properties of low-level Petri nets and their basic classes: C/E Petri nets, P/T Petri nets, Petri nets with inhibitors
2. Basic static and dynamic properties of Petri nets: Petri nets marking, liveness, boudnedness, reversibility, marking reachibility, siphons and traps, etc.
3. P- and T-invariants of Petri nets and their determination.
4. Synthesis of low-level Petri nets and fundamentals of regional theory.
5. Process Petri nets and their basic properties, modeling and verification of economic systems with their using.
6. Well-structured systems, their properties and modeling of these systems with using of process Petri nets.
7. Process algebras over the Petri nets class, Petri Net Process Algebras property-preservation and their application in modeling economic systems.
8. Time and timed Petri nets, discrete-time modeling of economic systems.
9. Definition and properties of basic classes of high-level Petri nets, colored Petri nets.
10. High-level Process Petri nets and their use in modeling economic systems.
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.