Detail publikace

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

ČEŠKA, M. HAŠA, L. VOJNAR, T.

Originální název

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

Typ

kapitola v knize

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

ČEŠKA, M.; HAŠA, L.; VOJNAR, T.

Rok RIV

2003

Vydáno

13. 10. 2003

Nakladatel

Springer Verlag

Místo

Berlin

ISBN

3-540-20221-8

Kniha

Computer Aided Systems Theory - EUROCAST 2003

Edice

Lecture Notes in Computer Science 2809

Strany od

265

Strany do

278

Strany počet

14

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"
}