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 | 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. |
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
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 .