Publication result detail

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

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

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

Peer-reviewed article not indexed in WoS or Scopus

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

English 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

Key words in English

object-oriented Petri nets

Authors

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

RIV year

2011

Released

20.11.2002

ISBN

0368-492X

Periodical

KYBERNETES

Volume

2002

Number

9

State

United Kingdom of Great Britain and Northern Ireland

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",
  journal="KYBERNETES",
  year="2002",
  volume="2002",
  number="9",
  pages="1289--1299",
  issn="0368-492X"
}