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.
Modeling of paralel systems by Petri nets
| Language of instruction | čeština |
|---|---|
| Code | 155-0991 |
| Abbreviation | MPSPS |
| Course title | Modeling of paralel systems by Petri nets |
| Coordinating department | Department of Applied Informatics |
| Course coordinator | prof. Ing. Dušan Marček, CSc. |
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.
Literature
Advised literature
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 .
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 .