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)
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"
}
Back to top