基于Petri网的生产过程快速组织模式研究

针对多品种小批量生产企业应对客户化的订单需求,提出一种快速组织生产的模式。根据不同的客户订单,快速组织不同技术水平的虚拟生产小组来完成产品的开发生产过程。以面向对象Petri网作为建模工具,刻画分析系统内部的状态变化,结合Agent技术,建立了理论模型与A-gent实体的映射关系,形成了多Agent系统。模型的可达树分析结果及实例结果均表明本文方法可行且有效。     

扩展着色Petri网为多Agent会话建模

在多agent系统（Multi-Agent Systems,MAS）中,会话是agent间进行交流与合作的最有效也是最直接的信息交流方式。为实现一个特定的目标或完成一系列任务而启动的一次会话中可能会用到多个协议与多个agent进行交互。已有不少方法对agent的单个交互协议进行建模,但单个交互协议的模型不足以表达出一个会话的主题框架。而扩展着色Petri网以其多维立体的形式完整地表示了一个会话,使得会话主题鲜明,结构清晰,可扩展性强。     

基于多Agent及Petri网的变压器故障诊断系统

将多Agent技术引入变压器故障综合诊断系统，采用模糊Petri网技术实现建模．该模型中每个Agent代表一种智能知识或智能处理方法，利用Petri网进行知识表示及推理的矩阵运算算法以描述故障征兆与故障的关系，进而达到多Agent之间的协同工作，并利用协调综合Agent给出诊断结果．运用所提出的诊断系统，不但可以充分利用各种故障信息资源，而且可对采用不同诊断方法时的诊断结果进行协调综合，并且在故障信息不全面的情况下也可以做出较准确的诊断结论．实例运算也验证了该诊断系统的快速性、协调性和准确性．     

基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助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网理论中的建模控制和并行计算与分形技术相结合,解决了计算量大和模型固定问题.实验仿真证明：改进的算法不仅能绘制出完整正确的图形,而且计算时间大大缩短为原算法的10倍左右.     

On Chinese Conversation Structure

With the aim of introducing Chinese conversational communication characteristics in Chinese cultural,this paper lists the Chinese conversation structure and describes the characteristics of its components "setting up","pragmatic acts","uptakes" and "pre-closing".By giving some specific examples,the paper also explains how the components work according to Chinese social conventions in Chinese society.     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．     

楼宇门禁系统基于petri网的分析和设计

Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。     

液压系统建模分析的Petri网描述

摘要：针对复杂的液压系统难于直接分析的特点,探讨了运用Petri网理论进行液压系统建模分析的一般步骤,并通过实例分析,证实了Petri网对液压系统进行建模分析的可行性．该方法简单易行,提高了复杂液压系统的分析效率．     

基于MAS的分布式ETL模型

提出了基于MAS的分布式ETL模型,该模型将数据处理分配到多计算服务器,利用Agent的协作性、主动性、反应性和交互性,控制多计算服务器的协同处理来提高系统计算能力.与原有的ETL工具相比,该模型不仅可以提高ETL流程的运行效率,而且充分利用了企业系统中所有的服务器资源,从而降低了运行ETL服务器的硬件成本.     

Petri网技术在半导体生产线建模中的应用

综述了Petri网在半导体生产线优化调度领域应用的最新研究进展,涉及半导体生产线主要特征、建模方法、Petri网类型、调度策略及具体应用等问题,并指出这一领域值得进一步研究的问题和可能的发展方向.     

基于MAS的协作电子商务系统的设计与实现方案

本文首先介绍了电子商务和MAS结合的可行性 ;然后阐述了协作的MAS模型及其相关技术 ,最后提出了一个基于MAS的协作电子商务系统模型及其设计与实现方案