基于赋时着色Petri网的木材柔性加工系统的建模与重构

以Petri网为建模工具,针对木材柔性加工系统(Wood Flexible Manufacturing System,WFMS)中的离散事件建立赋时着色Petri网(Timed Colored Petri-net,TCPN)模型.该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构.应用软件对该模型进行仿真,结果表明该模型是有效的.根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率.     

基于混杂CPN模型的交叉口交通系统仿真

提出了一种混杂着色Petri网建模实例,通过着色对交通系统对象分类,引入赋时机制增强了实时性能,通过首创的内外两层Petri网连接路口交通的离散和连续事件.最后在该CPN模型的基础上,给出了一种优化路口实时信号控制的策略.     

基于Petri网建模的语法分析的研究

在LR分析法理论的基础上,利用Petri网为语法分析这个庞大的系统建模,所建模型适用于广泛流行的LR文法,为语法分析提供了一种更为高效的途径,实现了基于Petri网建模的语法分析.     

基于赋时着色Petri网的木材柔性加工系统的建模与重构

以Petri网为建模工具,针对木材柔性加工系统（Wood Flexible Manufacturing System,WFMS）中的离散事件建立赋时着色Petfi网（Timed Colored Petfi—net,TCPN）模型．该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构．应用软件对该模型进行仿真,结果表明该模型是有效的．根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率．     

基于BP算法的模糊Petri网鱼雷故障诊断方法

模糊Petri网是故障诊断系统建模与分析的一种重要工具,但存在自学习困难的特点.该文将具有强大自学习能力和容错能力的神经网络与模糊Petri网相结合,并根据实际工程应用情况,提出最大路径法对模糊Petri网分层,避免了虚变迁和虚库所加入带来的模糊Petri网故障诊断模型复杂化问题,然后运用神经网络中的BP算法对模型参数进行学习,使模型具有了自学习和泛化能力.将其应用到某型鱼雷电子系统的故障诊断系统中,结果表明,该方法能够有效地提高模型故障诊断能力.     

����ɫPetri����������ͨ�ŵ� �г� ����ϵͳ�IJ��ģ��

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，本文在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究.有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真.为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN /Tools工具软件来实现.通过建立一个墓于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台莫定了良好的基拙.     

生产技术准备过程的时间Petri网模型及其推理方法研究

从Petri选择网模型的概念入手,分析了时间Petri网(TPN)模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用.     

基于Petri网的仓储物流系统建模与仿真

Petri网作为一种离散事件动态系统的建模和分析方法，提供了在逻辑时序下研究系统特性和性能的有效手段，并有图形方法的直观性和逻辑方法的概括性．运用Petri网对一个简化了的仓库物流系统进行建模，运用基于Petri网的仿真软件对其仓储系统进行了仿真，并简单地分析了仿真的运行结果，由此提出了一种物流系统实际运作的仿真方法．     

生产技术准备过程的时间Petri网模型及其推理方法研究

从Petri选择网模型的概念入手,分析了时间Petri网（TPN）模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用.     

基于Petri网的单点信号优化感应控制

基于连续Petri网,建立交通流混合控制模型,通过分析离散化的交通信号控制混合Petri网模型,研究单交叉口交通信号感应控制问题.基于混合Petri网模型参数的分析,建立了各相位车辆总停留时间的计算方法;从库所标识与变迁使能程度间的复杂关系出发,研究了库所标识的变化规律;以车辆总停留时间最短为目标优化感应控制模型,仿真计算各相位绿灯时间.结果表明:基于混合Petri网的优化感应控制方法,4个相位的车辆平均延误显著缩短,可以较好地实现单点信号控制.     

基于Petri网的集装箱空箱调运仿真分析

Petri网可以很方便地用来分析禽散事件系统和建立模型。对集装箱空箱调运系统（CAECS）进行了分析,构建空箱调运的Petri网模型，然后利用EXSPECT仿真软件进行模拟仿真，从而证明了利用Petri网分析和解决集装箱空箱调运问题的有效性。     

运输网络最大流的Petri网图仿真算法

现代化的综合交通体系和智能交通系统要求必须首先解决运输需求分析和运输网络分析的技术问题。Petri网理论可以被引进到运输网络理论中 ,用来解决最基本也是应用最广泛的最大流问题。首先介绍了 Petri网与有向网络的 Petri网模型 ;然后 ,给出有向网络最大流的求最短路法 ;在此基础上 ,采用 Petri网论法和计算机图形仿真法相结合的方法 ,求解运输网络最大流。即用Petri网图仿真器把无向运输网络转化为有向运输网络 ,然后求有向运输网络 G的对偶网络 DG,再用 Petri网图仿真器将对偶网络 DG转换成 Petri图模型 ,并自动求得 DG最短路 (原网络 G的最小割容量 ) ,即运输网络最大流。该方法比现有方法更方便 ,速度更快 ,而且形象、直观 ,是更实用的方法和手段     

A FUZZY REASONING PETRI NET MODEL AND ITS REASONING ALGORITHM

ＩｎｔｒｏｄｕｃｔｉｏｎＰｅｔｒｉｎｅｔ（ＰＮ）ｉｓａｍｏｄｅｌｉｎｇｍｅｔｈｏｄｕｓｉｎｇｎｅｔｇｒａｐｈｓ．Ｕｓｕａｌｌｙ,Ｐｅｔｒｉｎｅｔｉｓｕｓｅｄｔｏｍｏｄｅｌａｎｄａｎａｌｙｚｅｄｉｓｃｒｅｔｅｅｖｅｎｔｓｙｓｔｅｍｓ（ＤＥＳ）,ｓｕｃｈａｓｃｏｍｍｕｎｉｃａｔｉｏｎ,ｍａｎｕｆａｃｔｕｒｉｎｇｓｙｓｔｅｍｓａｎｄｓｏｏｎ．Ｃｕｒｒｅｎｔｌｙ,ｓｏｍｅｗｏｒｋ［１,２］ｉｓｂａｓｅｄｏｎａｃｏｍ－ｂｉｎａｔｉｏｎｏｆＰｅｔｒｉｎｅｔｓａｎｄａｒｔｉｆｉｃｉａｌｉｎｔｅｌｌｉｇｅｎｃｅ…     

基于Petri网的复杂行车故障分析方法研究

鉴于铁路大型客运站行车安全的重要性和复杂性,从人员、设备、环境的角度出发,建立系统的事故树,然后再将其转换为Petri网模型.提出了利用Petri网的关联矩阵求解系统最小割集的方法,并计算顶上事件的发生概率以及基本事件的临界重要度系数.以某车站发生列车冒进信号事故为例,建立了事故系统的Petri网模型,并对模型进行了定性和定量的分析.研究结果表明：Petri网能够更加清晰和准确地描述客运站行车事故过程,计算得到的结果反映了客运站目前的行车状况.     

基于赋时可重构Petri网的可重构制造系统调度算法

根据赋时可重构Petri网的可重构制造系统调度算法和赋时可重构Petri网的跃迁激发顺序，生成并求解部分可及图，以获得优化或准优化的调度．该算法能以较低的计算成本获得可重构制造系统最小的最大完成时间．用一个调度算例验证了该调度算法的可行性．     

基于BP算法的模糊Petri网在铁路客运站行车事故分析中的应用

针对铁路客运站行车事故致因过程的动态性以及事故原因的模糊性,提出了一种Petri网图形建模同模糊控制理论相结合的分析方法.根据具体的事故产生式规则,建立了行车事故的模糊Petri网模型,进一步又将神经网络的BP算法引入到模型参数的学习中,通过给出的模糊推理算法,推理计算出事故的主要原因及可信度.最后将该方法应用到某客运站行车事故分析中,结果证明了其在事故分析中的准确性和可行性.     

基于Petri 网模型的铁路快捷货运产品可靠性评价

为准确评价及预测铁路快捷货运产品的可靠性,在全面分析铁路快捷货运产品可靠性影响因素的基础上,建立用于产品可靠性评价的故障树模型,并采用下行法求取故障树的最小割集;结合Petri 网建模方法与故障树基本理论,将产品故障树转化为 Petri 网仿真模型,并证明两者的等价性;利用Matlab 仿真软件进行基于关联矩阵的Petri 网模型求解,并以北京-上海间特快货物班列为例,得到该产品的可靠度及故障因素重要度排序.实证结果显示,应用Petri 网模型来求解产品可靠性评价问题,不仅能够有效提升求解过程的效率,而且准确易行.研究成果可以为提高铁路快捷货运产品可靠性和市场竞争力提供科学依据和必要支撑.     

Research of legal affair simulation based on Petri net

Legal affair simulation is on the basis of information technology, and can simulate legal scene. College students do legal experiments with virtual reality scene. This helps to train college students. Petri net has not only strict math definition to analyze the dynamic behavior of models, but also intuitive graphic expression. Petri net is used to model for legal process. Reduction rules of Petri net are used to analyze the correctness of the system. At last Java Business Process Management (JBPM) technology is used to realize legal affair simulation models, models are transformed into flow charts. Simulation software deduces processes of legal affair. Many college students have improved their ability with the software, the fact proves that the method is effective.     

基于Petri网的网络最小费用最大流算法

将Petri网方法应用于求解网络的最小费用最大流问题,提出费用Petri网的定义,设计费用Petri网的变迁使能规则并提出求解最小费用最大流问题的Petri网算法.与以往的算法不同,该算法通过对库所进行标号寻找变迁的触发序列,并在该序列上增流.最后举例说明算法的应用.