基于Pwtri网模型的FMS控制决策方法研究

应用Ｐｅｔｒｉ网理论,通过对现有ＦＭＳ进行分析和研究,确定了该ＦＭＳ中的各状态和事件及其因果关系,建立了实际ＦＭＳ的Ｐｅｔｒｉ网模型。通过该模型的描述和对ＦＭＳ实际运行情况进行分析,建立了优化调度控制规则。     

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

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

基于扩展Petri网的叶片FMS建模研究

将计时Ｐｅｔｒｉ网扩展到计算机网络环境，提出一种新的网络计时Ｐｅｔｒｉ网，用于叶片ＦＭＳ的建模中，并给出了仿真结果。     

基于扩展Perti网的叶片FMS建模研究

将计时Ｐｅｔｒｉ网扩展到计算机网络环境，提出一种新的网络计时Ｐｅｔｒｉ网，用于叶ＦＭＳ建模中，并给出仿真结果。     

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

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

柔性制造系统运行控制软件测试机理研究

探讨ＦＭＳ运行控制系统软件调试环境的建立问题，在研究离散事件动态系统软件测试机理过程中，提出宏Ｐｅｔｒｉ网模型，这种网模型由于在库所和变适中引入变量结构，使模型具有更大的描述性；基于ＦＭＳ中基本事件类型建模，使建模过程通用化、程序化；讨论应用ＭＰＮ实施对ＦＭＳ运行控制软件测试纠错的一般过程。     

多资源复合共用FMS的死锁研究

利用Ｐｅｔｒｉ网为资源复合共用ＦＭＳ进行建模,给出了关于此类系统死锁的一系列定义,讨论了系统死锁的充分必要条件。     

板材折弯FMC 运行过程的知识Petri网建模

介绍知识Ｐｅｔｒｉ网理论及其在系统建模中的优点，建立板材折弯ＦＭＣ运行过程的知识Ｐｅｔｒｉ网模型，开发相应的ＦＭＣ运行仿真软件。     

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

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

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

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

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

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

基于Petri网设计顺序控制系统

本文介绍了扩展Ｐｅｔｒｉ网标识流图（Ｍａｒｋ　Ｆｌｏｗ　Ｇｒａｐｆ，简写 ＭＦＧ）的基本概念。以一个生产线为例，研究了ＭＦＧ理论在生产系统描述、分析和顺序控制器设计中的应用。     

基于计算机视觉的优化FMS调度与控制决策的研究

通过对现有ＦＭＳ中计算机视觉系统的Ｐｅｔｒｉ网络型分析，研究计算机视觉参与ＦＭＳ调度与控制的机理，提出在控制策略中利用计算机视觉，优化ＦＭＳ调度与控制决策的方法。该方法可适应不同生产模式和不同类型的车间生产计划与优化控制。     

FMS运控软件调试环境中的死锁检测方法

ＦＭＳ中存在死现象是理想的，此时系统至少存在一个等待环，环中工件处于互相等待彼此所占有资源的状态。对于一个ＦＭＳ控制软件，如果不具死锁的预测和回避方法，在实际运行过程中就会因可能出现的死锁现象而发生故障，在建立ＦＭＳ运控系统调试环境时，本文旨于确认被测ＦＭＳ运控软件的死锁预测和回避功能。在被测系统Ｐｅｔｒｉ网模型的基础上，根据选定的调度策略确定所有被占用资源上工件的目标库所集，以检验系统中是否在死     

MRP Ⅱ系统中主生产计划的关键技术及过程模型研究

主生产计划系统是ＭＲＰⅡ系统的重要组成部分,本文针对ＭＰＳ的特点,详细地分析和描述了ＭＰＳ的功能及处理流程,并对ＭＰＳ的一些关键技术进行了研究。提出了基于Ｐｅｔｒｉ网的ＭＰＳ过程模型和ＭＰＳ基本算法。     

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

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

卷接机组故障诊断的模糊行为Petri网研究

根据卷接机组故障诊断推理中知识的模糊性,给出模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）的定义,研究用模糊行为Ｐｅｔｒｉ网表示模糊产生式规则的方法,提出一种模糊反向推理机制,给同算法的实现。最后以ＭＫ９－５ 卷接机组烟支空松故障为例,证明该方法的可行性和有效性     

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

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

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

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

FMS的可靠性建模研究

ＦＭＳ的可靠性建模是ＦＭＳ可靠性设计与分析的基础,本文对ＦＭＳ可靠性建模的几种方法进行了介绍和分析,提出了ＦＭＳ可靠性建模的要求和建模的途径。