Detail projektu
Redukce stavového prostoru objektově orientovaných Petriho sítí
Období řešení: 1. 1. 2003 - 31. 12. 2003
Typ projektu: grant
Kód: FR829/2003/G1
Agentura: Fond rozvoje vysokých škol MŠMT
Program:
Název anglicky
State space reductions for object oriented Petri Nets
Typ
grant
Klíčová slova
stavový prostor, objektově orientované Petriho sítě, formální analýza, verifikace
Abstrakt
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í.
Řešitelé
Haša Luděk, Ing.
(UITS FIT VUT)
, hlavní řešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
Publikace
2003
- HAŠA Luděk a ČEŠKA Milan. 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: MARQ, 2003, s. 177-182. ISBN 80-85988-86-0. Detail
- HAŠA Luděk a ČEŠKA Milan. Design of a Model Checker for Object-Oriented Petri Net Models. In: IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003, s. 6. ISBN 88-85280-62-5. Detail
- ČEŠKA Milan, HAŠA Luděk a VOJNAR Tomáš. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In: Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science, roč. 2809. Berlin: Springer Verlag, 2003, s. 265-278. ISBN 3-540-20221-8. Detail