SYNC-PROC Composition Operator of P/T Petri Process Nets

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F15%3A86093577" target="_blank" >RIV/61989100:27510/15:86093577 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

SYNC-PROC Composition Operator of P/T Petri Process Nets

Popis výsledku v původním jazyce

Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of manufacturing systems. PPPA does not need to verify composition of Petri net processes because all their algebraic operators preservethe specified set of the properties. These original PPPA are generalized for the class of the P/T Petri process nets (PPPN) in this article. The new SYNC-PROC algebraic operator is defined for the class of PPPN and its chosen properties are proved. ThePPPN can be with the support of the SYNC-PROC composition operator easily applied into the area of design, simulation and verification of multithreading programming systems executed in parallel or distributed environment. This fact is then demonstrated on the simple example based on the Apache Hadoop Map/Reduce programming model used in the High Performance Computing environment for the "big data" processing.

Název v anglickém jazyce

SYNC-PROC Composition Operator of P/T Petri Process Nets

Popis výsledku anglicky

Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of manufacturing systems. PPPA does not need to verify composition of Petri net processes because all their algebraic operators preservethe specified set of the properties. These original PPPA are generalized for the class of the P/T Petri process nets (PPPN) in this article. The new SYNC-PROC algebraic operator is defined for the class of PPPN and its chosen properties are proved. ThePPPN can be with the support of the SYNC-PROC composition operator easily applied into the area of design, simulation and verification of multithreading programming systems executed in parallel or distributed environment. This fact is then demonstrated on the simple example based on the Apache Hadoop Map/Reduce programming model used in the High Performance Computing environment for the "big data" processing.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

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)

Rok uplatnění

2015

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ů

Název statě ve sborníku

Strategic Management and its Support by Information Systems 2015 : proceedings of the 11th international conference : May 21st-22nd, Uherské Hradiště, Czech Republic

ISBN

978-80-248-3741-3

ISSN

—

e-ISSN

—

Počet stran výsledku

11

Strana od-do

1-11

Název nakladatele

VŠB - Technical University of Ostrava

Místo vydání

Ostrava

Místo konání akce

Uherské Hradiště

Datum konání akce

21. 5. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—