基于Petri网的生产管理模型分析

推动式（Push)和拉动式（Pull)生产管理模式有各自的特点，适用于不同的环境，描述他们的运行规律是决策分析的前提。本文运用Petri网理论对拉动式生产和推动式生产过程进行建模分析，了解了两种生产方式主要冲突产生的环节，为进一步分析与决策打下基础。     

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

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

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

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

基于Petri网建模的机务段管理信息系统的研究与实现

将Petri网建模技术应用于机务段信息化系统的开发过程中,并结合Petri网理论和机务段业务流程的特点,提出了机务段业务流程模型,通过定义的模型5元组来描述各检修过程之间的信息、资源和组织之间的关系,引导过程中的检修活动自动进行,对检修活动所需的资源进行调度分配,从而将各检修活动组织成一个顺畅的工作流程,为机务段业务流程的分析优化以及应用软件系统的开发提供了逻辑模型支持;通过矩阵方程对所建网模型进行性能分析,证明该模型的合理性．该模型能顺应机车检修工艺的变化重组业务流程,实现信息系统的可持续升级．     

Petri网应用综述

综述了Petri网应用的一些发展状况.指出了各种应用的发展热点和难点.对研究Petri网有一定的指导作用.     

基于Petri网的工作流管理系统的设计与实现

以某供电公司工作流管理系统为背景 ,采用群件系统LotusDomino/Notes平台 ,在分析Petri网的基础上 ,提出了单一状态模型的工作流设计思想 ,并完成了工作流管理系统的设计和实现 ,从而实现了办公过程的无纸化和自动化 ,支持协同工作 ,提高了现代企业的管理水平和工作效率 .     

UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

基于Petri网的CONWIP控制系统的建模与仿真

基于Petri网理论,构建了CONWIP控制系统的分层模型.在此基础上,运用仿真软件Arena,对CONWIP、MRP和Kanban系统的制品数量、平均加工时间、平均作业率等指标进行了分析比较.结果表明: CONWIP系统最优,可有效控制在制品数量和有效利用机器产能.     

办公自动化环境下公文管理的Petri网模型

办公自动化系统是实现企业内部各部门之间办公信息的收集与处理、流动与共享、实现科学决策的信息系统.公文管理作为企业办公自动化系统的核心涉及到几乎所有的部门,文中在分析公文管理特点的基础上,以Petri网为描述手段,建立了企业办公自动化环境下收发文过程的Petri网模型,并利用矩阵方程对其进行了相关的分析和验证.     

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

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

基于教务系统的自动化软件测试研究

软件测试已成为软件质量保障的重要手段,自动化测试工具的出现也使得人工测试不可能完成的任务成为可能。如何根据测试理论设计测试用例,利用自动化测试工具完成系统的测试并发现其中存在的问题是本文的主要研究目的。     

���е�·��ͨϵͳ�Ķ�̬�����Petri����ģ�����

城市道路交通系统是一个同时具有离散和连续动态,并包含大量随机不确定因素的动态系统,具有动态、并发及同步等特征.在目前交通状况日益复杂的情况下,其动态及随机不确定特性愈加明显.对城市道路交通系统进行建模分析,是深入了解交通状况、进行交通诱导及控制的关键.本文在基本Petri网的基础上,将广义随机Petri网(GSPN)与交通流概念相结合,建立了符合交通流概念的动态流随机Petri网(FSPN)模型.该模型可以很好地描述城市道路交通流的动态及随机特性,并能对城市道路交通系统中的某些随机现象作出很好的解析描述.文中针对四相位十字交叉口给出了动态流随机Petri网建模实例;活性分析表明,该模型能有效避免系统并发性带来的死锁现象.最后仿真运行分析和性能分析进一步证明了动态流随机Petri网的有效性.     

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

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

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

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

T型刚构桥静载试验的应用研究

本文以沈阳市内某T型刚构桥为例,介绍了此类桥型的静载试验方案的选择和设计,利用midas civil进行理论分析计算,将实测数据和理论计算数据有机的结合起来对静载试验结果进行评定,为同类桥型的检测提供一个有益的参考和借鉴。