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í.

Popis anglicky
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.

Klíčová slova
stavový prostor, objektově orientované Petriho sítě, formální analýza, verifikace

Klíčová slova anglicky
state space, object oriented Petri Nets, formal analysis, verification