Sequential Petri Nets and their use in the APGAS programming model in HPC enviroment representation
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Sequential Petri Nets and their use in the APGAS programming model in HPC enviroment representation
Popis výsledku v původním jazyce
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
Název v anglickém jazyce
Sequential Petri Nets and their use in the APGAS programming model in HPC enviroment representation
Popis výsledku anglicky
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
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Výzkumný tým pro modelování ekonomických a finančních procesů na VŠB-TU Ostrava</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2013
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ů
Údaje specifické pro druh výsledku
Název periodika
ECON
ISSN
1803-3865
e-ISSN
—
Svazek periodika
23
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
19
Strana od-do
43-61
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—