Conference paper

ČEŠKA Milan, HAŠA Luděk and VOJNAR Tomáš. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In: Computer Aided Systems Theory - EUROCAST 2003. Berlin: Springer Verlag, 2003, pp. 265-278. ISBN 3-540-20221-8.
Publication language:english
Original title:Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets
Title (cs):Redukce na základě částečného uspořádání pro model checking nad objektově orientovanými Petriho sítěmi
Pages:265-278
Proceedings:Computer Aided Systems Theory - EUROCAST 2003
Conference:9th International Conference on Computer Aided Theory and Technology -- EUROCAST'03
Series:LNCS 2809
Place:Berlin, DE
Year:2003
ISBN:3-540-20221-8
Publisher:Springer Verlag
Keywords
Petri nets, object orientation, model checking, partial-order reduction, state space
Annotation
The main problem being faced in finite-state model checking is the state space explosion problem. For coping with it, many advanced methods for reducing state spaces have been proposed. One of the most successful methods (especially when dealing with software systems) is the so-called partial-order reduction. In the paper, we examine how this method can be used in the context of object-oriented Petri nets, which bring in features like dynamic instantiation, late binding, garbage collection, etc.
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Lud{\v{e}}k Ha{\v{s}}a and
	Tom{\'{a}}{\v{s}} Vojnar},
   title = {Partial-Order Reduction in Model Checking of Object-Oriented
	Petri Nets},
   pages = {265--278},
   booktitle = {Computer Aided Systems Theory - EUROCAST 2003},
   series = {LNCS 2809},
   year = {2003},
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {3-540-20221-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7340}
}

Your IPv4 address: 54.163.210.170
Switch to IPv6 connection

DNSSEC [dnssec]