12、分层有色 Petri 网中的实例折叠与模块参数化

分层有色 Petri 网中的实例折叠与模块参数化

1. 模块实例化基础

在构建分层有色 Petri 网（CPN）模型时，模块的实例化是在模型构建阶段完成的，即在对 CPN 模型进行仿真之前。这意味着在整个分层模型的仿真过程中，模块的实例数量是固定的，无法在仿真期间动态地实例化新的模块。

2. 含两个接收器的协议模型示例

2.1 初始模型构建

为了说明模块参数化和实例折叠这两种建模技术，我们考虑一个具有两个接收器的协议模型变体。原始模型中的网络位置 A、B、C 和 D 被拆分为八个位置：A1、B1、C1 和 D1 用于与接收器 1 通信，A2、B2、C2 和 D2 用于与接收器 2 通信。同时，引入了替换转换 Receiver1 和 Receiver2 来表示这两个接收器，并将它们与相应的网络位置相连。

2.2 各模块修改情况

• 协议模块 ：包含两个接收器的相关位置和连接关系。
• 发送器模块 ：修改后会将每个数据包广播给两个接收器，并且只有当输入位置包含来自两个接收器的相同确认信息时，ReceiveAck 转换才会发生。
• 网络模块 ：进行了修改以考虑八个网络位置。
• 接收器模块 ：未作修改，但不同实例的端口位置与不同的套接字位置相关联。

2.3 模型实例数量

此时，协议、发送器和网络模块各有一个实例，传输模块有四个实例，接收器