制造系统Petri网的设计与综合方法

本文介绍了制造系统Ｐｅｔｒｉ网设计与综合工作的研究成果,主要包括手工设计的自顶向上方法,自顶向下方法,以及形式化设计方法等。     

顺序共享单一资源自动制造系统实时PETRI网控制器的一种形式化设…

自动制造系统（ＡＭＳｓ）Ｐｅｔｒｉ网控制器形式化设计是ＡＭＳｓ Ｐｅｔｒｉ网控制器自动设计的理论基础。本文以ＡＭＳｓ计划层和调度层生成的工序序列和资源需求序列为基础，为顺序共享资源ＡＭＳｓ设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数，结合所设计的规格说明语言，可以自动生成ＡＭＳｓ实时控制ＰＥＴＲＩ网控制器的表格表达式，该表达式为模型分析和ＡＭＳｓ控制软件自动生成奠定了基础。最后，用     

一类规则调度系统的Petri网研究方法

研究了规则调度系统的性能分析问题,与传统的仿真研究方法比较,文中采用了基于Ｐｅｔｒｉ网的研究思想,首先运用Ｐｅｔｒｉ网给规则调度系统建模,得到调度规则的形式化表示;然后基于该模型作稳定性及其它性能分析,最后针对一类切换式规则调度系统,介绍了运用混合动态系统理论开展研究的具体思路。     

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

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

一种基于Petri网的顺序共享资源AMS＊s

Ｐｅｔｒｉ网控制器自动设计及控制程序自动生成方法的研究是自动制造系统ＡＭＳｓ和柔性制造系统ＦＭＳｓ领域研究的热点问题之一〔２～６〕。本文以ＡＭＳｓ计划和调度产生的生产序列ＰＳ和资源需求序列ＲＲＳ为基础，为顺序共资源ＡＭＳｓ设计了一种规格说明语言，以自动生成ＡＭＳｓＰｅｔｒｉ网模型的矩阵形式，并给出了转换步骤。由于引入了资源状态反馈，故生成的Ｐｅｔｒｉ网模型是无死锁的。最后，用一个实例说明了设计过程。     

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

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

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

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

基于Petri网的FMS教学系统控制器设计

以文献［１］提出的实时控制Ｐｅｔｒｉ网（ＲＣＰＷ：Ｒｅａｌ－ｔｉｍｅｃｏｎｔｒｏｌＰｅｔｒｉＮｅｔ）为础，为柔性制造教学系统设计了一个实时协调控制器，并给出了控制器的硬件结构以及软件设计过程。为验证ＦＭＳＰｅｔｒｉ网控制器软件自动设计方法打下了基础     

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

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

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

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

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

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

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

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

基于 Petri 网和图像识别方法的故障预防系统研究及实施

以国家ＣＩＭＳ工程技术研究中心制造系统为对象，设计并实施了一个制造系统故障预防系统。文中首先提出了制造系统的谓词／变迁网模型，以此为基础设计了基于Ｐｅｔｒｉ网可达性树分析方法和图像识别方法的制造系统故障预防系统，并给出了系统的总体结构图和相应的模块结构图。该故障预防系统已完成实施，在提高制造系统运行的安全性和可靠性方面，发挥了重要作用。     

基于组件技术的知识化制造系统自重构的实现

为了实现知识化制造系统的自重构,对自重构的使能工具进行了开发及应用。首先研究了知识化制造系统中知识的表示方法,讨论了知识网库的设计;然后分析了知识化制造系统自重构使能工具的功能;详细讨论了知识网自重构使能工具的实现以及自重构后软件系统的自动生成等难点技术;最后,在.NET平台上,基于组件技术,通过实例说明了知识化制造系统自重构技术的应用;自重构后新系统的有效运行,充分说明了知识化制造系统自重构的可行性及有效性。     

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

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

柔性装配制造系统中生产优化的Petri网方法

本文在基本Ｐｅｔｒｉ网的基础上,给出了一种进行周期性生产的柔性装配制造系统的模型;同时,针对该系统,给出了一个求稳定需求下最佳生产指量的启发式调度方法。     

基于 GSPN 的 CIMS 可靠性建模与分析

将广义随机Ｐｅｔｒｉ网（ＧＳＰＮ）知识引入可靠性理论中，提出了一种新的制造系统可靠性建模与分析方法。针对缓冲库容量有限、机器可修的一般串行ＣＩＭＳ生产线系统，建立了该系统的ＧＳＰＮ模型。讨论了ＧＳＰＮ模型的定量分析方法，为解决ＣＩＭＳ生产线的可靠性研究提供了一种新途径。     

柔性制造工作站控制模型及控制逻辑的自动生成研究

针对柔性制造工作站的特点提出的工作站控制器模型,为了实现工作站控制器控制代码的自动生成,提出了规范化Ｐｅｔｒｉ网的概念,并建立了工作站控制的ＳＰＮ模型与对象模型、ＳＰＮ模型与ＰＬＣ的梯形图代码之间的映射规划与方法,从而较好地解决了工作控制器控制代码的自动生成问题。     

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

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

模糊设计中的模糊推理技术研究

机械设计中存在着大量的模糊因素。本文主要讨论了模糊知识的处理方法——隶属函数方法、模糊变换方法、ＦＰｅｔｒｉ网等。在飞机总体外形设计系统中就采用了这些方法。