Detail publikace

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

Originální název

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

Anglický název

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

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

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