PLACE_SUBST transformation of P/T petri process nets and its properties

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F16%3A86097689" target="_blank" >RIV/61989100:27510/16:86097689 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-45378-1_45" target="_blank" >http://dx.doi.org/10.1007/978-3-319-45378-1_45</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-45378-1_45" target="_blank" >10.1007/978-3-319-45378-1_45</a>

Jazyk výsledku

angličtina

Název v původním jazyce

PLACE_SUBST transformation of P/T petri process nets and its properties

Popis výsledku v původním jazyce

Petri nets is one of mathematical modeling languages for the description of all kind of parallel systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of Petri net processes representing the manufacturing systems. PPPA does not need to verify the composition of 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 process nets (PTPN) in this article. The only one PLACE_SUBST transformation is defined for the class of PTPN and its chosen properties are presented. The PTPN can be with the support of the PLACE_SUBST transformation easily applied into the area of design, simulation and verification of multithreading programming systems executed in parallel or distributed environment. This fact is demonstrated on the simple example of the client-server distributed programming system. (C) IFIP International Federation for Information Processing 2016.

Název v anglickém jazyce

PLACE_SUBST transformation of P/T petri process nets and its properties

Popis výsledku anglicky

Petri nets is one of mathematical modeling languages for the description of all kind of parallel systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of Petri net processes representing the manufacturing systems. PPPA does not need to verify the composition of 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 process nets (PTPN) in this article. The only one PLACE_SUBST transformation is defined for the class of PTPN and its chosen properties are presented. The PTPN can be with the support of the PLACE_SUBST transformation easily applied into the area of design, simulation and verification of multithreading programming systems executed in parallel or distributed environment. This fact is demonstrated on the simple example of the client-server distributed programming system. (C) IFIP International Federation for Information Processing 2016.

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í

2016

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

Computer information systems and industrial management : 15th IFIP TC8 International Conference, CISIM 2016 : Vilnius, Lithuania, September 14-16, 2016 : proceedings

ISBN

978-3-319-45377-4

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

12

Strana od-do

504-515

Název nakladatele

Springer

Místo vydání

Cham

Místo konání akce

Vilnius

Datum konání akce

14. 9. 2016

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

EUR - Evropská akce

Kód UT WoS článku

000388720000045