44、基于场景的抑制器网合成区域理论及模糊 Petri 网在语义 Web 服务发现中的应用-优快云博客

本文链接：https://blog.youkuaiyun.com/mars5/article/details/149545775

基于场景的抑制器网合成区域理论及模糊 Petri 网在语义 Web 服务发现中的应用

1. 抑制器网合成区域理论概述

在研究 pt - i 网行为描述时，引入了分层语言的区域概念。给定分层语言 L，利用这些区域能够定义关于 L 的饱和可行 pt - i 网 (N, m0)。该网的执行集 L(N, m0) 包含 L，并且在满足此性质的情况下尽可能小。从理论角度来看，这种方法令人满意地解决了合成问题，但实际算法方面还有待进一步研究。

这种方法同样适用于 pt - i 网的后验语义，其基于非顺序场景的行为由偏序语言（LPO）描述。对于偏序语言关于 pt - i 网的区域定义，可以从文献中不指定抑制弧的偏序语言区域开始，然后为每个节点分配抑制器值。这些抑制器值是 LPO 节点经典前缀的所有最终标记的最大值，不过这里需要对最终标记使用稍有不同的定义。

此外，还可以将所提出的区域定义应用于其他不太通用的抑制器网类，如具有未加权抑制弧的 p/t 网和具有抑制弧的基本网。对于基本网，需要注意由区域定义的位置在 LSO 的每个中间状态中携带的令牌不能超过一个。这可以通过仅允许前缀的最终标记 ≤1 来确保，类似于抑制弧的定义机制。

对于产生相同步序列语言的步转换系统和分层语言，比较具有抑制弧的基本网的区域定义与其他文献中的定义会很有趣。由于多个不同的步转换系统可能定义相同的步序列语言，因此它们之间的关系并不明显。总体而言，本文提出的思想对于考虑其他基于 so - 结构的网类（如具有读弧、优先级、重置弧等的网）以及在概念上与抑制器网相似的网类（如基本网和具有容量的网）的合成问题也很有用。