基于模糊Petri网的规则推理优化算法(1)(2)
2013-12-03 01:18
导读：图3 类型一FPN结构和点燃机制 图4 类型二FPN结构和点燃机制 图5 类型三FPN结构和点燃机制 令pi,tk为FPN中的任一库所和变迁，如果Pi∈I(tk)，则称Pi是tk的最近
图3 类型一FPN结构和点燃机制
图4 类型二FPN结构和点燃机制
图5 类型三FPN结构和点燃机制 令pi,tk为FPN中的任一库所和变迁，如果Pi∈I(tk)，则称Pi是tk的最近逆向库所(Nearest Backward Place，NBP)，变迁tk所有的NBP的集合称为SNBP(tk)。如果Pi∈O(tk)，则称Pi是 tk的最近前向库所(Nearest Forward Place，NFP)，变迁tk所有的NFP的集合称为SNFP(tk)。若存在流关系，从变迁tk连向库所Pi，则称Pi为变迁tk的向前库所(Forward Place，FP)，变迁tS所有的FP集合称为 SFP(tk)。 实例二：如图6所示的FPN结构中，每个变迁的SNBP，SNFP及SFP如表1所示。
图6 实例二中的FPN结构表1 实例二中每个变迁的SNBP，SNFP及SFP
3 基于Petri网的前向推理优化算法 本节将给出一个优化的基于Petri网的前向推理算法。首先引入下面几个定义： 定义1 种子库所(Seed Place)：对于一个FPN中的库所Pi，若不存在tk，使得Pi∈SNFP（tk），则Pi为种子库所。 在推理过程中，要求种子库所的令牌值是已知的或由用户给出。通常推理过程都是由种子库所开始，因此也被称为起始库所(Starting Place)。 定义2 目标库所(Goal Place)：在一个FPN中我们通过流推理最终得到其令牌值的库所。 定义3 节点(Node)：节点ni=(Pi,W(Pi))，其中W(Pi)是库所Pi的令牌值。 定义4 已知节点集(Known Node Set，KNS)：若节点ni中的库所Pi的令牌值已知，则ni∈KNS。一个变迁点燃的前提条件是该变迁的SNBP能够在KNS中找到其对应的节点。共2页: 1 [2] 下一页 论文出处(作者):
流媒体QoS控制研究及实现
基于PKI的电子订单系统的应用研究
