Result Details

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.
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., FEEC (FEEC)
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)

URL
Published
2001
Pages
105–110
Proceedings
Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems
Conference
23rd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems
ISBN
80-85988-61-5
Publisher
Marq software s.r.o.
Place
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"
}
Projects
Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, Standardní projekty, GA102/00/1017, start: 2000-01-01, end: 2002-12-31, completed
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research groups
Petri Nets Research Group (RG PETRINET)
Departments
Faculty of Information Technology (FIT)
Back to top