Gurantor department | Department of Applied Informatics | Credits | 10 |

Subject guarantor | doc. RNDr. Ivo Martiník, Ph.D. | Subject version guarantor | doc. RNDr. Ivo Martiník, Ph.D. |

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 |

Instruction secured by | |||
---|---|---|---|

Login | Name | Tuitor | Teacher giving lectures |

MAR63 | doc. RNDr. Ivo Martiník, Ph.D. |

Extent of instruction for forms of study | ||
---|---|---|

Form of study | Way of compl. | Extent |

Full-time | Examination | 28+0 |

Part-time | Examination | 28+0 |

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

Individual consultations

Project work

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.

REISIG, W. Understanding Petri Nets. Modeling Techniques, Analysis Methods, Case Studies. 2nd Edition. Berlin: Springer Verlag. 2013. 230 pp. ISBN 978-3-642-33277-7.
REISIG, W. and G. ROZENBERG, G. Lectures on Petri Nets I: Basic Models. 1st Edition. Berlin: Springer-Verlag. 1998. 477 pp. ISBN 978-3540653066.
DIAZ, M. Petri Nets: Fundamental Models, Verification and Applications. 1st Edition. London: John Willey. 2009. 656 pp. ISBN 978-1848210790.

DAVID, R. and H. ALLA. Discrete, Continuous and Hybrid Petri Nets. 2nd Edition. Berlin: Springer-Verlag. 2010. 550 pp. ISBN 978-3642106682.
HUANG, H., JIAO, L., CHEUNG, T. and W. M. MAK. Property-Preserving Petri Net Process Algebra In Software Engineering. 1st Edition. Singapore: World Scientific Publishing. 2012. 318 pp. ISBN 978-981-4324-28-1.
REISIG, W. Elements of Distributed Algorithms. 1st Edition. Berlin: Springer-Verlag. 1998. 302 pp. ISBN 978-3540627524.

- project development
- oral exam

Placeholder placeholder

Subject has no prerequisities.

Subject has no co-requisities.

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.

Task name | Type of task | Max. number of points
(act. for subtasks) | Min. number of points |
---|---|---|---|

Examination | Examination |

Show history

Academic year | Programme | Field of study | Spec. | Zaměření | Form | Study language | Tut. centre | Year | W | S | Type of duty | |
---|---|---|---|---|---|---|---|---|---|---|---|---|

2021/2022 | (P0311D050019) Systems Engineering and Informatics | P | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2021/2022 | (P0311D050019) Systems Engineering and Informatics | K | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2020/2021 | (P0311D050019) Systems Engineering and Informatics | P | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2020/2021 | (P0311D050019) Systems Engineering and Informatics | K | Czech | Ostrava | Choice-compulsory type B | study plan |

Block name | Academic year | Form of study | Study language | Year | W | S | Type of block | Block owner |
---|