ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F18%3A10239048" target="_blank" >RIV/61989100:27510/18:10239048 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS
Original language description
Petri nets is the well-known mathematical tool for the modeling and verification of parallel systems of all kind. Multiprocess Petri multinets with time stamps (MPTSM) are the newly introduced class of low-level Petri nets, whose definition and the properties are the main topic of this article; they generalize the properties of P/T Petri multiprocess multinets in the area of design, modeling and verification of generally parallel programming systems with the discrete time. The MPTSM with the support of the ASYNC-CALL operation can be then applied into the area of modeling and verification of multithreading programming systems based on the actor model of object-oriented programming, where all object are represented as independent computational entities with discrete time (i.e., active objects) that only respond to the received messages. This fact will be then demonstrated on the simple example of the programming system based on the client-server architecture that is operated in the distributed system environment where all the actors are synchronized in time with the unique central time source.
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
2018
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
18th International Multidisciplinary Scientific GeoConference : SGEM 2018 : conference proceedings : 2 July - 8 July, 2018, Albena, Bulgaria. Volume 18, Issue 2.1
ISBN
978-619-7408-39-3
ISSN
1314-2704
e-ISSN
neuvedeno
Number of pages
12
Pages from-to
35-46
Publisher name
STEF92 Technology Ltd.
Place of publication
Sofia
Event location
Albena
Event date
Jul 2, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—