Teorie a aplikace Petriho sítí

• 39 hod. přednášky
• 8 hod. pc laboratoře

• 70 bodů závěrečná zkouška
• 30 bodů projekty

Pochopení základních konceptů a metod modelování systémů prostřednictvím Petriho sítí. Zvládnutí teorie Petriho sítí a její aplikace pro modelování, navrhování a verifikaci počítačových systémů. Praktické zvládnutí využívání počítačových nástrojů pro typické aplikace Petriho sítí.
Získané vědomosti a dovednosti umožní aktivně využívat Petriho sítě a podpůrné počítačové nástroje při modelování, návrhu, verifikaci a implementaci široké třídy systémů. Na základě získaných teoretických znalostí lze přenášet postupy této teorie i do jiných tříd formálních modelů.
Kompetence a schopnosti aplikovat a rozvíjet pokročilé informační technologie založené na vhodných formálních modelech systémů, vytvářet a využívat takové modely a teorie k automatizaci návrhu a verifikaci  implementace počítačových systémů.

Základní znalosti z binárních relací, teorie grafů a formálních jazyků včetně konečných a zásobníkových automatů, Turingových strojů, pojmů algoritmické složitosti a a principů počítačového modelování.

• Češka M.: Petriho sítě, Akad.nakl. CERM, 1994
• Wil van der Aalst and Kees van Hee: Workflow Management: Models, Methods, and Systems MIT Press, 368 pp., ISBN 0-262-01189-1
• Unifying Petri Nets, Advances in Petri Nets, Ed.: Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg, Springer-Verlag Vol.: LNCS 2128, 485 pp., ISBN: 3-540-43067-9
• M.Češka a kolektiv: Petriho sítě (studijní opora). K dispozici online: https://www.fit.vut.cz/study/course/MBA/private/materialy/Opora_PES-2006.pdf
• Jensen K.: Coloured Petri Nets, Springer Verlag 1993
• Reisig W.: Petri Nets: An Introduction. Springer-Verlag, Berlin, Heidelberg 1985
• Jensen K.,Kristensen L.M,: Coloured Petri nets: modelling and validation, Springer Verlag, 2009
• David R., Alla H,: Discrete, Continuos and Hybrid Petri Nets, Springer Verlag, 2010

https://www.fit.vut.cz/study/course/MBA/private/materialy/Opora_PES-2006.pdf

1. Úvod do Petriho sítí, základní pojmy.
2. C/E Petriho sítě.
3. Komplementace, případové grafy a jejich aplikace pro analýzu C/E systémů.
4. Procesy C/E systémů, výskytové sítě.
5. Vlastnosti C/E systémů: synchronizační vzdálenost, fakta.
6. P/T Petriho sítě, základní problémy analýzy.
7. Analýza P/T sítí prostřednictvím stromu dosažitelných značení a zpětné analýzy.
8. Invarianty P/T sítí.
9. Jazyky Petriho sítí, vztah k Chomského hierarchii.
10. Podtřídy a rozšíření P/T sítí, stavové stroje, značené grafy, P/T sítě s volným výběrem, sítě s inhibitory.
11. Barvené Petriho sítě.
12. Analýza barvených Petriho sítí.
13. Hierarchické a objektově orientované Petriho sítě.

1. Nástroje pro C/E a P/T Petriho sítě.
2. Nástroje pro vysokoúrovňové Petriho sítě (CPN).
3. Nástroje pro objektově orientované Petriho sítě.
4. Nástroje pro modelování a programovaní řídicích systémů na bázi Petriho sítí.

Diskuse v rámci přednášek, zpracování projektu na vybrané téma. V případě otevření předmětu jako řízeného studia konzultace nad zadanou literaturou.