The Modelling of Object-oriented Programming Systems with Using of Bi-relational p/T Petri Nets

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F11%3A86075298" target="_blank" >RIV/61989100:27510/11:86075298 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The Modelling of Object-oriented Programming Systems with Using of Bi-relational p/T Petri Nets

Popis výsledku v původním jazyce

Bi-relational P/T Petri nets are a newly introduced class of Petri nets, whose implementation and definitions are the main topics of this paper, feature certain new and original concepts when compared with conventional P/T Petri nets, which can be successfully used at a design, modelling and verification of object-oriented programming systems. In this paper basic characteristics of bi-relational P/T Petri nets are very briefly presented including possibilities in their definition of newly introduced netpages, input and output places, functionalities of multiarcs and the mechanism of the execution of transitions at the modelling of object-oriented programming systems. Basic principles of bi-relational P/T Petri nets could be then further applied when defining the bi-relational object Petri Nets.

Název v anglickém jazyce

The Modelling of Object-oriented Programming Systems with Using of Bi-relational p/T Petri Nets

Popis výsledku anglicky

Bi-relational P/T Petri nets are a newly introduced class of Petri nets, whose implementation and definitions are the main topics of this paper, feature certain new and original concepts when compared with conventional P/T Petri nets, which can be successfully used at a design, modelling and verification of object-oriented programming systems. In this paper basic characteristics of bi-relational P/T Petri nets are very briefly presented including possibilities in their definition of newly introduced netpages, input and output places, functionalities of multiarcs and the mechanism of the execution of transitions at the modelling of object-oriented programming systems. Basic principles of bi-relational P/T Petri nets could be then further applied when defining the bi-relational object Petri Nets.

Druh

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

CEP obor

AH - Ekonomie

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2011

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

ECON '11

ISSN

1803-3865

e-ISSN

—

Svazek periodika

19

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

12

Strana od-do

24-35

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—