下载文档原格式
利用Petri网特征结构的故障诊断方法叶丹丹;罗继亮【摘要】For fault diagnosis in large complex systems,a on-line fault diagnose method is proposed to solve the problem of high computational complexity.First,modeled a Petri net model.Secondly,proposed the strict minimal place-invariant and the set of characteristic place-invariant,so that might describe the structure information of Petri net model.Finally, based on the set of characteristic place-invariants,the failure function for any current marking is proposed.And then,uti-lized this failure function to diagnose and locate the faults.The result shows that this fault diagnosis method with the structure information dose not need traverse all states space of system.Furthermore,this method is with the computa-tional complexity of polynomial,which makes this method meet the real time requirements.%为解决大规模复杂系统故障诊断中计算复杂性高的问题，提出一种基于 Petri网的在线故障诊断方法。
2Petri网定义与两种时间添加策略摘要：本章首先阐述了炼油企业级优化的意义与重要性。
在此基础上对炼油厂供应链的背景和研究现状做了介绍。
关键字：Petri网2.1 Petri网基础定义Petri网最初由德国Carl Adam Petri博士于上世纪60年代提出，针对当时自动机理论缺乏并发概念，无法研究现代物理学理论中典型问题，如狭义相对论，不确定性原理。
Petri博士提出了一种新的离散事件建模工具与方法：Petri网。
Petri博士在博士论文《用自动机通信》中首次使用网状结构模拟通信系统，该系统模型后来以Petri网为流传。
现在我们看到的Petri网既指这种模型和衍生模型，又指各种以这种模型为基础发展起来的理论。
Petri网是一个状态变迁模型，可用来描述系统中各异步成分之间的关系，而且允许同时发生多个状态变迁，Petri网是1个并发模型。
在分析并行系统的状态行为的技术中，Petri网模型具有自然，直观，简单易懂等特点。
目前在有限状态机、通信协议、同步控制、生产系统、形式语言、多处理器系统建模与分析中都取得了广泛的应用。
本文主要使用Petri网对生产系统，尤其是化工批处理系统（过程），flow-shop 问题，FMS（柔性制造系统）进行问题建模，同时采用了网的可达树模型进行了上述系统调度问题的分析和研究。
Petri网框架由以下几个基本元素组成：库所，变迁和有向弧组成。
在图形上分别用圆圈、矩形和带箭头的连接线表示。
在网模型通常建模对象的变动，例如柔性制造系统中的机器可以处于加工状态和闲置状态，生产线上的子部件流转均用Petri网中的token表示（token，也翻译作令牌）。
图2.1显示了一个最基本的Petri网模型。
该模型在化工批处理过程中即可以作为一个加工装置的生产过程元模型，也可以作为FMS中的一台机器的加工操作元模型。
通过对该模型在规模上的拓展和时间上的衍生，就可以得到一般性调度问题的模型。
Petri网标记语言胡晓静;胡敏;刘士喜【期刊名称】《计算机技术与发展》【年(卷),期】2011(021)012【摘要】Petri网标记语言(PNML)是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性.综合介绍了 PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P/T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向.%The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. PNML provide a way to exchange information among the Petri Net tools. Review the concept and structure of the PNML and describe the object of meta model. Building aP/T net model by PNK tool, then analyses the PNML object and labels of PNML file. Finally, outline the research in transformation from PNML to vector graph and workflow area.【总页数】4页(P66-69)【作者】胡晓静;胡敏;刘士喜【作者单位】合肥工业大学计算机与信息学院,安徽合肥230009;滁州学院计算机系,安徽滁州239000;合肥工业大学计算机与信息学院,安徽合肥230009;滁州学院计算机系,安徽滁州239000【正文语种】中文【中图分类】TP301.2【相关文献】1.混合Petri网的流体随机Petri网模型 [J], 黄镇谨;陆阳;杨娟;方欢2.流体随机Petri网的一阶混杂Petri网模型 [J], 廖伟志;古天龙;董荣胜3.流体随机Petri网与混合Petri网的比较分析 [J], 卢光松;葛运建4.一种新型的混合Petri网:步混合Petri网 [J], 支阿玲;骆再飞;王寿光;徐月同5.Petri网可扩展性标记语言 [J], 周必水;胡伟军因版权原因，仅展示原文概要，查看原文内容请购买。
![一种基于Petri网的工作流元模型研究[1]](https://img.taocdn.com/s1/m/6207586f58fafab069dc021e.png)
Vol. 39 No. 5Oct 2019第39卷第5期2019年10月弹箭与制导学报Journal of Projectiles , Rockets , Missiles and GuidanceDOI ： 10.15892/j. cnki. djzdxb. 2019.05. 011导弹作战流程Petri 网建模及测试用例生成方法黄耀华(西安现代控制技术研究所，西安710065)摘要：随着导弹作战流程复杂度和自动化程度的提升，基于模型的系统分析和测试技术已成为导弹武器系 统作战流程测试验证技术的重要发展方向。
通过对某型导弹武器系统作战过程信息流程的梳理，建立了作战流程的Petri 网模型，对系统的特性进行了分析，并基于Petri 网模型的数学工具构造出了测试用例的自动生 成算法。
该算法能够将系统状态变迁的测试用例整理为符合导弹武器系统测试场景的测试序列集合，实现对系统状态变迁的完整性覆盖。
关键词：导弹作战流程；状态变迁；Petri 网模型；测试用例生成中图分类号:TJ760.6文献标志码：APetri Net Modeling and Test Case Generation Method ofMissile Operation ProcessHUANG Yaohua(Xi * an Modem Control Technology Research Institute , Xi' an 710065, China)*收稿日期：2019 - 07 - 05第一作者简介:黄耀华（1974 -），男,河北人，研究员,研究方向:武器系统应用。
Abstract : Model-based system state analysis and test technology have become an important development direction in the field of missileweapon system operation process , along with the promotion of the complexity and automation of missile operation process. After summari zing the operation process of a concrete missile weapon system , the Petri net model is established and applied to analyzing of the system. Then the algorithms is built based on the mathematical tools of Petri net theory , which can generate test sequences to cover the state transi tions. The test sequences have the form that is suitable to be implemented in the missile weapon system.Keywords : missile operation process ； state transition ； Petri net model ； test case generationo 引言作战流程是导弹武器系统作战运用的关键内容, 是实现武器系统作战能力的基础。
基于人工免疫的模糊Petri网参数优化摘要：针对模糊petri网的知识推理能力受限于参数优劣，提出了一种基于改进人工免疫算法的模糊petri网参数优化方法。
实验表明，文中方法能较为准确地实现参数优化，得到的优化结果与期望值具有较小的均方误差，且与其它方法相比，具有较快的全局收敛速度和较强的全局寻优能力，具有很强的通用性。
关键词：参数优化；人工免疫；petri网；模糊中图分类号：tp393.11 引言petri网具有严格的数学模型，能以图形化地方式对系统发生的顺序、并发、同步和异步等行为进行直观地表示，同时能以精确地形式化语言对其进行表示和描述[1]。
目前petri网已广泛应用于故障诊断、协议描述与分析、自动控制和冲突检测等领域[2-5]。
模糊petri网[6]是模糊产生式规则和petri网结合的建模工具，既具有petri网的表示和描述能力，又具有模糊系统的模糊推理能力，使其非常适于对知识进行表示和推理，但缺乏自学习能力，因此其参数如权值、阀值和置信度等往往依赖于人工经验，具有片面性，影响了知识推理的精度，因此，对模糊petri网的各参数进行求解和优化具有重要意义。
因此，本文提出了一种基于改进人工免疫算法的模糊petri网参数寻优方法，能实现模糊petri网的各参数如权值、阀值和置信度等进行优化。
实验表明文中方法能实现对模糊petri网的各参数进行优化，具有通用性强和优化精度高的优点。
2 基于改进人工免疫算法的参数优化人工免疫算法针对所需要解决的问题进行分析，将待解决的问题看作抗原，将问题的可行解看作抗体，采用亲和度函数来评价抗体适应抗原的程度即解的优劣，最后通过免疫算子对个体进行具体操作生成下一代。
2.1 抗体编码4 结论petri网是一种离散动态系统的推理建模工具，它不仅具有严格的数学模型，同时又能形式化地对系统和事件进行表示和描述。
模糊petri网是模糊产生式规则和petri网结合的产物，非常适于对知识进行表示和推理，但其进行推理时需要的权值、阀值以及置信度等参数往往依赖于专家经验，所以本文提出了一种基于改进人工免疫算法的参数优化方法，通过对参数进行编码、设计亲和度评估函数以及设计模拟退火免疫选择算子，定义了一种基于人工免疫算法的模糊petri网参数优化算法。
