基于面向对象Petri网的多Agent系统交互协议建模

为了描述、分析和验证多Agent系统交互协议,提出了一种面向对象Petri网。与现有的形式化方法相比,面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议,可以描述其静态和动态语义,并可利用Petri网的数学分析方法对交互协议进行动态分析。面向对象Petri网还具有较好的模块性和柔性,能单独地分析参与交互的每一个Agent,而不会影响其他Agent和环境的状态。最后,利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议,并对一个买卖Agent交互实例进行了建模和动态分析,验证了面向对象Petri网具有较好的建模能力。     

基于面向Agent的赋时着色Petri网的可重构装配线建模

针对可重构装配线建模问题,提出了面向Agent的赋时着色Petri网的可重构装配线建模方法.在对装配资源进行分类的基础上,将装配资源Agent内部行为进行封装,建立了装配资源Agent的面向Agent的赋时着色Petri网模型,并通过过渡变迁合成可重构装配单元面向Agent的赋时着色Petri网模型.根据每个可重构装配单元之间的逻辑关系,确定整个系统的消息传递关系.在此基础上,实现了装配线快速重构.通过引入相应的多Agent交互协议模型来解决模型中存在的死锁和冲突.最后通过实例分析说明了该建模方法的有效性.     

概念设计自动化系统的演进过程建模

通过对典型多Agent系统问题中基于事件驱动、约束触发和Agent自主决策的过程演进机理的分析,建立了一个基于Petri网的多Agent系统演进过程模型。进一步对产品概念设计的演进过程进行分析,描述产品概念设计自动化系统的演进过程,以支持基于多Agent系统的产品概念设计自动化系统的建立。     

基于Agent的分布式多机器人系统建模及分析

进行一个多装配人系统DAMAS的模型研究,介绍离散事件动态系统的重要建模工具Petri网,提出解决模型复杂性的有效方法,建立了系统中各个Agent及整个系统的Petri网模型,这些模型及相互间的交互模型进行了重要的活性和有界性分析,以多机器人系统的协作机制进行了验证分析。     

物资储配系统人机合作模型及关键技术研究

定义了人机合作的概念及其分类,提出了新的人机合作模型,有利于人机合作在物资储配系统中的应用;根据物资储配系统模型具有离散性、复杂性等特点,采用Agent和Petri网相结合,建立了基于Agent和Petri网的人机合作的物资储配系统模型,分析了实现人机合作模型的关键技术,包括Agent通信分时处理过程、人机合作接口、人机信息交互技术等。采用java语言建立了人机合作物资储配模型仿真系统,并以人机合作协助AGV摆脱路径死区间等为例进行了仿真,说明了该模型的有效性。     

智能制造系统的多Agent模型研究

提出了一个智能制造系统的多Agent模型，其中Agent代表基本的处理实体，Agent的特性用Petri网来表示。由于Agent具有自主性、社会交互性、反应能力和预动能力的特点，使得能够进行分布式决策，而系统的合作是通过通讯和协商解决的。Agent在交互的过程中被赋予角色，从而能够满足智能制造中复杂过程建模灵活性的需求，并能够构建一个可重用部件的扩展框架。     

自动制造系统的一种死锁避免策略

基于Petri网的结构分析理论，提出了自动制造系统Petri网模型的一种死锁控制方法，在这种策略的控制下，避免了系统中死锁的产生，从而许多制造系统的Petri网模型具有活性，提出了一种保证所有严格极小信标至少含有一个托肯的方法，对冗余严格极小信标的研究，提高了Petri网复杂自动制造系统的建模能力。结果表明，在设计无死锁的Petri网格型时，不是所有的严格极小信标都要考虑，从而简化了设计结果和控制算法。     

基于PetriNet的钢胚磷化PLC控制系统

随着控制系统发展，传统的PLC编程方法已不适用于具有并发、离散性质的复杂系统。基于Petri网模型的PLC程序设计方法，由于具有图形性质和对并发事件建模的能力，从而逐渐在复杂PLC控制系统中得到应用。然而所建模型往往繁杂，不利于分析和实现。通过将分层Petri网和T组合Petri网两种化简方法相结合，使得系统模型更另简明直观便于分析。在钢胚磷化PLC控制系统中应用，系统运行状况良好。给出了系统的Petri网模型和逻辑方程。     

基于Petri网的生产系统仿真研究

以流水生产线为例，介绍了Petri网建模及其在制造系统中的性能分析。通过转换成马尔科夫链，可以计算变迁实施时间为指数分布的Petri模型的性能指标。并且针对Petri网模型计算复杂的特点，介绍了一种新的Petri网仿真方法——利用WITNESS软件对Petri模型进行仿真分析。     

制造系统动态可靠性建模理论及其应用

在分析传统可靠性设计理论存在缺陷及面临挑战的基础上，评述动态可靠性建模主要方法。利用Petri网对动态系统的描述能力，将Petri网应用于系统故障分析和动态可靠性计算中，提出了基于故障Petri网的动态可靠性建模方法。以某挖掘机液压系统为例，研究了制造系统故障的Petri网静态描述和动态可靠性计算方法，求解得到系统可靠性数值指标。应用表明，随机Petri网在故障传播描述以及系统动态可靠性分析方面具有优势.     

基于多代理的知识有色赋时Petri网的晶圆制造系统建模方法

为了对大规模、复杂的晶圆制造系统进行有效建模,提出了基于多代理的知识有色赋时Petri网的晶圆制造系统分层建模方法。在设备层,对晶圆制造系统的系统资源、内部行为和知识进行封装,建立了设备层代理模型。在设备组层和系统层,根据系统需求对各设备组内部及其之间的关系进行配置,分别建立了设备层和系统层代理模型。该方法提高了模型的可配置和重用性,降低了建模的复杂性,同时将知识与模型的库所和变迁集成,增强了模型的运行决策能力。通过上海某企业的150 mm晶圆的生产数据验证,证明了基于多代理的知识有色赋时Petri网的晶圆制造系统模型的有效性。     

基于Petri网理论的动态系统可靠性建模方法研究

利用Petri网对动态系统的描述能力，将Petri网应用于机械系统可靠性分析领域。研究了基于Petri网理论的故障事件及其逻辑关系的表达方法，探讨了将Petri网应用于复杂动态系统可靠性建模的方法，给出了应用示例。     

基于移动代理的分布式工作流管理系统

将代理技术与工作流技术相结合，提出了基于移动代理和系统代理协作的分布式工作流管理系统多层执行体系结构，介绍了系统中各功能模块的划分及其功能，给出了系统的执行过程。文中还对工作流模型的仿真和性能分析方法进行了讨论。     

基于Petri网的业务流程管理系统模型研究

Petri网是一个描述条件和任务之间关系的通用模型。在介绍Web服务和Petri网的基础上,结合电力行业某业务流程管理系统的实例,建立了一个基于Petri网的业务流程模型,在此基础上对简化后的Petri网进行死锁分析,以此作为业务流程建模的指导思想,可以提高业务流程系统的安全性、稳定性、健壮性。     

基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法

研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达树故障检测算法。以码垛机器人零件加工系统为例,建立了Petri网系统模型,应用基本可达树故障检测算法进行检测,故障检测结果符合码垛机器人零件加工系统实际运行情况,验证了该方法的有效性。     

Construction and performance analysis of a Petri net model based on a functional model in a CIM system

The so-called functional models, such as IDEF0, are useful tools for describing, designing and analysing the functional aspects of a complex manufacturing system, for example a CIM (computer integrated manufacturing) System. Though it involves considerable time and cost to build a sound functional model, the model usually cannot be used directly in further systems analysis procedures, such as quantitative performance analyses, due to its informal nature. To overcome this problem, we suggest a Petri net based procedure. First, we build a Petri net model from the IDEF0 and IDEF3 models, both of which are functional modelling tools widely used in real applications. Then, employing steady-state analysis for the Petri net, we propose a method to obtain performance measures such as the production rate. Since the analytical ability of a Petri net diminishes with increasing manufacturing system size, we develop a technique to aggregate and consolidate the Petri net to alleviate this problem that is associated with increasing complexity. An example problem is included to show the viability of our method for constructing a Petri net from a functional model and to evaluate the performance of the Petri net in an analytic manner.     

基于随机故障序列的制造系统动态可靠性仿真

采用随机故障序列、Petri网理论和蒙特卡洛仿真评估制造系统的动态可靠性.给出随机故障序列、序列重要度以及关键部件的定义,阐述随机故障序列的分析流程.基于随机Petri网理论建立系统可靠性分析模型,得到系统状态标识表:由状态标识表构建可达树,根据可达树求得系统的随机故障序列集.利用最小路集方法判定系统故障与否,分析仿真过程中避免部件过度故障问题及其解决方法;利用蒙特卡洛仿真计算随机故障序列的发生规律,评估系统的动态可靠性.通过计算每一个故障序列发生的次数、频率和持续时间等指标,确定影响系统可靠性的关键部件和瓶颈环节,为系统可靠性增长提供了理论依据.完成某供油系统动态可靠性案例分析,仿真结果验证所提出方法的正确性和有效性.     

基于语义网络服务和Agent的虚拟企业信息系统集成

为解决传统的虚拟企业信息集成方案中存在的语义匮乏、系统自主性差等缺陷,提出采用语义网络服务和智能Agent技术,构建虚拟企业信息系统的方式。通过分析语义网络服务的优势,提出了虚拟企业语义网络服务框架,结合智能Agent技术,提出虚拟企业的多层架构并分析了模块间集成问题。最后给出了基于语义网络服务和智能Agent的虚拟企业信息集成架构。