Detail publikačního výsledku

Object-oriented Petri Nets and their Application and Type Analysis

KŘENA, B.

Originální název

Object-oriented Petri Nets and their Application and Type Analysis

Anglický název

Object-oriented Petri Nets and their Application and Type Analysis

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

Object-oriented Petri nets (OOPNs) are a formalism based on Petri nets suitable for modelling, prototyping, and verifying concurrent systems. In this article, we introduce OOPNs and research associated to them. At first, we state the motivation for establishing OOPNs by comparing OOPNs with classic Petri net. Subsequently, we describe formalism OOPNs in reasonable details and illustrate it on a simple model of exchange office. Then, we deal with formal analysis issues in the context of OOPNs, especially with the type analysis problem. Some notes to integrated analysis tool implementation are briefly discussed at the end of the article.

Anglický abstrakt

Object-oriented Petri nets (OOPNs) are a formalism based on Petri nets suitable for modelling, prototyping, and verifying concurrent systems. In this article, we introduce OOPNs and research associated to them. At first, we state the motivation for establishing OOPNs by comparing OOPNs with classic Petri net. Subsequently, we describe formalism OOPNs in reasonable details and illustrate it on a simple model of exchange office. Then, we deal with formal analysis issues in the context of OOPNs, especially with the type analysis problem. Some notes to integrated analysis tool implementation are briefly discussed at the end of the article.

Klíčová slova

Object-Oriented Petri Nets, Application, Modelling, Type Analysis

Klíčová slova v angličtině

Object-Oriented Petri Nets, Application, Modelling, Type Analysis

Autoři

KŘENA, B.

Vydáno

01.09.2003

Místo

Sofia

Kniha

Information Technologies and Control

ISSN

1312-2622

Periodikum

Information Technologies and Control

Svazek

1

Číslo

1

Stát

Bulharská republika

Strany od

27

Strany do

31

Strany počet

5

BibTex

@article{BUT46259,
  author="Bohuslav {Křena}",
  title="Object-oriented Petri Nets and their Application and Type Analysis",
  journal="Information Technologies and Control",
  year="2003",
  volume="1",
  number="1",
  pages="27--31",
  issn="1312-2622"
}