31、移动对象网：实现分布式命名空间中的移动性建模

移动对象网：实现分布式命名空间中的移动性建模

1. 引言

在分布式系统中，移动代理的行为建模是一个重要的研究领域。对象网（Object Nets）作为一种强大的建模工具，在处理分布式系统中的并发和移动性方面具有很大的潜力。本文将介绍移动对象网（Mobile EOS）的相关概念和技术，包括其定义、性质以及与传统对象网（EOS）的关系，并探讨其在分布式命名空间中的应用。

2. EOS的命名空间

在使用EOS定义系统网时，建筑物的网络结构可能无法达到预期的含义。EOS的 firing 规则将每个位置视为一个单独的命名空间。为了实现更灵活的命名空间，我们定义了一个移动系统，将系统网分解为位置（命名空间）和移动部分。

• 位置子网 ：位置是系统网的子网 $L = (P_L, T_L, pre_L, post_L)$，其中 $P_L \subseteq P$，$T_L \subseteq T$，$pre_L = pre| {T_L,P_L}$，$post_L = post| {T_L,P_L}$。不同的位置子网是不相交的。
• 移动转换 ：位置子网通过转换 $T_m \subseteq T$ 连接，这些转换描述了从一个位置到另一个位置的移动。

以下是一个位置基础设施的定义：
- 定义4 ：位置基础设施是一个元组 $LS = (L, N_m)$，其中：
- $L$ 是一个有限的不相交网络集合，称为位置，$L = (P_L, T_L, pre_L, pos