FI:IA023 Petriho sítě - Informace o předmětu

IA023 Petriho sítě

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 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.)
Na konci kurzu bude student schopen: porozumět definici Petriho sítí; modelovat různé systémy pomocí popisného aparátu Petriho sítí; aplikovat specifické důkazové a analytické techniky a pro Petriho sítě a řešit tak různé problémy jejich algoritmické anaýzy.

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.
• (Ne)rozhodnulenost 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

Metody hodnocení

Přednáška: 2 hodiny týdně.
Zkouška je písemná.

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (jaro 2009, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2009/IA023