Showing 1–1 of 1 results for author: Chrobot, S

Communication Dualism in Distributed Systems with Petri Net Interpretation

Authors: Stanisław Chrobot, Wiktor B. Daszczuk

Abstract: In the paper notion of communication dualism id formalized and explained in Petri net interpretation. We consider communication dualism a basic property of communication in distributed systems. The formalization is done in the Integrated Model of Distributed Systems (IMDS) where synchronous communication, as well as asynchronous message-passing and variable-sharing are modeled in a common framewor… ▽ More In the paper notion of communication dualism id formalized and explained in Petri net interpretation. We consider communication dualism a basic property of communication in distributed systems. The formalization is done in the Integrated Model of Distributed Systems (IMDS) where synchronous communication, as well as asynchronous message-passing and variable-sharing are modeled in a common framework. In the light of this property, communication in distributed systems can be seen as a two-dimensional phenomenon with passing being its spatial dimension and sharing its temporal dimension. Any distributed system can be modeled as a composition of message-passes asynchronous processes or as a composition of variable-sharing asynchronous processes. A method of automatic process extraction in Petri net interpretation of IMDS is presented. △ Less

Submitted 22 October, 2017; originally announced October 2017.

Comments: 14 pages, 4 figures, Appendix with proofs of some lemmas

MSC Class: 68Q85 ACM Class: F.1.1

Journal ref: Theoretical and Applied Informatics vol. 4/2006, pp. 261-278, ISSN: 1896-5334