Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
KŘENA, B.
Originální název
First Approach to Model Checking in Object-Oriented Petri Nets
Typ
článek ve sborníku mimo WoS a 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
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" }