SYNC-CALL Composition Operator of Proper-ty-preserving Petri Net Process Algebra
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F13%3A86086161" target="_blank" >RIV/61989100:27510/13:86086161 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
SYNC-CALL Composition Operator of Proper-ty-preserving Petri Net Process Algebra
Original language description
Petri nets represent popular formalism and methodology for the development of information systems and generally of all kind of parallel or concurrent systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specifi-cation and verification of manufacturing systems. Among other features, PPPA does not need to verify composition of Petri net processes because all their algebraic operators preserve the spec-ified set of the properties. In this article the additional PPPA op-erator SYNC-CALL is defined and its chosen properties are proved. With the support of this operator the PPPA can be easily extended also to the area of design, simulation and verification of multithreading programming systems executing in parallelor distributed environment and based on functional or object-oriented paradigms.
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
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
Proceedings of the 10th International Conference on Strategic Management and its Support by Information Systems 2013 : 29th - 30th August, Valašské Meziříčí, Czech Republic
ISBN
978-80-248-3096-4
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
103-114
Publisher name
VŠB - Technická univerzita Ostrava
Place of publication
Ostrava
Event location
Valašské Meziříčí
Event date
Aug 29, 2013
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
000324842000010