Cílem řešení je nalézt a navrhnout metody pro redukci stavového prostoru objektově orientovaných sítí, které by bylo možno využít při formální analýze a verifikaci a začlenit tyto metody do implementace generátoru stavových prostorů objektově orientovaných Petriho sítí.

Description in English
The main purpose of this project will be to find and propose state space reductions for object oriented Petri nets, which will be possible to use by formal analysis and verification, and to integrate them into a state space generator.

Keywords
stavový prostor, objektově orientované Petriho sítě, formální analýza, verifikace

Key words in English
state space, object oriented Petri Nets, formal analysis, verification

FR829/2003/G1

Czech

Haša Luděk, Ing. - principal person responsible

Responsibility: Haša Luděk, Ing.