Project Details

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

Project Period: 1. 1. 1999 - 31. 12. 2000

Project Type: grant

Code: FR1092/1999/G1

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

Program:

English title
Temporal Properties of Models Described by Object-Oriented Petri nets
Type
grant
Keywords

Petri nets - object orientation - temporal logics - formal verification - state space explosion

Abstract

This project is based on a research in the area of formal analysis and verification over models described by object-oriented Petri nets (OOPNs) associated to the tool called PNtalk. This research includes proposing a suitable specification language for specifying desired properties of systems modelled by OOPNs and methods of verifying them via state spaces of OOPNs in an as effective as possible way. The project is mostly theoretical, however, at least some of the obtained theoretical proposals will be checked via a prototype implementation in Prolog.

Team members
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT) , research leader
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT) , team leader
Publications

1999

  • DOC. Ing. Voráček Jan, FRYDRYCH Michael, KÄLVIÄINEN Heikki, TOIVANEN Pekka and ZEMČÍK Pavel. Multispectral Image Colour Encoding. 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, 1999, pp. 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: unknown, 1999, pp. 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, 1999, pp. 141-148. ISBN 80-85988-32-1. Detail
  • ČEŠKA Milan, JANOUŠEK Vladimír and 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: unknown, 1999, pp. 229-232. Detail
Back to top