Detail publikace

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

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

Originální název

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

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

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.

Klíčová slova

object-oriented Petri nets

Autoři

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

Rok RIV

2002

Vydáno

20. 11. 2002

ISSN

0368-492X

Periodikum

Kybernetes: The International Journal of Systems Cybernetics

Ročník

2002

Číslo

9

Stát

Spojené království Velké Británie a Severního Irska

Strany od

1289

Strany do

1299

Strany počet

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