Detail projektu
Ověřování temporálních vlastností modelů popsaných objektově orientovanými Petriho sítěmi
Období řešení: 1. 1. 1998 - 31. 12. 1998
Typ projektu: grant
Kód: FEI-98-?
Agentura: Fakulta elektrotechniky a informatiky VUT
Program:
Název anglicky
Verifying Temporal Properties of Models Based on Object-Oriented Petri Nets
Typ
grant
Klíčová slova
Objektově orientované Petriho sítě, temporální logiky, model checking, exploze stavového prostoru
Abstrakt
Cílem projektu je umožnit ověřování vlastností systémů vyjádřených ve vhodné temporální logice na modelech vytvořených pomocí objektově orientovaných Petriho sítí, které jsou úzce spojeny s jazykem PNtalk. Řešení projektu bude probíhat zejména v rovině teoretické, přesto by mělo dojít k alespoň pokusné implementaci některých myšlenek v jazyce Prolog.
Řešitelé
Vojnar Tomáš, Ing., Ph.D.
(UIVT FEI VUT)
, hlavní řešitel
Publikace
1998
- VOJNAR Tomáš. An Overview of Some Automated Tools for Formal Analysis and Verification. In: Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov: MARQ, 1998, s. 223-228. ISBN 80-85988-26-7. Detail
- JANOUŠEK Vladimír a VOJNAR Tomáš. Modelling a Flexible Manufacturing System. In: Proceedings of 32nd Spring International Conference on Modelling and Simulation of Systems MOSIS'98. Sv. Hostýn: MARQ, 1998, s. 195-200. ISBN 80-85988-23-2. Detail
- ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Object-Oriented Petri Nets, Their Simulation, and Analysis. In: Proceedings of the IEEE SMC'98 Conference. San Diego, California: neznámá, 1998, s. 256-261. ISBN 0-7803-4781-1. ISSN 1062-922X. Detail
- JANOUŠEK Vladimír a VOJNAR Tomáš. State Spaces of Object-Oriented Petri Nets. In: Proceedings of MFCS'98 Workshop on Concurrency. Brno: neznámá, 1998, s. 87-96. Detail