Skip to main content
Skip header
Close

Searching

Modeling of paralel systems by Petri nets

Type of study Doctoral
Language of instruction Czech
Code 155-0991/01
Abbreviation MPSPS
Course title Modeling of paralel systems by Petri nets
Credits 10
Coordinating department Department of Applied Informatics
Course coordinator prof. Ing. Dušan Marček, CSc.

Osnova předmětu

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.

Povinná literatura

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.

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 .


back to search page