一种基于Petri网表示的自动规划方法和算法

本文提出一种利用Petri网进行机器人装配规划的方法。文章主要讨论装配问题的Petri网表示问题并给出了基于该表示方法的规划算法,这个规划算法也可以应用于其它规划问题。     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

一种基于不确定Petri网的推理算法

传统的Petri网运用确定的信息进行推理,而现实生活中存在大量不精确的、不确定的信息.在采用模糊Petri网模型解决此类问题时,可能会使一个能够发生的命题被判断成不会发生,从而出现错误的结果.不确定理论是解决主观不确定性问题的数学工具.本文结合不确定理论与Petri网,提出不确定Petri网模型,用于表示不确定产生式规...     

产生式知识表示的Petri网模型及其推理规则

为了使由产生式规则的构成的知识库系统更加具有完整性,更好地反映规则的内部逻辑,根据Ｐｅｔｒｉ网的基本原理,在产生式规则和Ｐｅｔｒｉ网的条件／事件系统之间建立一致性关系,在此基础上提出了一种产生式知识表示的Ｐｅｔｒｉ网络模型及其相应的推理规则,详细说明了模型的构成原理和构造过程,并结合实例就该模型及推理规则的科学性和实用性进行了说明。     

基于默认推理的加权模糊Petri网模型

在实际推理过程中，默认推理是一种重要的手段或方法．提出了一种基于默认推理的加权模糊Petri网模型．在现有的九元组模型基础上增加了变迁的输入库所最小权重的阈值函数C这一模型参数，此参数由专家根据变迁的不同实际意义来取值．分别对三种基本的模糊产生规则进行分析，讨论C的取值，并在此基础上给出了相应的默认推理算法．最后，通过实例说明此模型可以很好的用于默认推理，且推理算法简单、直观，更贴近现实推理并可以提高推理效率．     

一种基于有色Petri网的网格工作流模型

给出了一种基于有色Petri网的网格服务工作流模型——有色服务流程网（Colored Service Flow Net）,在此基础之上分析并提出服务流水线（service Pipelining）的概念．该模型将图像数据传输作为服务运行的触发条件,提高了服务流程处理的效率,减少了用户作业的执行时间．     

情态演算在行动推理中的应用

情态演算是专门设计来表示动态变化世界的一个二阶多类语言，它可作为描述动态系统的一个工具，在行动推理的应用中显示出其强大的表示能力和实现能力．在情态演算中，可以对行动进行公理化，可以描述行动的时间性、并发性及agent的信念和知识，可用Prolog实现在开放世界中带有感知行动的规划．讨论并介绍与这些应用有关的基本概念、思想，方法和最新的一些研究成果。     

故障诊断的模糊Petri网模型

针对故障诊断系统知识具有不稳定性和模糊性的特点，给出了Petri网的定义和故障诊断的模糊Petri网模型，并以实际故障诊断为例，说明了该模型具有直观，表达能力强和易于推理的优点。     

规则Petri网的推理策略的研究

本讨论了规则Petri网的可交换性，给出了规则Petri网的三种推理策略以及并行推理和冲突仲裁的推理方法。     

用有色Petri网模型进行电力系统结线分析

提出了一种可用于电力系统结线分析的有色Petri网方法。该方法以元件和开关状态构造的有色Petri网为核心 ,用令牌的流动来确定电力系统结线分析的网络结线 ,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析 ,表明该方法的可行性及有效性     

基于有色Petri网模型的OSPF路由性能分析

在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫”协议和“可靠泛洪”机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.     

基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

基于Petri网模型控制的步行机器人的自由步态

为解决步行机器人在复杂环境下的运动问题 ,根据步行运动的特点 ,提出了单腿运动的 Petri网控制模型 ,又以5足步行机为例 ,建立了与其腿数相对应的多腿协调控制模型 ,并制定了相应的控制策略。在此基础上 ,重新提出了有关步行机器人自由步态的有关概念及其运动规划算法 ,定义了保持静稳定行走状态的运动条件和判断方法。最后对 5足步行机在平面不连续落足区内的跨沟运动进行了仿真。仿真结果表明 ,提出的运动控制模型和自由步态能够自动适应运动环境 ,实现离散地形下的步行运动     

多线程数据通信系统的Petri网建模

根据多线程数据通信系统的设计需求,建立数据传送模块的Petri网模型.运用模型对数据传输过程所涉及的线程之间的同步协作、线程对共享资源的独占性存取、线程启动与结束时机判断等问题做模拟分析,并给出通信数据队列的多线程软件解决方案.该方案可以提升多线程串行通信程序的安全性和运行的稳定性.     

一个基于HOOPN的Petri网模型及其应用

介绍了面向对象的层次Petri网HOOPN的基本定义、语法和图形表示。HOOPN支持主要的面向对象的特征，包括抽象、封装、模块化对象、继承和多态。HOOPN可以展开至下一层Petri网，从而支持系统设计的渐增模式。使用HOOPN建立了一个信息系统的模型，验证了HOOPN对面向对象特征的支持，并为一个企业信息应用系统和业务过程建模提供了范例。     

基于着色Petri网的工作流模型研究与应用

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性。     

基于带抑制弧时间Petri网的CNC软件模型

提出了一个扩展的时间Petri网———带抑制弧时间Petri网.该网中以抑制弧结合时延变迁来描述实时系统中的中断功能;运用所提出的带抑制弧时间Petri网建立了前后台结构模式的CNC(computernumericalcontrol)软件模型;应用所建立的模型,采用等误差直线逼近法加工一段曲率半径较小的曲线轮廓,对CNC软件中各个任务的时序逻辑进行了分析,并给出了时序分析结果.结果表明,无须对软件进行实际的运行测试,只需要知道CNC软件的时间参数和结构以及控制要求,就可以运用所建立的模型,正确地对该类CNC软件进行时序逻辑分析,评估CNC软件的控制性能.所提出的模型为在CNC软件总体设计阶段就能对其进行时序逻辑分析,为评估CNC软件的控制性能提供了方法和工具.