Detail publikace

First Approach to Model Checking in Object-Oriented Petri Nets

KŘENA, B.

Originální název

First Approach to Model Checking in Object-Oriented Petri Nets

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

Model checking is a technique for automatic system analysis. It usually consists of three tasks: system modelling, property specification, and automatic verification. We are interested in system modelling by Object-Oriented Petri Nets (OOPNs) and therefore we concentrate to OOPNs as modelling formalism. In this article there can be found a small introduction to model checking, description of OOPNs, and finally some specific problems and possibilities of model checking in OOPNs.

Klíčová slova

Model checking, automatic system analysis and verification, system modelling, property specification, Object-Oriented Petri Nets (OOPNs)

Autoři

KŘENA, B.

Rok RIV

2001

Vydáno

11. 9. 2001

Místo

Ostrava

ISBN

80-85988-61-5

Kniha

Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems

Strany od

105

Strany do

110

Strany počet

6

URL

http://www.fit.vutbr.cz/~krena/prace/asis01.pdf

BibTex

@inproceedings{BUT5613,
  author="Bohuslav {Křena}",
  title="First Approach to Model Checking in Object-Oriented Petri Nets",
  booktitle="Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems",
  year="2001",
  pages="105--110",
  address="Ostrava",
  isbn="80-85988-61-5",
  url="http://www.fit.vutbr.cz/~krena/prace/asis01.pdf"
}