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

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

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

CEP classification

AH - Economics

OECD FORD branch

—

Project

—

Continuities

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Publication year

2011

Confidentiality

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

Name of the periodical

ECON '11

ISSN

1803-3865

e-ISSN

—

Volume of the periodical

19

Issue of the periodical within the volume

1

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

12

Pages from-to

24-35

UT code for WoS article

—

EID of the result in the Scopus database

—