FI:IA023 Petriho sítě - Informace o předmětu
IA023 Petriho sítě
Fakulta informatikyjaro 2008
- 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 10:00–11:50 B410
- Předpoklady
- Kurs předpokládá elementární znalosti z teorie složitosti, vyčíslitelnosti a teorie automatů.
- 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
- Aplikovaná informatika (program FI, N-AP)
- Bezpečnost informačních technologií (program FI, N-IN)
- Bioinformatika (program FI, N-AP)
- Informační systémy (program FI, N-IN)
- Informatika (program FI, M-IN)
- Informatika (program FI, N-IN)
- Paralelní a distribuované systémy (program FI, N-IN)
- Počítačová grafika (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-IN)
- Počítačové systémy (program FI, N-IN)
- Programovatelné technické struktury (angl.) (program FI, N-IN)
- Teoretická informatika (program FI, N-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)
- Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
- Zpracování obrazu (program FI, N-AP)
- Cíle předmětu
- Úvod do Petriho sítí. Jsou prezentovány jak klasické výsledky (o ohraničenosti, živosti, dosažitelnosti), tak i výsledky moderní (nerozhodnutelnost sématických ekvivalencí a temporálních logik, apod.)
- 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čů, programových systémů, komunikačních protokolů, databází, softwarového inženýrství apod.
- Principy modelování systémů pomocí Petriho sítí.
- Klasické výsledky pro Petriho sítě. Ohraničenost, pokrytelnost, Karp-Milerův strom, slabý Petriho počítač; dosažitelnost a živost.
- Nerozhodnulenost sémantických ekvivalencí a temporálních logik pro Petriho sítě.
- S-systémy, T-systémy. Dosažitelnost, živost. S-invarianty a T-invarianty.
- Petriho sítě s volným výběrem. Živost, Commonerova věta.
- 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 (jaro 2008, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2008/IA023