Skip to main content
Skip header
Close

Searching

Modeling of paralel systems by Petri nets

Modeling of paralel systems by Petri nets
155-9991/01
angličtina

Summary

Cílem předmětu je prohloubit teoretické a praktické znalosti v oblasti modelování a verifikace paralelních i neparalelních systémů prostřednictvím matematického aparátu Petriho sítí. V rámci předmětu jsou studovány různé typy nízkoúrovňových i vysokoúrovňových Petriho sítí, jejich základní statické i dynamické vlastnosti a způsoby jejich ověření. Pozornost je rovněž věnována problematice syntézy Petriho sítí s cílem zachování jejich vlastností. Pro potřeby modelování ekonomických paralelních systémů je zavedena speciální třída tzv. procesních Petriho sítí a studovány její vlastnosti v souvislosti s problematikou tzv. dobře-strukturovaných systémů a jejich aplikací v oblasti informatiky i ekonomie.

Literature

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
Language of instruction angličtina
Code 155-9991
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.