Detail publikace
Analysis and Verification Queries over Object-Oriented Petri Nets
ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, roč. 2001, č. 2178, s. 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
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 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, DE
BibTeX
@ARTICLE{FITPUB6572, author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar", title = "Analysis and Verification Queries over Object-Oriented Petri Nets", pages = "365--384", booktitle = "Formal Methods and Tools for Computer Science", journal = "Lecture Notes in Computer Science", volume = 2001, number = 2178, year = 2001, location = "Berl\'{i}n, DE", publisher = "Springer Verlag", ISSN = "0302-9743", language = "english", url = "https://www.fit.vut.cz/research/publication/6572" }