Publication detail

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

JANOUŠEK, V., VOJNAR, T., ČEŠKA, M.

Original Title

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

English Title

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

Type

journal article - other

Language

en

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

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

Keywords

object-oriented Petri nets

RIV year

2002

Released

20.11.2002

Pages from

1289

Pages to

1299

Pages count

11

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",
  annote="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.",
  chapter="41082",
  number="9",
  volume="2002",
  year="2002",
  month="november",
  pages="1289--1299",
  type="journal article - other"
}