Publication Details
Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets
Č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. Lecture Notes in Computer Science, vol. 2809. Berlin: Springer Verlag, 2003, pp. 265-278. ISBN 3-540-20221-8.
Czech title
Redukce na základě částečného uspořádání pro model checking nad objektově orientovanými Petriho sítěmi
Type
conference paper
Language
english
Authors
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)
Haša Luděk, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Haša Luděk, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords
Petri nets, object orientation, model checking, partial-order reduction, state space
Abstract
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.
Published
2003
Pages
265-278
Proceedings
Computer Aided Systems Theory - EUROCAST 2003
Series
Lecture Notes in Computer Science
Volume
2809
Conference
9th International Conference on Computer Aided Theory and Technology -- EUROCAST'03, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
3-540-20221-8
Publisher
Springer Verlag
Place
Berlin, DE
BibTeX
@INPROCEEDINGS{FITPUB7340, 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 = "Lecture Notes in Computer Science", volume = 2809, year = 2003, location = "Berlin, DE", publisher = "Springer Verlag", ISBN = "3-540-20221-8", language = "english", url = "https://www.fit.vut.cz/research/publication/7340" }