HOME
Full Articles List
Search by Author
Title: ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS
BibTex 
Open this article in the author's DB |
|
ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
1314-2704
|
|
|
|
||
|
|
English
|
|
|
|
18
|
|
|
|
2.1
|
|
|
|
|
|
|
|
||
|
|
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.
|
|
|
|
conference
|
|
|
|
||
|
|
||
|
|
18th International Multidisciplinary Scientific GeoConference SGEM 2018
|
|
|
|
18th International Multidisciplinary Scientific GeoConference SGEM 2018, 02-08 July, 2018
|
|
|
|
Proceedings Paper
|
|
|
|
STEF92 Technology
|
|
|
|
International Multidisciplinary Scientific GeoConference-SGEM
|
|
|
|
Bulgarian Acad Sci; Acad Sci Czech Republ; Latvian Acad Sci; Polish Acad Sci; Russian Acad Sci; Serbian Acad Sci & Arts; Slovak Acad Sci; Natl Acad Sci Ukraine; Natl Acad Sci Armenia; Sci Council Japan; World Acad Sci; European Acad Sci, Arts & Letters; Ac
|
|
|
|
35-46
|
|
|
|
02-08 July, 2018
|
|
|
|
website
|
|
|
|
cdrom
|
|
|
|
499
|
|
|
|
Multiprocess Petri multinets with time stamps; ASYNC-CALL operation; proper-formed multiprocess multinet; property preservation; active objects
|
|
Download PDF