Publication detail

PNtalk: State of the Art

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

Original Title

PNtalk: State of the Art

English Title

PNtalk: State of the Art

Type

conference paper

Language

en

Original Abstract

PNtalk is a long-term project started in 1993 as an original attempt to bring high-level Petri nets closer to programming languages. The main goal of this experiment has been to prove that formal models such as Petri nets can be used for systems development in a similar way as traditional programming languages. Originally, the project started as a consistent combination of high-level Petri nets and objects in Smalltalk. The resulting language and system is called PNtalk and its theoretical background is represented by Object Oriented Petri Nets. The rigorous mathematical nature of the PNtalk language offers a potential to solve analysis and verification problems. Several experimental implementations and verification methods have been developed during the recent years. The present research is faced with new challenges in the area of advanced modelling and simulation techniques, applications of high-level models in systems design, and formal verification. This paper provides an overview of the PNtalk project and its advancement.

English abstract

PNtalk is a long-term project started in 1993 as an original attempt to bring high-level Petri nets closer to programming languages. The main goal of this experiment has been to prove that formal models such as Petri nets can be used for systems development in a similar way as traditional programming languages. Originally, the project started as a consistent combination of high-level Petri nets and objects in Smalltalk. The resulting language and system is called PNtalk and its theoretical background is represented by Object Oriented Petri Nets. The rigorous mathematical nature of the PNtalk language offers a potential to solve analysis and verification problems. Several experimental implementations and verification methods have been developed during the recent years. The present research is faced with new challenges in the area of advanced modelling and simulation techniques, applications of high-level models in systems design, and formal verification. This paper provides an overview of the PNtalk project and its advancement.

Keywords

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

RIV year

2006

Released

26.06.2006

Location

Hamburg

Pages from

301

Pages to

307

Pages count

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",
  annote="PNtalk is a long-term project started in 1993 as an original attempt to bring
high-level Petri nets closer to programming languages. The main goal of this
experiment has been to prove that formal models such as Petri nets can be used
for systems development in a similar way as traditional programming languages.
Originally, the project started as a consistent combination of high-level Petri
nets and objects in Smalltalk. The resulting language and system is called PNtalk
and its theoretical background is represented by Object Oriented Petri Nets. The
rigorous mathematical nature of the PNtalk language offers a potential to solve
analysis and verification problems. Several experimental implementations and
verification methods have been developed during the recent years. The present
research is faced with new challenges in the area of advanced modelling and
simulation techniques, applications of high-level models in systems design, and
formal verification. This paper provides an overview of the PNtalk project and
its advancement.",
  booktitle="Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents",
  chapter="22211",
  year="2006",
  month="june",
  pages="301--307",
  type="conference paper"
}