Result Details

Improvements in Model Checking for Object-Oriented Petri Nets

HAŠA, L.; ČEŠKA, M. Improvements in Model Checking for Object-Oriented Petri Nets. Proceedings of the ISAS CITSA 2004, Volume III, Communications, Information and Control Systems, Technologies and Applications. Orlando: The International Institute of Informatics and Systemics, 2004. p. 269-274. ISBN: 980-6560-19-1.
Type
conference paper
Language
English
Authors
Haša Luděk, Ing., FIT (FIT), DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Abstract

Safety and liveness properties can be expressed by LTL\X in model checking of a concurrent system. However, common logics, and LTL\X is ranked among them, do not provide tools for tracing particular instances along state space paths. For this reason, an indexed temporal logic (ICTL) has been introduced into Object-Object Petri Net model checking.
Explicit-state model checking tools often incorporate partial-order reductions to reduce the number of explored states. In this paper, we present a new version of partial order reduction algorithm for LTL\X in the context of Object-Oriented Petri Nets.

Keywords

LTL, ICTL, model checking, Object-Oriented Petri Nets, partial-order
reduction, state space

Published
2004
Pages
269–274
Proceedings
Proceedings of the ISAS CITSA 2004, Volume III, Communications, Information and Control Systems, Technologies and Applications
Conference
International Conference on Cybernetics and Information Technologies, Systems and Applications: CITSA 2004
ISBN
980-6560-19-1
Publisher
The International Institute of Informatics and Systemics
Place
Orlando
BibTeX 
@inproceedings{BUT17351,
  author="Luděk {Haša} and Milan {Češka}",
  title="Improvements in Model Checking for Object-Oriented Petri Nets",
  booktitle="Proceedings of the ISAS CITSA 2004, Volume III, Communications, Information and Control Systems, Technologies and Applications",
  year="2004",
  pages="269--274",
  publisher="The International Institute of Informatics and Systemics",
  address="Orlando",
  isbn="980-6560-19-1"
}
Projects
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Departments
Department of Intelligent Systems (DITS)
Back to top