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
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
Nahoru