Detail publikačního výsledku

PNtalk: State of the Art

ČEŠKA, M.; JANOUŠEK, V.; KOČÍ, R.; KŘENA, B.; VOJNAR, T.

Originální název

PNtalk: State of the Art

Anglický název

PNtalk: State of the Art

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

PNtalk is a long-term project started in 1993 as an original attempt tobring high-level Petri nets closer to programming languages. The maingoal of this experiment has been to prove that formal models such asPetri nets can be used for systems development in a similar way astraditional programming languages. Originally, the project started as a consistent combination of high-level Petri nets andobjects in Smalltalk. The resulting language and system is calledPNtalk and its theoretical background is represented by Object OrientedPetri Nets. The rigorous mathematical nature of the PNtalk languageoffers a potential to solve analysis and verification problems. Severalexperimental implementations and verification methods have beendeveloped during the recent years. The present research is faced with new challenges in the area ofadvanced modelling and simulation techniques, applications ofhigh-level models in systems design, and formal verification. Thispaper provides an overview of the PNtalk project and its advancement.

Anglický abstrakt

PNtalk is a long-term project started in 1993 as an original attempt tobring high-level Petri nets closer to programming languages. The maingoal of this experiment has been to prove that formal models such asPetri nets can be used for systems development in a similar way astraditional programming languages. Originally, the project started as a consistent combination of high-level Petri nets andobjects in Smalltalk. The resulting language and system is calledPNtalk and its theoretical background is represented by Object OrientedPetri Nets. The rigorous mathematical nature of the PNtalk languageoffers a potential to solve analysis and verification problems. Severalexperimental implementations and verification methods have beendeveloped during the recent years. The present research is faced with new challenges in the area ofadvanced modelling and simulation techniques, applications ofhigh-level models in systems design, and formal verification. Thispaper provides an overview of the PNtalk project and its advancement.

Klíčová slova

PNtalk, Object Oriented Petri Nets, model based design, verification

Klíčová slova v angličtině

PNtalk, Object Oriented Petri Nets, model based design, verification

Autoři

ČEŠKA, M.; JANOUŠEK, V.; KOČÍ, R.; KŘENA, B.; VOJNAR, T.

Vydáno

26.06.2006

Místo

Hamburg

Kniha

Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents

Strany od

301

Strany do

307

Strany počet

7

BibTex

@inproceedings{BUT22211,
  author="Milan {Češka} and Vladimír {Janoušek} and Radek {Kočí} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="PNtalk: State of the Art",
  booktitle="Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents",
  year="2006",
  pages="301--307",
  address="Hamburg"
}