Detail publikace

Analysis and Verification Queries over Object-Oriented Petri Nets

ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2001, vol. 2001, no. 2178, p. 365-384. ISSN: 0302-9743.
Název česky
Specifikace analytických a verifikačních dotazů nad objektově orientovanými Petriho sítěmi
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 navrhuje několik způsobů, jak specifikovat dotazy při formální analýze či verifikaci nad objektově orientovanými Petriho sítěmi.

Rok
2001
Strany
365–384
Časopis
Lecture Notes in Computer Science, roč. 2001, č. 2178, ISSN 0302-9743
Kniha
Formal Methods and Tools for Computer Science
Vydavatel
Springer Verlag
Místo
Berlín
BibTeX 
@article{BUT40354,
  author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
  title="Analysis and Verification Queries over Object-Oriented Petri Nets",
  journal="Lecture Notes in Computer Science",
  year="2001",
  volume="2001",
  number="2178",
  pages="365--384",
  issn="0302-9743",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz"
}
Nahoru