Result 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, 2002, vol. 2002, no. 9, p. 1289-1299. ISSN: 0368-492X.
Type
journal article
Language
English
Authors
Češka Milan, prof. RNDr., CSc.
Janoušek Vladimír, doc. Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.
Abstract

This paper presents several research issues associated with thePNtalk language that is based on a certain kind of object-oriented Petri nets(OOPNs) and intended mainly for modelling, prototyping, and verifyingconcurrent and distributed applications. The paper reviews the main concepts ofPNtalk and OOPNs followed by a proposal of a system allowing prototypes basedon PNtalk to be run in a distributed way. Furthermore, the first steps madetowards state spaces-based formal analysis and verification over PNtalk OOPNsare also briefly mentioned in the paper.

Keywords

object-oriented Petri nets

Published
2002
Pages
1289–1299
Journal
KYBERNETES, 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",
  year="2002",
  volume="2002",
  number="9",
  pages="1289--1299",
  issn="0368-492X"
}
Projects
Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, Standardní projekty, GA102/00/1017, start: 2000-01-01, end: 2002-12-31, completed
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research groups
Petri Nets Research Group (RG PETRINET)
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top