Publication Details

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

VOJNAR, T. Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models. Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99. Krnov: 1999. p. 219-224. ISBN: 80-85988-41-0.
Type
conference paper
Language
English
Authors
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
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
Acta MOS
ISBN
80-85988-41-0
Place
Krnov
BibTeX 
@inproceedings{BUT191476,
  author="Tomáš {Vojnar}",
  title="Specifying Properties of Systems To Be Checked Using Their Object-Oriented Petri Net-Based Models",
  booktitle="Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99",
  year="1999",
  number="Acta MOS",
  pages="219--224",
  address="Krnov",
  isbn="80-85988-41-0"
}
Back to top