Publication result detail

Object-oriented Petri Nets and their Application and Type Analysis

KŘENA, B.

Original Title

Object-oriented Petri Nets and their Application and Type Analysis

English Title

Object-oriented Petri Nets and their Application and Type Analysis

Type

Peer-reviewed article not indexed in WoS or Scopus

Original Abstract

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.

English abstract

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.

Keywords

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

Key words in English

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

Authors

KŘENA, B.

Released

01.09.2003

Location

Sofia

Book

Information Technologies and Control

ISBN

1312-2622

Periodical

Information Technologies and Control

Volume

1

Number

1

State

Republic of Bulgaria

Pages from

27

Pages to

31

Pages count

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