分布式系统中通信二象性的 Petri 网解释
分布式、并行与集群计算
2017-10-24 v1
摘要
本文在 Petri 网解释下形式化并阐述了通信二象性的概念。我们将通信二象性视为分布式系统中通信的一个基本性质。该形式化工作在分布式系统集成模型（IMDS）中完成，该模型在统一框架内对同步通信、异步消息传递和变量共享进行建模。基于这一性质，分布式系统中的通信可被视为一种二维现象：传递是其空间维度，共享是其时间维度。任何分布式系统均可建模为消息传递异步进程的组合，或变量共享异步进程的组合。本文提出了一种在 IMDS 的 Petri 网解释中自动提取进程的方法。
引用
@article{arxiv.1710.07907,
title = {Communication Dualism in Distributed Systems with Petri Net Interpretation},
author = {Stanisław Chrobot and Wiktor B. Daszczuk},
journal= {arXiv preprint arXiv:1710.07907},
year = {2017}
}
备注
14 pages, 4 figures, Appendix with proofs of some lemmas