Object-oriented Petri Nets and their Application and Type Analysis

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU50054" target="_blank" >RIV/00216305:26230/03:PU50054 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Object-oriented Petri Nets and their Application and Type Analysis

Original language description

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&nbsp;exchange office. Then, we deal with formal analysis issues in the context of OOPNs, especcially with the type analysis problem. Some notes to integrated analysis tool implementation are briefly discussed at the end of the article.

Czech name

Objektově orientované Petriho sítě, jejich použítí a typová analýza

Czech description

Objektově orientované Petriho sítě (OOPNs -&nbsp;Object-Oriented Petri Nets) jsou vhodné pro modelování, prototypování a verifikaci paralelních systémů. V tomto článku jsou představeny OOPNs a výzkum s nimi spojený. Nejdříve je uvedena motivace pro zavedení OOPNs a jejich porovnání s klasickými Petriho sítěmi. OOPNs jsou pak&nbsp;popsány detailněji a pro ilustraci je uveden i jednoduchý příklad&nbsp;(model směnárny). Dále se pak článek věnuje formální analýze OOPNs, zejména typové analýze a její společnné implementaci s dalšími analytickými nástroji.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F01%2F1485" target="_blank" >GA102/01/1485: Enviroment for development, modelling and application of heterogenous systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2003

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Information Technologies and Control

ISSN

0000

e-ISSN

—

Volume of the periodical

1

Issue of the periodical within the volume

1

Country of publishing house

BG - BULGARIA

Number of pages

5

Pages from-to

27-31

UT code for WoS article

—

EID of the result in the Scopus database

—