Journal article

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems & Cybernetics. 2002, vol. 2002, no. 9, pp. 1289-1299. ISSN 0368-492X.
Publication language:english
Original title:Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets
Title (cs):Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets
Pages:1289-1299
Place:GB
Year:2002
Journal:Kybernetes: The International Journal of Systems & Cybernetics, Vol. 2002, No. 9, GB
ISSN:0368-492X
Keywords
object-oriented Petri nets
Annotation
This paper presents several research issues associated with the PNtalk language that is based on a certain kind of object-oriented Petri nets (OOPNs) and intended mainly for modelling, prototyping, and verifying concurrent and distributed applications. The paper reviews the main concepts of PNtalk and OOPNs followed by a proposal of a system allowing prototypes based on PNtalk to be run in a distributed way. Furthermore, the first steps made towards state spaces-based formal analysis and verification over PNtalk OOPNs are also briefly mentioned in the paper.
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 = {Modelling, prototyping, and verifying concurrent and
	distributed applications using object-oriented Petri nets},
   pages = {1289--1299},
   journal = {Kybernetes: The International Journal of Systems \&
	Cybernetics},
   volume = {2002},
   number = {9},
   year = {2002},
   ISSN = {0368-492X},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7074}
}

Your IPv4 address: 54.221.73.186
Switch to IPv6 connection

DNSSEC [dnssec]