Vývoj současných aplikací je natolik složitý, že bez použití formálních prostředků není možné udržet vysokou kvalitu a spolehlivost vyvíjených systémů. Tento projekt se proto zabývá formalizmem objektově orientovaných Petriho sítí (OOPN) a s ním spojenými metodami formální analýzy a verifikace. Hlavní oblasti zájmu tohoto projektu jsou: typová analýza OOPN, dotazovací jazyk nad stavovými prostory OOPN a překlad OOPN do jiných formalizmů.

Klíčová slova
objektově orientované Petriho sítě, metody formální analýzy a verifikace, typová analýza, stavové prostory

FR1948/2002/G1

čeština

Křena Bohuslav, Ing., Ph.D. - hlavní řešitel

Ústav inteligentních systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Výzkumná skupina modelování a optimalizace
- interní (15.2.2002 - 31.12.2002)
Výzkumná skupina Petriho sítí
- interní (15.2.2002 - 31.12.2002)
Ústav inteligentních systémů
- spolupříjemce (15.2.2002 - 31.12.2002)

Odpovědnost: Křena Bohuslav, Ing., Ph.D.