Detail publikace

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

Petri nets, object-orientation, formal analysis and verification

Abstrakt

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.

Rok
1999
Strany
219–224
Sborník
Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99
Číslo
Acta MOS
ISBN
80-85988-41-0
Místo
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"
}
Nahoru