I023 Petriho sítě

Fakulta informatiky
podzim 2000
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.
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
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ě.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích léto 1996, léto 1997, podzim 2001.