MODELLING OF DISTRIBUTED PROGRAMMING SYSTEMS WITH USING OF PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRAS AND P/T PETRI NET PROCESSES
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
MODELLING OF DISTRIBUTED PROGRAMMING SYSTEMS WITH USING OF PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRAS AND P/T PETRI NET PROCESSES
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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
2013
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
ICIA 2013 proceedings : the Second International Conference on Informatics & Applications (ICIA2013) : Lodz University of Technology, Poland, Sept. 23-25, 2013
ISBN
978-1-4673-5255-0
ISSN
—
e-ISSN
neuvedeno
Number of pages
6
Pages from-to
258-263
Publisher name
IEEE
Place of publication
Piscataway
Event location
Lodž
Event date
Sep 23, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—