基于知识Petri网的机器人装配规划

本文介绍了知识Ｐｅｔｒｉ网（ＫＰＮ）的基本概念，在柔性装配系统（ＦＡＳ）中的基于ＫＰＮ的机器人规划的硬件环境和任务，以及用ＫＰＮ为机器人装配规划建模和它的运行。文中详细论述了如何建立邻接矩阵，构造与／或树图，建立邻接链表，构造ＫＰＮ，以及最后如何运行ＫＰＮ。     

FCRP网：机器人规划的赋时有色网实现*

针对流演算无法表示动作执行时间和进行动态规划的问题,提出了一种基于流演算的表示机器人规划的赋时有色网实现方法——BFRP网(A representation based on Fluent Calculus for robot plan),BFRP网采用双向搜索策略来生成动作序列,并提出了一种BFRP网系统的构造方法,此BFRP网系统不仅能形式化地描述动作、状态以及动作和状态之间的关系,而且能动态地规划出实现目标的动作序列并计算执行动作序列所需时间。最后,对办公室环境规划实例进行了建模和仿真,结果证明了BFRP网系统作为一种机器人规划系统的可行性。     

基于识别Petri网的机器人装配规划

本文介绍了知识Ｐｅｔｒｉ网（ＫＰＮ）的基本概念，在柔性装配系统（ＦＡＳ）中的基于ＫＰＮ的机器人规划的硬件环境和任务，以及用ＫＰＮ为机器人装配规划建模和它的运行，文中详细论述了如何建立邻接矩阵，构造与／或树图，建立邻接链表，构造ＫＰＮ，以及最后如何运行ＫＰＮ。     

利用谓词/变迁网证明的一阶谓词逻辑命题

研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法：图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。     

基于着色Petri网的工作流建模

为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适台于工作流的事件一条件一动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。     

基于变迁指标的Petri网分解方法

通过定义Petri网变迁的指标函数,给出一种基于变迁指标的Petri网分解方法,通过分解得到子网系统均为结构简单的T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系。并且证明了通过子网之间的共享合成可以得到原先的网系统,这为Petri网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。     

基于改进谓词/变迁网的飞行方式指示器模型研究

为实现空客320飞行仿真中的飞行方式指示器(Flight Mode Annunciator, FMA)仿真,面向离散事件系统,提出一种基于二阶谓词/变迁网的建模方法,并对FMA建模及仿真验证。分析FMA系统功能特点,确定其可用谓词/变迁网建模,但FMA每当飞行方式改变时附带的白色方框提示使传统谓词/变迁网模型繁杂而难以实现。为简化系统模型,在谓词/变迁网的基础上提出继发网,以此为基础定义了适用于离散事件系统的通用型二阶谓词/变迁网,以FMA为例进行了建模及仿真验证。实验结果表明,二阶谓词/变迁网解决了离散事件系统建模时“系统中每一次状态更新都会激活同一个新事件”带来的传统谓词/变迁网模型结构复杂问题,实现了空客320飞行仿真中的FMA仿真。     

基于加强学习的BDI Agent动作规划机制

为了确保BDIAgent在动态、复杂的环境中实现基于某目标的动作序列决策任务,使用与/或图描述了意图决策结构,此结构将目标与实现这些目标的计划联系起来。根据意图决策结构,提出了3种不同的基于加强学习的动作规划策略,分别是短视性BDIAgent的单步规划、具有远见的BDIAgent的多步规划和追求完美的BDIAgent的最优规划。与传统的BDIAgent系统相比,这种新的意图决策模式克服了计划抽象的不足,并且易于编程实现。     

基于T-图的复杂Petri网约简算法研究

为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法。根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证;在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化;最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致。实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法。     

基于本体的Petri网模型转换方法

在现有的UML到Petri网模型转化规则的基础上,引入本体将其作为各种模型到Petri网模型之间转化的桥梁,研究各种模型到Petri网的通用转化方法.为每个模型包括Petri网模型建立本体,再根据基于分类树的本体映射建立模型转化步骤.通过计算不同模型中概念的相似度建立不同模型中概念的对应关系,完成模型转化.     

面向代数规约测试谓词/变迁网

针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.     

结合业务流程再造的企业系统规划法

开发一个良好的信息系统首先需要一个好的规划,针对传统的企业系统规划法的一些缺点,提出了一种改进的方法,即结合业务流程再造的企业系统规划法。该方法利用Petri网对工作流程进行仿真再造,最终分离出业务流程中的各个企业过程,在实际应用中已经取得了理想的效果。     

基于M-Petri网的活性研究

文章给出了M－Petri网的概念,并对其活性进行分析,给出了几个判定 M－Petri网活的条件。     

基于Petri网的构件软件系统可靠性研究

近年来,构件软件系统已成为软件工程领域的研究热点以及大型软件系统与软件产品线进行开发的关键技术之一。对构件软件系统的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的系统架构是整个软件系统的基础。文章通过分析构件软件系统的特征和可靠性因素,提出了一种基于Petri网的构件软件系统可靠性分析方法,对构件软件系统的各因素的可靠性进行分析评估,从而推导出整个构件软件系统的可靠性,并在开发后期对构件软件系统可靠性进行改进。     

基于Petri网的动态建模技术的研究

Petri网是一种适合于描述异步并发现象的计算机系统模型。本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性。本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法。     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是,传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网,结合工作流本身的特点,对Petri网进行扩展,提出了一种描述工作流模型的新方法--信息控制Pettri网,并给出其表示工作流模型的正确性定义和验证。     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.