Journal article

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2001, vol. 2001, no. 2178, pp. 365-384. ISSN 0302-9743.
Publication language:english
Original title:Analysis and Verification Queries over Object-Oriented Petri Nets
Title (cs):Specifikace analytických a verifikačních dotazů nad objektově orientovanými Petriho sítěmi
Pages:365-384
Book:Formal Methods and Tools for Computer Science
Place:Berlín, DE
Year:2001
Journal:Lecture Notes in Computer Science, Vol. 2001, No. 2178, DE
ISSN:0302-9743
Publisher:Springer Verlag
URL:http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz [PS]
Keywords
Petri nets, object orientation, formal analysis and verification
Annotation
In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case when the systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool.
BibTeX:
@ARTICLE{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6572}
}

Your IPv4 address: 54.81.73.2
Switch to IPv6 connection

DNSSEC [dnssec]