Prof. Ing. Tomáš Vojnar, Ph.D.

Temporal Properties of Models Described by Object-Oriented Petri nets

Czech title:Temporální vlastnosti modelů popsaných objektově orientovanými Petriho sítěmi
Research leader:Janoušek Vladimír
Team leaders:Vojnar Tomáš
Agency:Fond rozvoje vysokých škol MŠMT
Keywords:Petri nets - object orientation - temporal logics - formal verification - state space explosion
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.


1999DOC. 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.
 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.
 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.
 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.
 Č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.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]