74、弱时间Petri网与通用可测试性理论解析

弱时间Petri网与通用可测试性理论解析

在计算机科学的研究中，弱时间Petri网和通用可测试性理论是两个重要的研究方向。下面分别对这两个方面进行详细解析。

弱时间Petri网

弱时间Petri网在时间流逝的弱语义下，允许任意延迟转换。研究聚焦于不同记忆策略（中间、原子和持久原子）下其可达性和可表达性。

1. 中间与原子策略比较

   • TPN I 到 TPN A 的包含关系 ：对于强语义，曾有构造方法尝试将中间策略的时间Petri网（TPN）转换为原子语义的等效网，但该构造方法有误。以网 N3 和转换后的 N ′3 为例，在强语义下，按原构造应满足 N3I ≈ N ′3A，但实际上在 N ′3A 中 2 个时间单位后可读取字母 c，而在 N3I 中却不行，证明构造错误。这使得强语义下 TPN I 到 TPN A 的包含关系仍未明确，弱语义下此包含关系也未确定。
   • TPN A 到 TPN I 的非包含关系 ：存在具有原子语义的 TPN 无法用具有中间语义（弱时间流逝）的 TPN 等效表达。以 TPN N1 为例，在弱原子语义下，a 标记转换的触发不会新启用 c 标记的转换，而这在中间语义中无法实现。

2. 结论

   • 可达性与可判定性 ：对于中间记忆策略，可达标记集与底层无时间Petri网的可达集一致，因此许多验证问题对于弱中间T