16、带步长触发策略的网络综合：原理、特性与构建

带步长触发策略的网络综合：原理、特性与构建

1. 步长触发策略概述

步长触发策略在并发（或异步）系统中扮演着重要角色，它是捕捉系统同步方面的一种方式。在介绍正式定义之前，通过几个示例来帮助理解不同类型的步长触发策略。

• 电子系统设计示例 ：在电子系统设计中，假设有两个请求转换 a 和 b ，由一个仲裁器服务，该仲裁器对一个不可共享的公共资源保持互斥。还有一个转换 m 代表对该仲裁器的测试动作。只有当仲裁器逻辑处于明确定义的二进制状态时，才能进行测试。因此，在系统的网络模型中，当 a 和 b 都被启用时，转换 m 不应被触发；否则， m 可以被触发。这种行为可以通过一个安全（或 1 有界）的 PT 网络系统以及相应的触发策略来实现。
• 最大并发规则示例 ：考虑一个步长转换系统，它不能通过任何 PT 网络或在通常基于资源的启用规则下执行的标准 Petri 网络来实现。但是，如果在最大并发规则下执行特定的 PT 网络，就可以得到目标步长转换系统。最大并发可以通过与多重集包含对应的预序来捕捉。

2. 步长触发策略示例

不同的预序关系可以诱导出各种步长触发策略，以下是一些具体示例：
| 示例类型 | 预序关系 | 策略描述 |
| ---- | ---- | ---- |
| 静态优先级示例 |