Conference paper

ČEŠKA Milan and HAŠA Luděk. Improvements in Model Checking for Object-Oriented Petri Nets. In: 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, pp. 269-274. ISBN 980-6560-19-1.
Publication language:english
Original title:Improvements in Model Checking for Object-Oriented Petri Nets
Title (cs):Zlepšení v model checkingu objektově-orientovaných Petriho sítí
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
Place:Orlando, US
Year:2004
ISBN:980-6560-19-1
Publisher:The International Institute of Informatics and Systemics
Keywords
LTL, ICTL, model checking, Object-Oriented Petri Nets, partial-order
reduction, state space
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Lud{\v{e}}k Ha{\v{s}}a},
   title = {Improvements in Model Checking for Object-Oriented Petri
	Nets},
   pages = {269--274},
   booktitle = {Proceedings of the ISAS CITSA 2004, Volume III,
	Communications, Information and Control Systems,
	Technologies and Applications},
   year = {2004},
   location = {Orlando, US},
   publisher = {The International Institute of Informatics and Systemics},
   ISBN = {980-6560-19-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7548}
}

Your IPv4 address: 54.242.205.33
Switch to IPv6 connection

DNSSEC [dnssec]