Project detail

Redukce stavového prostoru objektově orientovaných Petriho sítí

Duration: 01.01.2003 — 31.12.2003

On the project

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

Mark

FR829/2003/G1

Default language

Czech

People responsible

Haša Luděk, Ing.
- principal person responsible (2003-01-01 - 2003-12-31)
Češka Milan, prof. RNDr., CSc.
- fellow researcher (2003-01-01 - 2003-12-31)

Results

HAŠA, L., ČEŠKA, M. Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets. In Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: 2003. p. 177-182. ISBN: 80-85988-86-0.
Detail