Detail publikace

Generating and Using State Spaces of Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, 2001, vol. 16, no. 3, p. 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
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

Petri nets, object orientation, formal analysis and verification

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{BUT40353,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Generating and Using State Spaces of Object-Oriented Petri Nets",
  journal="International Journal of Computer Systems Science and Engineering",
  year="2001",
  volume="16",
  number="3",
  pages="183--193",
  issn="0267-6192",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-jcsse2001.ps.gz"
}
Nahoru