Publication Details

Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models

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.
Type
conference paper
Language
english
Authors
Vojnar Tomáš, Ing., Ph.D. (DCSE FEECS BUT)
Keywords

Petri nets, object-orientation, formal analysis and verification

Abstract

The article discusses several possible ways of specifying properties of systems to be checked via formal analysis or verification on the state spaces of their models based on object-oriented Petri nets.

Annotation

The article discusses several possible ways of specifying properties of systems to be checked via formal analysis or verification on the state spaces of their models based on object-oriented Petri nets. The proposed attitudes are inspired by the ones used in the context of other modelling languages.

Published
1999
Pages
219-224
Proceedings
Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99
Number
0
ISBN
80-85988-41-0
Place
Krnov, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6563,
   author = "Tom\'{a}\v{s} Vojnar",
   title = "Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models",
   pages = "219--224",
   booktitle = "Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99",
   number = "Acta MOS",
   year = 1999,
   location = "Krnov, CZ",
   ISBN = "80-85988-41-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6563"
}
Back to top