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

Anglický název

First Approach to Model Checking in Object-Oriented Petri Nets

Jazyk

en

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.

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

Dokumenty

BibTex 


@inproceedings{BUT5613,
  author="Bohuslav {Křena}",
  title="First Approach to Model Checking in Object-Oriented Petri Nets",
  annote="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.",
  booktitle="Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems",
  chapter="5613",
  year="2001",
  month="september",
  pages="105--110",
  type="conference paper"
}