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

基于场景的抑制器网合成区域理论及模糊 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 - 结构的网类(如具有读弧、优先级、重置弧等的网)以及在概念上与抑制器网相似的网类(如基本网和具有容量的网)的合成问题也很有用。

2. 合成问题的实际算法挑战

合成问题的实际算法解

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值