Detail publikace
Generating and Using State Spaces of Object-Oriented Petri Nets
ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, roč. 16, č. 3, 2001, s. 183-193. ISSN 0267-6192.
Název česky
Generování a využití stavových prostorů objektově orientovaných Petriho sítí
Typ
článek v časopise
Jazyk
angličtina
Autoři
Češka Milan, Prof. RNDr., CSc. (UIVT FEI VUT)
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT)
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT)
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT)
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT)
URL
Abstrakt
Článek diskutuje dva fenomény, které značně ovlivňují formální verifikaci nad modely popsanými pomocí objektově orientovaných petriho sítí. Za prvé se jedná o řešení problémů s identifikátory objektů ve stavových prostorech. Za druhé pak o vhodný způsob specifikace ověřovaných vlastností.
Rok
2001
Strany
183-193
Časopis
International Journal of Computer Systems Science and Engineering, roč. 16, č. 3, ISSN 0267-6192
BibTeX
@ARTICLE{FITPUB6573, author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar", title = "Generating and Using State Spaces of Object-Oriented Petri Nets", pages = "183--193", journal = "International Journal of Computer Systems Science and Engineering", volume = 16, number = 3, year = 2001, ISSN = "0267-6192", language = "english", url = "https://www.fit.vut.cz/research/publication/6573" }