MODELLING OF DISTRIBUTED PROGRAMMING SYSTEMS WITH USING OF PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRAS AND P/T PETRI NET PROCESSES

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F13%3A86086419" target="_blank" >RIV/61989100:27510/13:86086419 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

MODELLING OF DISTRIBUTED PROGRAMMING SYSTEMS WITH USING OF PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRAS AND P/T PETRI NET PROCESSES

Popis výsledku v původním jazyce

Petri nets represent popular formalism and methodology for the design and development of all kind of parallel or concurrent systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of the manufacturing systems. The elements of PPPA are the Petri net processes and among other features PPPA does not need to verify composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are generalized for the newly introduced class of the P/T Petri nets processes, additional PPPA composition operator SYNC-CALL is defined and its chosen properties are proved in this article. The PPPA can be then with the support of the SYNC-CALL operator easily extended also into the area of design, simulation and verification of multithreading programming systems executed in parallel or distributed environment and based on the objectoriented programming paradigma.

Název v anglickém jazyce

MODELLING OF DISTRIBUTED PROGRAMMING SYSTEMS WITH USING OF PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRAS AND P/T PETRI NET PROCESSES

Popis výsledku anglicky

Petri nets represent popular formalism and methodology for the design and development of all kind of parallel or concurrent systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of the manufacturing systems. The elements of PPPA are the Petri net processes and among other features PPPA does not need to verify composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are generalized for the newly introduced class of the P/T Petri nets processes, additional PPPA composition operator SYNC-CALL is defined and its chosen properties are proved in this article. The PPPA can be then with the support of the SYNC-CALL operator easily extended also into the area of design, simulation and verification of multithreading programming systems executed in parallel or distributed environment and based on the objectoriented programming paradigma.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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í

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ů

Název statě ve sborníku

ICIA 2013 proceedings : the Second International Conference on Informatics &amp; Applications (ICIA2013) : Lodz University of Technology, Poland, Sept. 23-25, 2013

ISBN

978-1-4673-5255-0

ISSN

—

e-ISSN

neuvedeno

Počet stran výsledku

6

Strana od-do

258-263

Název nakladatele

IEEE

Místo vydání

Piscataway

Místo konání akce

Lodž

Datum konání akce

23. 9. 2013

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

WRD - Celosvětová akce

Kód UT WoS článku

—