SUPER-DUÁLNÍ PETRIHO SÍTĚ A JEJICH UPLATNĚNÍ PŘI MODELOVÁNÍ DISTRIBUOVANÝCH PROGRAMOVÝCH SYSTÉMŮ
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%3A00020782" target="_blank" >RIV/61989100:27510/09:00020782 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
SUPER-DUÁLNÍ PETRIHO SÍTĚ A JEJICH UPLATNĚNÍ PŘI MODELOVÁNÍ DISTRIBUOVANÝCH PROGRAMOVÝCH SYSTÉMŮ
Popis výsledku v původním jazyce
Super-duální Petriho sítě přinášejí oproti klasickým P/T Petriho sítím některé nové a originální koncepty, které lze s úspěchem využít při návrhu, modelování a verifikaci distribuovaných programových systémů. V příspěvku jsou prezentovány základní vlastnosti super-duálních Petriho sítí a zejména pak nové přístupy jejich nasazení při návrhu distribuovaných objektově-orientovaných programových systémů, jejichž hlavní myšlenkou je reprezentace aktivních objektů prostřednictvím značek míst (token) a pasivních objektů formou značek přechodů (poken) příslušné super-duální Petriho sítě.
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
D - Stať ve sborníku
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 statě ve sborníku
Tvorba Softwaru 2009
ISBN
978-80-248-2012-5
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
—
Název nakladatele
Vysoká škola báňská - Technická univerzita Ostrava
Místo vydání
Ostrava
Místo konání akce
Ostrava
Datum konání akce
20. 5. 2010
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—