Detail publikace

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

VOJNAR, T.

Originální název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální 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.

Klíčová slova

Petri nets, object-orientation, formal analysis and verification

Autoři

VOJNAR, T.

Vydáno

1. 1. 1999

Místo

Krnov

ISBN

80-85988-41-0

Kniha

Proceedings of 21st International Workshop on Advanced Simulation of Systems ASIS'99

Strany od

219

Strany do

224

Strany počet

6

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"
}