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

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Object-oriented Petri Nets and their Application and Type Analysis

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Object-oriented Petri Nets and their Application and Type Analysis

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F01%2F1485" target="_blank" >GA102/01/1485: Prostředí pro vývoj, modelování a aplikaci heterogenních systémů</a><br>

Návaznosti

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

Rok uplatnění

2003

Kód důvěrnosti údajů

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

Název periodika

Information Technologies and Control

ISSN

0000

e-ISSN

—

Svazek periodika

1

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

BG - Bulharská republika

Počet stran výsledku

5

Strana od-do

27-31

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—