Sequential Petri Nets and their use in the APGAS programming model in HPC enviroment representation

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F13%3A86086691" target="_blank" >RIV/61989100:27510/13:86086691 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Sequential Petri Nets and their use in the APGAS programming model in HPC enviroment representation

Original language description

The Asynchrony Partitioned Global Address Space (APGAS) programming model is widely used in the HPC environment and is implemented in the programming lan-guage X10. Sequential Petri nets are the newly introduced class of Petri nets, the properties of which are the main topic of this paper; they feature certain new and original concepts and can be successfully used in the design, modelling and verifica-tion of multithreading programming systems executed in a highly parallel or distrib-uted environment. In this paper, the basic characteristics of sequential Petri nets are very briefly presented, including their possibilities in the definition of newly introduced tokens as non-empty finite sequences over the set of non-negative integer numbers and the mechanism of the multiarcs that significantly increase the modelling capabili-ties especially of this class of Petri nets. Sequential Petri nets can also be used in the area of modelling the programming systems based APGAS programming model

Czech name

—

Czech description

—

Type

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

CEP classification

IN - Informatics

OECD FORD branch

—

Project

<a href="/en/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Research team for modelling of economic and financial processes at VSB-TU Ostrava</a><br>

Continuities

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

Publication year

2013

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

ISSN

1803-3865

e-ISSN

—

Volume of the periodical

23

Issue of the periodical within the volume

2

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

19

Pages from-to

43-61

UT code for WoS article

—

EID of the result in the Scopus database

—