Publication Details

Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets

Č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, vol. 2002, no. 9, pp. 1289-1299. ISSN 0368-492X.
Czech title
Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets
Type
journal article
Language
english
Authors
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords

object-oriented Petri nets

Abstract

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.

Published
2002
Pages
1289-1299
Journal
Kybernetes: The International Journal of Systems & Cybernetics, vol. 2002, no. 9, ISSN 0368-492X
BibTeX 
@ARTICLE{FITPUB7074,
   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 = "https://www.fit.vut.cz/research/publication/7074"
}
Back to top