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
Nahoru