Detail publikace

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

Typ

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

Jazyk

angličtina

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.

Klíčová slova

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

Autoři

KŘENA, B.

Rok RIV

2004

Vydáno

1. 9. 2003

Místo

Sofia

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",
  year="2003",
  volume="1",
  number="1",
  pages="27--31"
}