MODELLING OF MULTITHREADED PROGRAMMING SYSTEMS WITH MODIFIED SUPER-DUAL PETRI NETS
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F09%3A00020783" target="_blank" >RIV/61989100:27510/09:00020783 - 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
MODELLING OF MULTITHREADED PROGRAMMING SYSTEMS WITH MODIFIED SUPER-DUAL PETRI NETS
Popis výsledku v původním jazyce
Super-dual Petri nets bring several original ideas to the concepts of the standard Place/Transition Petri nets transition functionalities refinement. Modified super-dual Petri nets presented in this article were defined specially for the purpose of modelling multithreaded or distributed programming systems. The main idea of their modification follows from the introduction of the concurrent place-transition firing notion and the representation of the programming threads objects by net tokens and passiveor lock objects by net pokens and this principle is demonstrated on several examples.
Název v anglickém jazyce
MODELLING OF MULTITHREADED PROGRAMMING SYSTEMS WITH MODIFIED SUPER-DUAL PETRI NETS
Popis výsledku anglicky
Super-dual Petri nets bring several original ideas to the concepts of the standard Place/Transition Petri nets transition functionalities refinement. Modified super-dual Petri nets presented in this article were defined specially for the purpose of modelling multithreaded or distributed programming systems. The main idea of their modification follows from the introduction of the concurrent place-transition firing notion and the representation of the programming threads objects by net tokens and passiveor lock objects by net pokens and this principle is demonstrated on several examples.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Ostatní
Rok uplatnění
2009
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'09
ISSN
1803-3865
e-ISSN
—
Svazek periodika
16
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
8
Strana od-do
—
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—