Petri网替换运算

文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petfi网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。     

Petri网在工作流建模中的应用

Petri网是一种图形化、数学化的建模方法,尤其在办公自动化领域的系统建模,在描述和分析实现上有一定的优势。本文分析了工作流的运行模式,Petri网的工作流描述,并以印刷企业订单为例,实现基于Petri网的工作流建模方法。     

Petri网的叠加运算

本文提出Ｐｅｔｒｉ网的叠加运算，并讨论了它在环型系统和星型系统的分析与合成中的应用，得到一组有助于结构性质分析的充要条件和充分条件，本文的结果是文献［１］的进一步发展，在某些方面比文献［１］的结果要好。     

Petri网的组合并运算及性质

1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,对于合成复杂系统提供了很好的途径。文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文[3,4]定义了     

Petri网的笛加运算及性质研究

本文提出了Ｐｅｔｒｉ网的笛加运算、广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。     

基于Petri Nets的BDI Agent模型

Petri nets是一种图形和数学的建模工具,广泛应用于各种系统。它们主要描述和研究信息处理系统一些特点,如并发、异步、分布、并行、非确定和随机过程。为了更容易、方便、自然地描述agent系统,该文提出了面向agent的Petri nets分析方法。该方法主要对面向对象的Petri nets分析方法作了一些改进。最后给出了基于Petri nets的BDI agent实现模型。     

Petri网在通信网络仿真建模中的应用

计算机仿真是通信网络技术研究中的一种非常有效的分析工具,而Petri网是一种应用非常广泛的建模工具,为了设计和开发通用的通信网络仿真系统,该文将Petri网技术应用于仿真建模过程中,所建模型简洁,直观且含义准确。     

Petri网在业务过程建模中的应用

业务过程建模是工作流管理系统的基础,当前人们对业务过程建模技术还缺乏系统研究。本文主要结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示,正确性证明、性能评价和模型优化等方面的应用。     

Petri网的笛加运算及性能研究

本文提出了Ｐｅｔｒｉ网的笛加运算，广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。     

着色Petri网在科技计划项目管理系统建模中的应用

在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法.分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色Petri网的系统模型.通过对该模型的分析仿真结果表明,该方法是可行和有效的.     

可视化过程建模语言VPML与PETRI网的等价性证明

VPML（Visual Process Modeling Language)是企事业过程建模系统EPMS（Enterprise Process Modeling System)所采用的可视化过程建模语言,适用于过程模型建造和过程模型模拟。VPML语言功能的强弱直接影响过程建模的能力,它是过程建模、过程优化和运作的基础。因此,VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。以枚举法为基础,利用PETRI网描述VPML的所有语义,从而证明VPML语义的正确性与完备性,综合VPML语言易于掌握,PETRI网描述并发执行简单易行的优点,建立了二者之间的映射关系,加快系统建模过程,提高开发产品的可靠性。     

基于着色赋时Petri网的堆垛机建模与调度研究

为了直观、简洁地研究AS/RS中的堆垛机运送系统,应用着色赋时Petri网（CTPN）建立了其动态模型。同时针对原有系统的不足,提出了基于双队列缓冲的堆垛机控制策略及双循环作业方式的路径优化策略,从而缓解了该系统中可能产生的阻塞现象,提高了堆垛机运送系统和出入库站台的效率,这对保证出入库的高效、正常、有序的进行有着重要的意义。     

基于Petri网的异步并发系统建模方法及应用研究

从Petri网的角度,异步并发是指两个或多个事件没有因果关系及由因果关系产生的顺序,与是否同时或是否有统一的时间控制没有关系,异步并发系统具有对称性、自返性而不具备传递性。其建模过程涉及到变迁发生的条件、结果以及是否存在冲突、冲撞等问题。用异步并发系统的建模方法改进Linux系统的队列数据结构,用Visobjnet＋＋软件进行模拟,并编程测试,得到了比原结构更高的效率。     

一种新型Agent结构模型研究

本文提出了一个基于传统BDI结构的新型Agent模型,即：BDIM模型。通过在传统的BDI结构模型基础上追加激励算子（motivation）试图解决传统的BDI结构在描述自学习机制和知识动态维护方面的局限性。本文在Rao和Georgeff基于扩展计算树逻辑对BDI结构形式化建模的基础上进行了扩展,把激励相关算子无缝地嵌入到一个已经比较完善的形式化体系结构中.     

BDI Agent的人机智能结合方法

在网络遥操作中存在着由于操作者的操作负担过重或长时间操作而引起的误操作问题,提出以著名的BDI Agent模型为基础,通过引入中断机制,将反映操作者智能决策的操作目标、操作意图与BDI Agent推理产生的目标、意图进行结合的方法,为解决Agent智能的局限性和操作者的误操作问题,提供了一种人机接口方法,实现了人机智能结合.给出了中断的引入方法和操作者操作目标、操作意图中断响应原理,用形式化模型描述了人机智能决策选取目标和意图的过程.该人机智能结合方法在网络遥操作RoboCup中型足球机器人系统中得到了应用.     

基于面向对象Petri网的知识库模型

根据Petri网能够对知识的细节进行抽象的特点及对知识库系统应用的需求,利用VC 对Petri网进行了类的封装,建立了基于面向对象Petri网的知识库模型,实现了对知识库的动态维护,并增加了单步推理和反向执行的功能,同时也改进了规则维护算法。     

一种BDI Agent的多线程实现方法

Agent BDI结构的实现是多Agent系统开发中的难点之一。本文研究了理性BDI模型,提出并实现了一种AGENTFRAME结构,其中明确表示了Agent的信念、愿望和意图,以该结构为模板所生成的Agent能够长期持续地自主运行,完成推理和协作等多种智能行为。     

基于BDI Agent技术的情感机器人语音识别技术研究

介绍了BDI Agent技术在情感机器人实现中的应用。通过基于Agent技术的语音识别网络的构建，实现让机器人对外界语音输入能够正确地识别和理解，这样才能为进一步进行情感上的交流奠定基础。主要讨论了如何在BDI Agent技术的基础上建立识别器和解释器。     

价格着色Petri网在工作流建模中的应用

在着色网的基础上扩展了价格信息,提出了价格着色网,用来对业务流程进行价格建模并对其作相应的成本预算分析.其中讨论了价格着色网的变迁步规则,提出了价格着色网中的标识--经济标识的定义,并有针对性地提出了最小成本构造算法.最后以一个业务流程实例演示了该模型的应用,得出结论为价格着色网能够较好地解决业务流程建模中的成本预算分析问题而且该模型中的最小成本构造算法是有效的.     

BDI模型视觉监控智能体的研究

分布式智能视觉监控系统的摄像机一般分布在不同区域内,大部分监视功能要在摄像机端实现,将Agent理论与智能摄像机相结合,构造出一种软、硬件一体化的,专门用于视觉监控的实例智能体,该智能体具有自主推理决策及运动目标跟踪等能力.着重研究了视觉监控智能体的体系结构、BDI模型,提出一种基于历史案例的推理决策机制,并在智能摄像机上予以实现.实验结果表明,视觉监控智能体具有自主跟踪多运动目标的能力,为构建分布式智能视觉监控系统奠定了基础.