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
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