Detail publikace

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

ČEŠKA Milan, HAŠA Luděk a 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, roč. 2809. Berlin: Springer Verlag, 2003, s. 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
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Haša Luděk, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Sborník
Computer Aided Systems Theory - EUROCAST 2003
Řada
Lecture Notes in Computer Science
Svazek
2809
Konference
9th International Conference on Computer Aided Theory and Technology -- EUROCAST'03, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
3-540-20221-8
Vydavatel
Springer Verlag
Místo
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"
}
Nahoru