模糊Petri网模型的反向推理算法

提出了一种建立在模糊Petri网的基本结构上的反向推理算法．通过建立模糊Petri网模型的关联矩阵、库所向量和变迁向量，运用矩阵运算的基本方法实现．通过该算法的运行，可以在模糊Petri网模型中抽取出一个子模型，从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理．采用数学运算的方法实现的反向推理算法简单，具有通用性，它适用于各种类型的模糊Petri网结构．对于其它的大系统生成子系统的问题，这种矩阵运算的方法也可以借鉴．同时对该算法中的矩阵运算和模型中的图形结构之间的关系进行了分析，讨论了算法的复杂性．     

闭环模糊Petri网系统

该文提出了一种新型的模糊Petri网—闭环模糊Petri网系统,它形成了一个闭环动态系统,开拓了原有模糊Petri网的应用领域,能更好地应用于经济系统等相互联系、相互影响、相互制约的系统中。首先给出模糊Petri网的定义及其运行规则,并引入了一个灵敏度向量,来刻画各个库所对外界刺激的反应程度,然后用代数矩阵运算来对该模糊Petri网的动态运行过程进行形式化描述,同时可以得到系统运行过程的全部状态值,最后给出实例进一步进行解释说明。     

Petri网不变式和状态方程的求解

不变式和状态方程的求解是Petri网分析中的基本问题. 研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式. 这些方法都是基于网关联矩阵的满秩分解. 讨论了Petri网系统状态方程存在整数解的条件,即可达性的一个必要条件. 该条件对于Petri网可达性分析有着重要的意义和价值.     

模糊Petri网的发展

模糊Petri网是Petri网与知识表达的结合,是从Petri网基础上扩展而来的。对模糊Petri网的一些发展状况作了概括。总结了模糊Petri网基本理论和近期的理论进展;指出了各种应用的发展热点和难点;指出模糊Petri网的研究方向、研究方法和它在各领域当中的应用;最后对模糊Petri网的未来发展作了总结。     

发送-接收问题的Petri网建模与验证

发送者-接收者(S-R)问题可以看作处理共享通道一个有代表性的问题.通过对文献[1]中模型的分析,结合Petri网的特点和网络环境下的系统,给出了一个实用性更强、功能扩展的Petri网模型.该模型允许外部环境加以控制,允许接收者强制取消接收以及发送者(接收者)按定量模式工作,可解决远程控制,流量控制,提高在实际网络环境中的通信质量.建立与Petri网模型相关联的关联矩阵,并使用关联矩阵对模型进行了验证.     

基于Petri网的不确定时间工作流成本分析

为了实现对不确定时间工作流Petri网的成本控制,在原型Petri网的基础之上,基于模糊理论,通过建立模糊时间Petri网,实现对不确定性时间信息的全面描述.在考虑工作流具体运作的情况下,扩展模糊时间Petri网,设定定义在变迁集上的价格函数,从而提出不确定时间价格Petri网.而后规定了该网的化简规则和算法,并通过实例演算该流程.     

模糊Petri网的约简技术

该文作为Petri网系统的推广,模糊Petri网可以更有效地处理带有模糊信息的库所和变迁。首先通过库所变迁串联、变迁并联及库所并联等模式下的简化规则,约简模糊Petri网系统而不改变其动态行为。接着,给出按上述规则简化一个模糊Petri网故障诊断算例。     

MMS通信服务的Petri网建模

制造报文规范是一套用于工业控制系统的通信协议,本文从多种形式化分析工具中,选定Petri网对MMS通信服务进行描述、分析和验证,详细给出了操作员通信服务的Petri网模型,并通过可达图和关联矩阵完成了可达性和不变性的分析.最后提出了OSI的网络分层,为MMS的有色随机Petri网模拟,从而进行性能评估提供了思路.本文对于更深入地理解MMS通信服务并逐步加以实现具有重要意义.     

基于加权模糊Petri网的电子电路故障诊断

提出了一种适用于电子电路故障诊断的加权模糊Petri网,给出了用加权模糊Petri网表示电子电路故障诊断模糊知识的方法及故障诊断过程中的反向推理算法。     

基于模糊Petri网的模糊推理算法

运用模糊Petri网进行模糊推理,有利于知识表示结构化,推理过程清晰化,且具有高度的并行处理能力,但在现实世界中无法直接确定命题的真实程度.该文利用相似度原理以及连续函数对模糊Petri网作标识,根据带标识的模糊Petri网变迁触发规则得到系统输出.此外,当知识库所中增加新的规则,只须在原有的模糊Petri网中增加相应结点,对原来专家系统中知识维护有较大的帮助.     

进程网建模工具的设计与实现

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.     

对一个 Petri 网进程表达式的探讨

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

基于工作流的安全库所替换网特性研究

基于Petri网的替换运算,提出基于工作流网的库所替换规则,并定义工作流安全库所替换网,进而研究基于稳固工作流的安全库所替换网系统对替换前的Petri网系统特性的保持性问题,研究表明:用稳固工作流网对原Petri网系统的安全库所进行替换之后,得到的替换网系统能保持原网系统的活性、有界性、可回复性;同时,若原Petri网系统是安全的,则替换网系统是有界的,但是由于工作流网本身不具备公平性、持续性等性质,替换网系统不能保持原Petri网系统的公平性和持续性.     

一类自动制造系统Petri网的设计方法

根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Ｐｅｔｒｉ网的一种综合方法，为研究复杂系统Ｐｅｔｒｉ网的设计理论提供了很好的基础。     

工作流网合成规则及其在流程设计中的应用

针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法．在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性．使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则．     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

基于扩展Petri网的PPCES建模研究

针对Job—shop型生产系统中NP难度的调度问题，利用生产计划与控制专家系统(PPCES)进行启发式搜索，根据Petri网建模原理及PPCES的推理需要，对生产系统建模，定义了一类扩展有色、时间Petri网．实践证明，这种方法不仅可以在增强模型描述能力的同时有效地降低其复杂度，还可以应用专家系统领域的知识指导系统进行冲突消解，从而避免了常规分析方法所带来的组合爆炸问题．     

Dynamic properties of fuzzy Petri net model and related analysis

Fuzzy Petri net(FPN) has been extensively applied in industrial fields for knowledge-based systems or systems with uncertainty.Although the applications of FPN are known to be successful,the theoretical research of FPN is still at an initial stage.To pave a way for further study,this work explores related dynamic properties of FPN including reachability,boundedness,safeness,liveness and fairness.The whole methodology is divided into two phases.In the first phase,a comparison between elementary net system(EN_system) and FPN is established to prove that the FPN is an extensive formalism of Petri nets using a backwards-compatible extension method.Next,current research results of dynamic properties are utilized to analyze FPN model.The results illustrate that FPN model is bounded,safe,weak live and fair,and can support theoretical evidences for designing related decomposition algorithm.