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