Publication Details
Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets
ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. 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, p. 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.
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
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{BUT41082,
author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}",
title="Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets",
journal="Kybernetes: The International Journal of Systems Cybernetics",
year="2002",
volume="2002",
number="9",
pages="1289--1299",
issn="0368-492X"
}