Publication Details

Analysis and Verification Queries over Object-Oriented Petri Nets

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, vol. 2001, no. 2178, pp. 365-384. ISSN 0302-9743.
Czech title
Specifikace analytických a verifikačních dotazů nad objektově orientovanými Petriho sítěmi
Type
journal article
Language
english
Authors
Češka Milan, Prof. RNDr., CSc. (DCSE FEECS BUT)
Janoušek Vladimír, Ing., Ph.D. (DCSE FEECS BUT)
Vojnar Tomáš, Ing., Ph.D. (DCSE FEECS BUT)
URL
Keywords

Petri nets, object orientation, formal analysis and verification

Abstract

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.

Published
2001
Pages
365-384
Journal
Lecture Notes in Computer Science, vol. 2001, no. 2178, ISSN 0302-9743
Book
Formal Methods and Tools for Computer Science
Publisher
Springer Verlag
Place
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"
}
Back to top