Publication detail

First Approach to Model Checking in Object-Oriented Petri Nets

KŘENA, B.

Original Title

First Approach to Model Checking in Object-Oriented Petri Nets

English Title

First Approach to Model Checking in Object-Oriented Petri Nets

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

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

RIV year

2001

Released

11.09.2001

Location

Ostrava

ISBN

80-85988-61-5

Book

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

Pages from

105

Pages to

110

Pages count

6

URL

Documents

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