Result Details

Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets

ČEŠKA, M.; HAŠA, L.; VOJNAR, T. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science 2809. Berlin: Springer Verlag, 2003. p. 265-278. ISBN: 3-540-20221-8.
Type
chapter in a book
Language
English
Authors
Češka Milan, prof. RNDr., CSc.
Haša Luděk, Ing.
Vojnar Tomáš, prof. Ing., Ph.D.
Abstract

The main problem being faced in finite-state model checking is thestate space explosion problem. For coping with it, many advancedmethods for reducing state spaces have been proposed. One of the mostsuccessful methods (especially when dealing with software systems) isthe so-called partial-order reduction. In the paper, we examine howthis method can be used in the context of object-oriented Petri nets,which bring in features like dynamic instantiation, late binding,garbage collection, etc.

Keywords

Petri nets, object orientation, model checking, partial-order reduction, state space

Published
2003
Pages
265–278
Book
Computer Aided Systems Theory - EUROCAST 2003
Series
Lecture Notes in Computer Science 2809
Conference
9th International Conference on Computer Aided Theory and Technology -- EUROCAST'03
ISBN
3-540-20221-8
Publisher
Springer Verlag
Place
Berlin
BibTeX 
@inbook{BUT55482,
  author="Milan {Češka} and Luděk {Haša} and Tomáš {Vojnar}",
  title="Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets",
  booktitle="Computer Aided Systems Theory - EUROCAST 2003",
  year="2003",
  publisher="Springer Verlag",
  address="Berlin",
  series="Lecture Notes in Computer Science 2809",
  pages="265--278",
  isbn="3-540-20221-8"
}
Projects
Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, Standardní projekty, GA102/01/1485, start: 2001-01-01, end: 2003-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Petri Nets Research Group (VZ PETRINET)
Departments
Department of Information Systems (DIFS)
Department of Intelligent Systems (DITS)
Back to top