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

Type

journal article - other

Language

English

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.

Keywords

object-oriented Petri nets

Authors

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

RIV year

2002

Released

20. 11. 2002

ISBN

0368-492X

Periodical

Kybernetes: The International Journal of Systems Cybernetics

Year of study

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: The International Journal of Systems Cybernetics",
  year="2002",
  volume="2002",
  number="9",
  pages="1289--1299",
  issn="0368-492X"
}