Conference paper

KŘENA Bohuslav. First Approach to Model Checking in Object-Oriented Petri Nets. In: Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems. Ostrava, 2001, pp. 105-110. ISBN 80-85988-61-5.
Publication language:english
Original title:First Approach to Model Checking in Object-Oriented Petri Nets
Title (cs):První krok k model checkingu objektově orientovaných Petriho sítí
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
Place:Ostrava, CZ
Year:2001
ISBN:80-85988-61-5
URL:http://www.fit.vutbr.cz/~krena/prace/asis01.pdf [PDF]
Keywords
Model checking, automatic system analysis and verification, system modelling, property specification, Object-Oriented Petri Nets (OOPNs)
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Bohuslav K{\v{r}}ena},
   title = {First Approach to Model Checking in Object-Oriented Petri
	Nets},
   pages = {105--110},
   booktitle = {Proceedings of XIIIrd International Autumn Colloquium ASIS
	2001 Advanced Simulation of Systems},
   year = {2001},
   location = {Ostrava, CZ},
   ISBN = {80-85988-61-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6734}
}

Your IPv4 address: 54.225.47.94
Switch to IPv6 connection

DNSSEC [dnssec]