Publication detail

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

VOJNAR, T.

Original Title

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

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Petri nets, object-orientation, formal analysis and verification

Authors

VOJNAR, T.

Released

1. 1. 1999

Location

Krnov

ISBN

80-85988-41-0

Book

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

Pages from

219

Pages to

224

Pages count

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