SYNC-CALL Composition Operator of Proper-ty-preserving Petri Net Process Algebra
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%3A86086161" target="_blank" >RIV/61989100:27510/13:86086161 - 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
SYNC-CALL Composition Operator of Proper-ty-preserving Petri Net Process Algebra
Popis výsledku v původním jazyce
Petri nets represent popular formalism and methodology for the development of information systems and generally of all kind of parallel or concurrent systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specifi-cation and verification of manufacturing systems. Among other features, PPPA does not need to verify composition of Petri net processes because all their algebraic operators preserve the spec-ified set of the properties. In this article the additional PPPA op-erator SYNC-CALL is defined and its chosen properties are proved. With the support of this operator the PPPA can be easily extended also to the area of design, simulation and verification of multithreading programming systems executing in parallelor distributed environment and based on functional or object-oriented paradigms.
Název v anglickém jazyce
SYNC-CALL Composition Operator of Proper-ty-preserving Petri Net Process Algebra
Popis výsledku anglicky
Petri nets represent popular formalism and methodology for the development of information systems and generally of all kind of parallel or concurrent systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specifi-cation and verification of manufacturing systems. Among other features, PPPA does not need to verify composition of Petri net processes because all their algebraic operators preserve the spec-ified set of the properties. In this article the additional PPPA op-erator SYNC-CALL is defined and its chosen properties are proved. With the support of this operator the PPPA can be easily extended also to the area of design, simulation and verification of multithreading programming systems executing in parallelor distributed environment and based on functional or object-oriented paradigms.
Klasifikace
Druh
D - Stať ve sborníku
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 statě ve sborníku
Proceedings of the 10th International Conference on Strategic Management and its Support by Information Systems 2013 : 29th - 30th August, Valašské Meziříčí, Czech Republic
ISBN
978-80-248-3096-4
ISSN
—
e-ISSN
—
Počet stran výsledku
12
Strana od-do
103-114
Název nakladatele
VŠB - Technická univerzita Ostrava
Místo vydání
Ostrava
Místo konání akce
Valašské Meziříčí
Datum konání akce
29. 8. 2013
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
000324842000010