5、非层次化有色Petri网与CPN ML编程基础

非层次化有色Petri网与CPN ML编程基础

1 非层次化有色Petri网基础

1.1 重传机制与时间无关性

在特定抽象层面，重传是否可能发生比何时发生更为重要。例如在执行数据包1的成功发生序列时，若选择 TransmitPacket 或 TransmitAck 的绑定使数据包或确认信息丢失（即 success=false ），则 SendPacket 将成为唯一可触发的转移，重传成为继续执行的唯一方式。当前的CPN模型未涉及时间因素，仅规定了重传的可能性，而未明确发送方在重传前应等待的时间。重要的是各种事件（绑定元素）可能发生的序列，目前暂不关注单个事件的持续时间和起止时间。

1.2 标记与数据包超越现象

有可能出现某个位置包含两个不同令牌的标记情况。例如，位置A可能存在多重集 1‘(1,"COL") ++ 1‘(3,"ED ") ，代表数据包1和3。此时， TransmitPacket 的变量 n 和 d 可以绑定为使 (n,d) 求值为 (1,"COL") 或 (3,"ED ") ，从而导致数据包3可能超越数据包1。类似情况也适用于位置B上的数据包以及位置C和D上的确认信息。

1.3 转移的保护条件

转移除了由输入弧表达式决定是否在给定标记下启用外，还可以有保护条件，这是一个布