SWS Academic Research eLibraryEarth & Planetary Sciences

Scholarly record

ASYNC-CALL OPERATION OF P/T PETRI MULTIPROCESS MULTINETS AND ITS PROPERTIES

Ivo Martinik

First published: 2017-06-20https://doi.org/10.5593/sgem2017/21/s07.019View metrics

Abstract

Petri nets is one of mathematical modeling languages for the description of all kind of parallel systems. The new class of P/T Petri multiprocess multinets (PPMM) and its ASYNC-CALL operation are introduced in this article and their base characteristic of the well-formed property is proved. PPMM then generalize the definitions of the bi-relational P/T Petri nets and the P/T Petri process nets and their operators that follows from the base ideas of Petri net processes and their property-preserving Petri net process algebras (PPPA). PPPA does not need to verify the composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. The PPMM with the support of the ASYNC-CALL operation can be easily applied into the area of design, simulation and verification of multithreading programming systems based on the actor model of object-oriented programming, where all object are modeled as independent computational entities (i.e., active objects) that only respond to the received messages. This fact is demonstrated on the simple example of the client-server programming system executed in the distributed environment.

Publication Impact Profile

PlumX
  • Citations
  • Scopus - Citation Indexes: 1
  • Captures
  • Mendeley - Readers: 2
PLUMX see details

Publication details

Title
ASYNC-CALL OPERATION OF P/T PETRI MULTIPROCESS MULTINETS AND ITS PROPERTIES
Authors
Ivo Martinik
Proceedings
SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 17th International Multidisciplinary Scientific GeoConference SGEM2017, Informatics, Geoinformatics and Remote Sensing
Publisher
STEF92 Technology
Year
2017
Pages
141-152
SWS Citekey
Martinik20177141152
ISSN
1314-2704
ISBN
978-619-7408-01-0
Language
en
Publication type
Conference Paper
Keywords
P/T Petri multiprocess multinetASYNC-CALL operationwell-formed multiprocess multinetproperty preservationparallel systems modeling
References0
0references registered for this publication

Structured references will appear here after the reference import pass. The count is preserved now so the scholarly record is not incomplete.

View or Download full articleAccess options
Full paper accessChoose SWS login, librarian support, or instant article download.

SWS access login

Login as SWS Scientific Committee

Authors and approved SWS contributors will read and export their own linked papers after identity matching by SWS profile, email and SGEM GlobalID.

For librarian assistance: [email protected]

Purchase Instant Access

48-hour online accessComing soon
Online-only accessComing soon
Download the full article in PDF formatEUR 35
  • Article can be downloaded after successful payment.
  • Article may be used according to SWS library access terms.
  • Article cannot be redistributed.
Get full paper

Back to publication list