15、带步长触发策略的网络综合

带步长触发策略的网络综合

1. 引言

Petri网的并发行为在将顺序触发规则替换为步长触发规则后出现，根据该规则，多个转换以及一个转换的多个实例可以在一个步骤中触发。此时，网的顺序可达图会被其步长可达图所取代，步长可达图是步长转换系统的一个特殊情况。

步长序列语义在Petri网和其他并发模型领域所研究的模型语义谱中处于中间位置。它比易于定义的完全顺序语义更现实，因为它记录了不同动作的并发执行情况，但比复杂得多（且往往不太清晰）的因果语义精确性要低。然而，无约束的步长语义从模拟和建模应用的角度来看既不实用又粗糙。它不实用是因为在给定标记下，可能启用的步骤数量会呈指数级爆炸；它粗糙是因为它不能直接捕捉许多相关的行为特征。

过去，步长语义的缺点部分通过引入各种最大并发语义以及优先级顺序得到了解决。例如，在INA等工具中，只有单个或最大步骤可用于模拟。此外，最大步长触发规则用于对定时网的行为进行建模，局部最大步长触发规则用于对膜系统进行建模。

Petri网的步长语义是一种有用的建模方法，它比纯顺序语义更具表现力，也比偏序语义更实用。但目前，由于可能步骤的组合爆炸以及缺乏对行为的精细调整支持，这种折衷无法完全实现。本文的第一个关注点是通过引入步长触发策略来解决这个问题，该策略用于控制步长语义，限制Petri网在给定标记下资源启用的步骤集。

本文的第二个关注点是研究带步长触发策略的网的综合问题。基本的Petri网综合问题是确定给定的转换系统是否可以由具有单射标记转换的Petri网实现。根据网的类别和为这些网定义的行为，该问题有多种版本。

1.1 步长触发策略的引入

步长触发策略是在τ - 网的基础上定义的，τ