Detail projektu

Temporální vlastnosti modelů popsaných objektově orientovanými Petriho sítěmi

Období řešení: 1. 1. 1999 - 31. 12. 2000

Typ projektu: grant

Kód: FR1092/1999/G1

Agentura: Fond rozvoje vysokých škol MŠMT

Program:

Název anglicky
Temporal Properties of Models Described by Object-Oriented Petri nets
Typ
grant
Klíčová slova

Petriho sítě - objektová orientace - temporální logiky - formální verifikace - stavová exploze

Abstrakt

Cílem projektu je výzkum v oblasti formální analýzy a verifikace na modelech popsaných objektově orientovanými Petriho sítěmi (OOPN), spojenými s nástrojem PNtalk. To zahrnuje návrh vhodného specifikačního jazyka pro popis zkoumaných vlastností modelů a metod jejich pokud možno efektivního ověřování s využitím stavových prostorů OOPN. Ř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é
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT) , hlavní řešitel
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT) , spoluřešitel
Publikace

1999

  • DOC. Ing. Voráček Jan, FRYDRYCH Michael, KÄLVIÄINEN Heikki, TOIVANEN Pekka a ZEMČÍK Pavel. Multispektrální kódování obrazu. Lappeenranta: Lappeenranta University of Technology, 1999. ISBN 951-764-347-0. Detail
  • VOJNAR Tomáš. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. In: Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov: MARQ, 1999, s. 219-224. ISBN 80-85988-41-0. Detail
  • VOJNAR Tomáš. The First Steps Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of International Workshop on Control and Information Technology - IWCIT'99. Ostrava: neznámá, 1999, s. 165-170. ISBN 80-7078-679-5. Detail
  • VOJNAR Tomáš. Towards Using State Spaces of Object-Oriented Petri Nets. In: Proceedings of 33rd Spring International Conference on Modelling and Simulation of Systems MOSIS'99. Rožnov pod Radhoštěm: MARQ, 1999, s. 141-148. ISBN 80-85988-32-1. Detail
  • ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. In: Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: neznámá, 1999, s. 229-232. Detail
Nahoru