Detail výsledku

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: Marq software s.r.o., 2001. p. 105-110. ISBN: 80-85988-61-5.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D., FEKT (FEKT)
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)

URL
Rok
2001
Strany
105–110
Sborník
Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems
Konference
23rd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems
ISBN
80-85988-61-5
Vydavatel
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-61-5",
  url="http://www.fit.vutbr.cz/~krena/prace/asis01.pdf"
}
Projekty
Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, Standardní projekty, GA102/00/1017, zahájení: 2000-01-01, ukončení: 2002-12-31, ukončen
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru