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

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

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

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

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

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

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

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

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

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

基于Petri网的城市主干道交通信号协调优化

为研究城市主干道交通信号协调优化问题,建立了包括交叉口交通信号显示模块与信号相位转换模块的时延Petri网模型与基于变速度连续Petri网的交通流模型,设计了由监控、判别和通行相位选择3个子系统构成的交通信号控制系统,并给出了具体的控制步骤.根据连续Petri网中各参数间的关系,以车辆排队长度、上游路段车流速度和下游路段畅通度为输入变量,以相位优先指数为输出变量,确定下一通行相位,采用模糊Petri网确定当前相位的最佳绿灯时间,并进行了仿真计算.仿真结果表明:采用Petri网与模糊控制相结合的方法后,由西向东与由东向西方向车流的行程时间分别缩短了7.1％、7.6％,交叉口排队长度的改进率分别为11.9％、11.2％,4个相位的交叉口平均延误分别由9.7、10.3、11.8、13.2s下降到8.2、9.1、11.4、11.4s.可见,主干道信号协调优化方法可以较好地实现干线信号协调控制.     

Petri网模型的程序仿真

提出了Windows平台上Petri网模型的程序仿真方法--用Windows操作系统中的线程和线程同步对象实现Petri网模型的两个基本元素(状态和变迁)的算法,并用一个模型来验证该仿真方法的正确性.仿真结果表明,算法正确,方法可行.     

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

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

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

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

基于随机Petri网的GSM-R越区切换成功率的形式化分析

首先建立了基于随机Petri网的GSM-R越区切换模型,在模型中综合考虑了信道故障、信道占用和越区切换参数配置不合理等影响越区切换成功率的因素.其次,说明了随机Petri网与马尔可夫链的关系,以及使用马尔可夫链分析“GSM-R越区切换的随机Petri网模型”的方法.最后,利用SPNP工具分析了影响GSM-R越区切换成功率的因素,发现GSM-R小区预留信道越多,越区切换成功率越高;列车运行速度越高,越区切换成功率越低;在一定范围内,列车追踪间隔越大,越区切换成功率就越高     

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

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

引入优先因子的模糊Petri网及其在故障诊断中的应用

针对复杂系统故障机理的错综复杂,利用模糊产生式规则建立了模糊Petri网的故障诊断模型.一方面利用Petri网的图形描述能力,用分步运算加判断的方法在图形结构上进行正向或反向搜索;另一方面考虑实际故障搜索过程中,当同一层次上几个变迁的可信度值十分接近甚至相等时,仅依据可信度最大的原则来进行取舍的不合理性,引入表示故障严重程度的优先因子,使模型更符合实际情形.最后以某复杂系统故障诊断实例说明了模型的有效性.     

A FUZZY REASONING PETRI NET MODEL AND ITS REASONING ALGORITHM

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

基于Petri网的模块化生产系统建模

针对模块化生产系统是一种结构组成多样,事件触发频繁,控制对象多,控制信息量大,系统结构复杂的典型的离散型动态系统,基于Petri网对模块化生产系统总体工艺路线进行建模,验证了所设计的总体工艺路线的可行性.同时提出了一种直接利用Petri网编写PLC程序的方法.     

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

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

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.