Detail publikace

First Approach to Model Checking in Object-Oriented Petri Nets

KŘENA, B. First Approach to Model Checking in Object-Oriented Petri Nets. Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems. Ostrava: 2001. p. 105-110. ISBN: 80-85988-61-5.
Název česky
První krok k model checkingu objektově orientovaných Petriho sítí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
URL
Klíčová slova

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

Abstrakt

Model checking je technika automatické analýzy systémů, která zahrnuje tři fáze: vytvoření modelu systému, specifikace vlasnosti, kterou chceme ověřit, a automatická verifikace. Naše výzkumná skupina se zabývá modelováním pomocí objektově orientovaných Petriho sítí a proto se v tomto článku zabýváme možnosti verifikace systémů popsaných právě objěktově orientovanými Petriho sítěmi.

Rok
2001
Strany
105–110
Sborník
Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems
ISBN
80-85988-61-5
Místo
Ostrava
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"
}
Nahoru