Conference paper

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. In: Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: University of Las Palmas, 2001, pp. 115-118. ISBN 84-699-3971-8.
Publication language:english
Original title:Analysis and Verification Queries over Object-Oriented Petri Nets
Title (cs):Specifikace dotazů při formální analýze a verifikaci nad objektově orientovanými Petriho sítěmi
Pages:115-118
Proceedings:Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts
Conference:8th International Conference on Computer Aided Theory and Technology, EUROCAST'01
Place:Las Palmas de Gran Canaria, Canary Islands, Spain, ES
Year:2001
ISBN:84-699-3971-8
Publisher:University of Las Palmas
Keywords
object-oriented Petri nets, formal analysis and verification, state spaces
Annotation
In this contribution, we discuss how the different ways of asking formal analysis or verification questions that have been proposed in the context of various modelling languages can be accommodated for the case when the systems under investigation are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated to the language and tool called PNtalk that are being developed at the Department of Computer Science and Engineering of the Brno University of Technology since 1993.
Abstract
In this contribution, we discuss how the different ways of asking formal analysis or verification questions that have been proposed in the context of various modelling languages can be accommodated for the case when the systems under investigation are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated to the language and tool called PNtalk that are being developed at the Department of Computer Science and Engineering of the Brno University of Technology since 1993.
BibTeX:
@INPROCEEDINGS{
   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 = {115--118},
   booktitle = {Formal Methods and Tools for Computer Science, Eurocast
	2001, Extended Abstracts},
   year = {2001},
   location = {Las Palmas de Gran Canaria, Canary Islands, Spain, ES},
   publisher = {University of Las Palmas},
   ISBN = {84-699-3971-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6570}
}

Your IPv4 address: 54.80.209.254
Switch to IPv6 connection

DNSSEC [dnssec]