Detail publikačního výsledku

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

Petri nets, object-orientation, formal analysis and verification

Autoři

VOJNAR, T.

Vydáno

01.01.1999

Nakladatel

Marq software s.r.o.

Místo

Krnov

ISBN

80-85988-41-0

Kniha

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

Číslo

Acta MOS

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",
  publisher="Marq software s.r.o.",
  address="Krnov",
  isbn="80-85988-41-0"
}