SYNC-PROC Composition Operator of P/T Petri Process Nets
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
SYNC-PROC Composition Operator of P/T Petri Process Nets
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Research team for modelling of economic and financial processes at VSB-TU Ostrava</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
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
—
Number of pages
11
Pages from-to
1-11
Publisher name
VŠB - Technical University of Ostrava
Place of publication
Ostrava
Event location
Uherské Hradiště
Event date
May 21, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—