PES - Petriho sítě
Obsah
Počítačová cvičení se budou konat v nepravidelných intervalech. Data
konání budou upřesněna.
Domácí úlohy budou zadávány v nepravidelných intervalech. Na vypracování bude vždy čas minimálně jeden týden.
Literatura
-
Slajdy z přednášek
Nové slajdy:
- Úvodní přednáška: pdf
- C/E Petriho sítě: pdf
- Procesy C/E systémů: pdf
- Vlastnosti C/E systémů: pdf
- P/T Petriho sítě: pdf
- Analýza P/T Petriho sítí: pdf
- Jazyky Petriho sítí: pdf
- Podtřídy a rozšíření Petriho sítí: pdf
- Barvené a hierarchické Petriho sítě: pdf
- Strukturování Petriho sítí: pdf
Staré, ručně psané slajdy:
- Binární relace: pdf
(cca 2MB, 13 stran)
- C/E sítě: pdf
(cca 1MB, 47 stran, 2 slajdy na stranu)
- Analýza P/T Petriho sítí: pdf
(cca 0.5MB, 7 stran)
- Invarianty: pdf
(cca 0.15MB, 8 stran)
- Příklady invariantů: pdf
(cca 0.05MB, 4 strany)
- Jazyky Petriho sítí: pdf
(cca 0.2MB, 18 stran)
- Barvené Petriho sítě: pdf
(cca 1.4MB, 100 stran)
-
Laboratoře
Nástroje používané v rámci laboratoří a příklady k nim jsou k dispozici na serveru merlin a linuxu v
učebnách ve složce "/usr/local/groups/verifikace/PES-tools-linux". Všechny tyto
nástroje můžete stáhnout pomocí odkazů níže.
-
Nástroje, software, manuály
- The World of Petri Nets:
html
(odkazy na nástroje, literaturu, výzkumné skupiny, ...)
- CESim:
ver. 2.05 zip sw
(C/E Petriho sítě)
- Netlab: html,
odkaz pro stažení nefunguje (SW je k dispozici na Merlinovi a na privátních
stránkách předmětu).
(P/T Petriho sítě)
- PIPE2:html (P/T Petriho sítě)
- Kaira:html(barvené Petriho
sítě jako prostředek pro návrh paralelních programů)
- CPNSimulator: Github (jednoduchý simulátor
barvených Petriho sítí)
- Petri Net Toolbox for Matlab: html
- Visual Object Net: html
- PNtalk:
html
(objektově orientované Petriho sítě)
- INA:
html
(P/T Petriho sítě)
- CPN Tools:
html
(barvené Petriho sítě), návod pro spuštěni pod linuxem a wine
- Sirphyco: zip sw
-
Další online literatura
- Studijní opora PES:
pdf
- Slidy: CPN, a concrete language for high-level Petri nets:
pdf
- Model dvou semaforů na křižovatce:
ps
- Poznámky o P/T a barvených Petriho sítích:
ps
- Poznámky o stochastických Petriho sítích:
ps
- Esparza J.: Decidability and complexity of Petri net problems - An introduction
pdf
-
Reference
- Češka, M. a kol.: Vyčíslitelnost a složitost.
Skriptum VUT Brno, 1992.
- Češka, M.: Petriho sítě..
Akademické nakladatelství CERM Brno, 1994.
|