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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于Petri网的城市轨道交通车辆子系统运营安全性模型

本文提出了一种可用于分析城市轨道交通系统安全性的Petri网建模方法,将其用于轨道交通车辆运营安全性建模。该模型利用面向对象方法,将轨道交通车辆子系统分为三个对象处理模块,各个对象类之间通过消息库所连接,从而形成较完整的车辆子系统运营安全模型。     

基于随机Petri网的车险理赔效率建模与分析

为提高车险理赔效率,构建车险理赔效率随机Petri网模型,基于工作流网结构和实务操作流程分析模型的正确性并改进模型,采用软件PIPE验证模型的合理性。以某保险公司500起车险事故理赔数据为研究对象,构建与随机Petri网同构的车险理赔效率马尔可夫链,分析车险理赔流程中的低效率环节。结果表明：拒赔、定损和赔款处理流程耗时较多,与车险理赔实际情况吻合。车险理赔效率随机Petri网模型通过变迁利用率和标识流速能动态地描述车险理赔系统的运行时效。根据车险理赔效率分析结果,可缩减定损环节和赔款处理环节时间,显著提升保险公司的车险理赔效率和客户的服务体验。     

联锁软件的Petri网模型化

铁路信号计算机联锁系统是一个安全－关键系统，运用Petri网模型化了该系统中的软件部分，包括上位机，联锁机和采集／驱动部分，该模型将有助于检测系统定义的一致性，完整性和精确性，有助于提高系统的安全性和实时性能。     

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

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

基于Petri网的测试用例生成研究进展

在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。     

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

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

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

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

基于HCPN的列车运行调度模型分析

结合已有的列车运行调度模型,采用Petri网分析方法对列车运行调度模型在理论上进行了分析和证明,指出模型具有结构有界性、部分守恒性、活性等离散性质以及调度库所的作用,保证了模型的正确性和有效性．通过对模型的分析,得出列车运行调度问题的本质是一个最优控制问题．