14、网络变换与令牌触发的独立性研究

网络变换与令牌触发的独立性研究

1. 研究背景与问题提出

在多智能体系统、动态过程挖掘或移动网络等领域，对Petri网的动态变化进行形式化描述十分重要。以往对于P/T系统两个触发步骤的独立性条件（即无冲突）已有研究，且与图或网络变换的局部Church - Rosser性质密切相关。同时，也有针对两个变换步骤在高层替换系统中应用于网络变换的独立性条件研究。然而，目前尚不清楚网络变换步骤和令牌触发步骤在何种条件下相互独立。

具体而言，给定一个P/T系统代表特定的系统状态，系统的下一个演化步骤既可以通过令牌触发实现，也可以通过应用可用规则达成。因此，我们关心这些演化步骤能否以不同顺序执行而得到相同结果。

2. 移动网络场景示例

以考古灾害/恢复场景为例，地震后，由团队领导带领的团队配备移动设备（笔记本电脑和PDA）前往受灾地区，评估考古遗址和危险建筑的状况，目标是绘制情况地图以安排重建工作。该团队可视为一个整体的移动自组织网络，团队领导的设备通过提供合适信息（如地图、敏感对象等）并分配活动来协调其他团队成员的设备。

2.1 令牌触发示例

如图1所示，P/T系统(PN1, M1)通过触发转换“Select Building”计算后续标记，得到新的P/T系统(PN1, M′1)，随后可执行“Go to Destination”任务。

2.2 规则应用示例

为预测断开连接的情况，需要在系统中引入桥接设备的移动活动，即扩展工作流以包含跟随相机设备的任务。规则“prodfollow”可用于此目的，其应用过程如下：
1. 首先删除“Go to Destination”和“Sen