SYNC-CALL operation of P/T petri process multinets
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F17%3A10235935" target="_blank" >RIV/61989100:27510/17:10235935 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
SYNC-CALL operation of P/T petri process multinets
Original language description
Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of manufacturing systems. PPPA does not need to verify composition of Petri process nets because all their algebraic operators preserve the specified set of the properties. We will generalize the class of P/T Petri process nets and their SYNC-PROC (SYN-Chronous- PROCedure) PPPA binary operator with the new special class of the P/T Petri process multinets (PPMN) and their SYNC-CALL operation and prove its base characteristic of the properly termination property in this article. This new class of PPMN with the support of SYNC-CALL operation can be then successfully used in the area of design, simulation and verification of programming systems executed in distributed or parallel environment. This fact is then demonstrated on the simple example of the distributed programming system based on the client-server architecture.
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)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2017
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 12th International Conference on Strategic Management and its Support by Information Systems: May 25th-26th, 2017, Ostrava, Czech Republic
ISBN
978-80-248-4046-8
ISSN
2570-5776
e-ISSN
neuvedeno
Number of pages
12
Pages from-to
377-388
Publisher name
VŠB - Technical University of Ostrava
Place of publication
Ostrava
Event location
Ostrava
Event date
May 25, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000417344100043