Detail publikace

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.
Název česky
Redukce na základě částečného uspořádání pro model checking nad objektově orientovanými Petriho sítěmi
Typ
kapitola v knize
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Haša Luděk, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

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

Abstrakt

Článek diskutuje problémy, které vznikají při aplikaci redukce stavových prostorů na základě částečného uspořádání pro model checking nad objektově orientovanými Petriho sítěmi.

Rok
2003
Strany
265–278
Kniha
Computer Aided Systems Theory - EUROCAST 2003
Řada
Lecture Notes in Computer Science 2809
ISBN
3-540-20221-8
Vydavatel
Springer Verlag
Místo
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"
}
Nahoru