Petri网在工程设计集成化中的应用研究

Ｐｅｔｒｉ网是一个很有用的模拟技术,在许多领域都有应用。本文讨论了Ｐｅｔｒｉ网模拟技术在工程设计集成系统中的应用。一个曲轴优化设计和一个具有随机参数计算的Ｐｅｔｉ网模型被用来说明这个应用。     

Petri网在基于规则系统一致性问题检查中的应用

基于规则系统是目前应用较为广泛的一类专家系统,但它的知识库不易维护。本文针对基于规则系统的一致性问题,应用图形化建模工具Ｐｅｔｒｉ网的可达性概念和状态方程分析方法,提出了基于Ｐｅｔｒｉ网的一致性检查方法。文中首先对规则的三种Ｐｅｔｒｉ网表示模型进行了比较,并在含约束Ｐｅｔｒｉ网模型基础上,提出了一致性检验的命题方法,最后以实例说明该方法的实现步骤。当规则库较大时,相应的Ｐｅｔｒｉ网模型可能也会很庞     

Petri网理论在现代制造技术中的应用

介绍了Ｐｅｔｒｉ网的特点,综述了国内外Ｐｅｔｒｉ网理论在柔性制造系统建模仿真、作业调度、实时控制和故障诊断等方面的应用和研究成果。     

CIMOSA功能模型的Petri网表示方法

本文介绍了ＣＩＭＯＳＡ建模框架和功能模型的组成结构，指出了Ｐｅｔｒｉ网方法是进行ＣＩＭＯＳＡ模型仿真和模型验证的有效手段。为了解决ＣＩＭＯＳＡ模型仿真和执行中出现的不确定性、资源共享和信息传递问题，提出了一种扩展的有色Ｐｅｔｒｉ网方法—控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ功能模型的Ｐｅｔｒｉ网表示方法并给出了由ＣＩＭＯＳＡ功能模型到Ｐｅｔｒｉ网模型的转换步骤及一个应用示例。     

Petri网理论在现代制造技术中的应用

介绍了Ｐｅｔｒｉ网的特点,综述了国内外Ｐｅｔｒｉ网理论在柔性制造系统建模仿真、作业调度、实时控制和故障诊断等方面的应用和研究成果。     

制造系统建模中Petri网的工具和方法

本文概述了Ｐｅｔｒｉ网研究方面的一些最新研究结果，讨论了基于Ｐｅｔｒｉ网的一些建模工具，这些工具特别适合于制造系统的建模，性能分析，实时控制、系统可靠性系统等，文中还介绍了实际应用中所获得的某些结果，最后，提出了Ｐｅｔｒｉ网在制造系统建模中需解决的若干问题。     

基于Petri网模型的物流系统建模

提出了一种基于Ｐｅｔｒｉ网动态模型的物流系统的Ｐｅｔｒｉ网模型，可以将物流系统的物理过程通过网系统形象地表示出来，基于Ｐｅｔｒｉ网模型的仿真系统能更真实地反映系统的动态特性。     

敏捷制造单元建模技术的研究

针对敏捷制造单元的特点,提出了一种面向对象的赋时Ｐｅｔｒｉ网的建模方法。这种方法综合了面向对象和Ｐｅｔｒｉ网建模技术的优点,不仅能够描述敏捷制造单元复杂的行为,而且所建立的模型具有高度的重用性。     

基于并行工程的产品开发过程建模

并行工程是近年来国际制造业兴起的一种新型企业生产组织管理模式，也是当前学术界热门的研究课题，从并行工程运行模式出发，在Ｐｅｔｒｉ网络网基础上引入面向对象技术，针对并行工程的并发特性，讨论了基于并行工程的产品开发过程的面向对象Ｐｅｔｒｉ网模型，很好地继承了面向对象方法的封装、分类、继承等优点，同时又具有Ｐｅｔｒｉ网用图形易于描述系统并行性、不确定性等特征，为并行工程过程管理的仿真、调度和监控提供了统     

基于 Petri 网的企业 CIM 系统建模方法研究

介绍了ＣＩＭＯＳＡ建模方法，指出Ｐｅｔｒｉ网是帮助企业建立正确和优化模型的有效方法。提出了一种扩展的有色Ｐｅｔｒｉ网方法——控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ模型的Ｐｅｔｒｉ网表示法。     

基于Petri网的时线分析新方法

将Petri网技术引入装备保障性工程，建立了一种基于Petri网的时线分析新方法，用于确定复杂系统使用与维修活动经历时间。以计算飞机再出动准备时间为实例，阐述了时线分析法的使用条件，确定了不同作业项目之间的逻辑顺序，建立了飞机再出动准备方案Petri网模型，最后根据Petri网仿真结果给出了时线分析表。该方法改进了原来手工线条图作图法，有利于装备设计、研制过程仿真与建模，提高了时线分析法的工程化程度。     

具有混合约束的离散事件系统的Petri网控制器的研究

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Petri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的.先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显.针对于约束的不同情况,给出了相应的控制器设计方法,最后通过几个例子对该方法的简单性和有效性进行了验证.     

基于可穿戴计算的现场作业辅助模式

为满足移动作业的维护类工程技术人员各种动态的复杂作业辅助需求,将可穿戴计算机和无线传感技术引入制造业设备维护作业现场,介绍了针对现场作业辅助用途设计的可穿戴计算系统,提出基于可穿戴计算的现场作业辅助创新模式.分析了该模式实现在应用结构创建方面所面临的挑战.围绕这一核心问题,提出了扩展有色Petri网形式及领域本体设计方法,描述应用功能模块;提出了领域结构分析和Petri网映射方法,生成应用相关的分层有色Petri网;实现了基于本体推理和变迁替代的辅助应用结构创建过程.最后,给出了应用实例及分析.     

基于Petri网的一致性检验的计算机实现

介绍基于约束Petri网的规则集一致性检验命题的验证和实际应用,首先对约束Petri网的概念作了简要介绍。然后着重讲述应用面向对象方法开发的Petri网建模工具,以及一致性检验命题的软件实现方法,最后以某卫星电源系统为对象,对其故障诊断系统的知识库的一致性检验进行实际应用。     

基于Petri网的加工系统递阶智能控制

运用模糊推理与Petri网方法对加工过程的智能控制进行建模,在建模中采用了递阶智能控制的原理,将其分为组织级、协调级和执行级三个层次。组织级采用模糊推理的方法,并用标识模糊Petri网为其推理过程进行建模;协调级设计中,以一台加工中心、一个机械手组成的加工系统为例,运用模糊Petri网为其协调级进行了合理规划。     

利用CAD系统进行工程车辆布局自动设计方法的研究

分析了工程车辆的构成和布局设计特点,建立了自动Ｐｅｔｒｉ网模型,应用面向对象的方法表示设计过程中零部件的信息,并对布局模型的运行过程进行了描述。     

基于Petri网的故障诊断方法研究

Petri网作为一种图形化的网络与建模工具,能方便的表示和分析信息流,进行逻辑关系的表达和系统行为的建模,在故障检测和诊断领域得到越来越广泛的应用.该文对基于Petri网的故障诊断方法进行了系统研究,旨在为工程实践提供理论基础.     

A functional-to-behavioural transformation framework for specification and design of manufacturing systems

To maximize the productivity, quality and safety of operators, design and dependability analysis tools must be integrated as soon as possible in the lifecycle of automated manufacturing systems (AMS). As a concurrent approach, the structured analysis and design technique (SADT) can be efficiently used for such integration. SADT is a graphic notation for system specification and requirement analysis that is well adapted to describe the functions and their interconnection in a manufacturing systems. In spite of its advantages, SADT is limited by the lack of a formal foundation, which makes it necessary to extend it by a mathematical behavioural model such as the Petri net. This article first proposes an approach for the automatic generation of the Petri net model corresponding to SADT specifications, thus allowing a direct simulation of the SADT model to validate its behaviour. The complexity and non user-friendly interface of such a Petri net have led us to propose a temporal SADT whose primitives represent abstract types for the underlying Petri net model. This temporal SADT has the merits of both the SADT and Petri nets, since it adds to the user friendliness of SADT, the foundation of Petri nets.     

基于Petri网的离散事件仿真与控制软件的开发及关键技术

针对离散事件系统控制对Petri网软件工具的需求,设计和开发基于Petri网的离散事件仿真与控制软件。通过分析离散事件仿真与控制的要求,确定软件的功能与目标,据此设计软件的体系结构。研究软件开发中的几个关键技术,如控制Petri网的提出及其基本类设计、基于控制Petri网的控制与仿真、Petri网模型的存储与读取、客户/服务器模式软件网络化架构等。开发基于Petri网的离散事件仿真与控制软件,它不仅具有Petri网模型建模与分析功能,还能实现基于Petri网的离散事件系统的网络化控制与仿真。在可重构加工系统试验平台上的应用表明,该软件是有效和实用的。     

一种面向对象Petri网的构造及应用研究

将 Petri网理论与面向对象技术结合 ,并借鉴客户机 /服务器模式 ,着色 Petri网中的一些概念 ,提出了一种新的面向对象 Petri网。文中详细论述了这种面向对象 Petri网的结构 ,形式定义 ,运行规则 ,并给出了这种面向对象Petri网应用于制造系统中的一个建模实例