I023 Petriho sítě v teorii procesů

Fakulta informatiky
léto 1996
Rozsah
0/0. 2 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.
Vyučující
prof. RNDr. Petr Jančar, CSc. (přednášející)
Garance
Kontaktní osoba: prof. RNDr. Petr Jančar, CSc.
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ů.
Předmět je zařazen také v obdobích léto 1997, podzim 2000, podzim 2001.