PLACE_SUBST transformation of P/T petri process nets and its properties
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
PLACE_SUBST transformation of P/T petri process nets and its properties
Original language description
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.
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
2016
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
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
—
Number of pages
12
Pages from-to
504-515
Publisher name
Springer
Place of publication
Cham
Event location
Vilnius
Event date
Sep 14, 2016
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
000388720000045