FI:I023 Petriho sítě - Informace o předmětu
I023 Petriho sítě
Fakulta informatikypodzim 2001
- Rozsah
- 2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
- Vyučující
- prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Antonín Kučera, Ph.D. - Rozvrh
- Čt 14:00–15:50 B411
- Předpoklady
- I006 FJA II && I010 Komunikace a paralelismus
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Informatika (program FI, B-IN)
- Informatika (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Výpočetní technika (program FI, B-IN)
- Osnova
- Petriho sítě jsou základem velmi používané třídy nástrojů pro modelování, návrh a analýzu složitých paralelních a distribuovaných systémů. Mají četné aplikace v oblasti architektury počítačů, komunikačních protokolů, databází, softwarového inženýrství apod.
- Principy modelování systémů pomocí sítí.
- Vztahy strukturních a dynamických vlastností.
- Techniky analýzy.
- Otázky algoritmické rozhodnutelnosti a složitosti.
- Modulární konstrukce.
- Nelinearizovaná sémantika Petriho sítě.
- Vztah k jiným modelům z teorie procesů.
- Literatura
- REISIG, Wolfgang. Elements of distributed algorithms : modeling and analysis with Petri Nets. Berlin: Springer, 1998, xi, 302. ISBN 3540627529. info
- Další komentáře
- Předmět je vyučován každoročně.
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2001/I023