基于逻辑混合Petri网的混合系统建模与分析

逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统.基于此,提出逻辑混合Petri网.首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式.其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程.再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,...     

基于Petri网的知识表示

介绍一种基于Ｐｅｔｒｉ网的知识表示方法。在引入Ｐｅｔｒｉ网的基本知识后，详细讨论了Ｐｅｔｒｉ网表示产生式系统及基于Ｈｏｒｎ逻辑子句的Ｐｅｔｒｉ网表示，提出了用库所表示产生式谓词，用变迁表示规则的Ｐｅｔｒｉ模型。最后讨论了将Ｐｅｔｒｉ网应用于ＯＯＡ（面向对象分析）模型的研究，从而提出一个基于Ｐｅｔｒｉ网的ＯＯＡ模型     

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

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

扩展颜色逻辑Petri网及其可达性分析

逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型的结构相同,则可以引入多个有色托肯,从而用一个子网模型表示多个子系统的并发过程。因此,提出了扩展颜色逻辑Petri网模型及其可达性分析方法。首先,为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。其次,通过定义颜色逻辑关联矩阵,给出了一步可达标识的计算公式以及可达树构造方法。最后,针对一个电子商务实例,分别用颜色逻辑Petri网和所提出的扩展颜色逻辑Petri网建立模型并进行比较分析,从而证明了提出的模型具有更简单的网结构,丰富了逻辑Petri网理论。     

基于PPTL的着色Petri网的模型检测方法

为了提高着色Petri网的描述及验证能力,提出了一种基于投影命题时序逻辑的着色Petri网的模型检测方法。通过构建投影命题时序逻辑公式的否定形式等价的Buchi自动机,将它与着色Petri网的可达图相积,通过检测检测乘积图的可接受语言是否为空,从而判断用时序逻辑公式描述的系统性质是否满足。利用投影命题时序逻辑公式具有更强的表达力,可以有效地提高着色Petri网系统的描述及验证能力。     

基于时延Petri网的并行程序的分析

在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的.时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割.给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础.     

基于Petri网的ACDB中规则终止性分析

介绍了基于TG和AG的主动数据库规则分析方法，提出了基于Petri网用EG(execite graph）分析规则的方法。     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

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

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

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

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

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

基于随机Petri网的资源竞争分析

文章以随机Petri网理论为基础,构建了在分布式控制系统中资源竞争环境下的排队网络模型,并通过一个应用实例对模型进行了定量分析;利用该模型对分布式系统设计进行了探讨,其估计算法可以较为全面的分析系统的性能,并能得到更为直观的综合信息。     

基于Petri网模型的航空兵仿真研究

研究了航空兵Petri网模型的多线程构建方法和多线程实现方法以及仿真主进程的结构.结果表明,该仿真系统的结构设定为六部分:即用户接口、信息库、仿真主系统、统计结果分析和运行调整部署机制.     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

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

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

基于一阶流体随机Petri网的回报建模

从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法．该方法既可用于建模马尔科夫随机系统，也可用于建模非马尔科夫随机系统．在一阶流体随机Petri网回报模型中，可建模率回报和冲量回报，并可允许累积回报影响被建模系统的动态行为以及回报率本身．