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

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

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

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

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

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

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

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

基于Petri网的企业管理信息系统建设模型

对于不同企业,计算机的应用水平、人财物等资源的状况和企业领导的重视程度都决定了企业管理信息系统建设的成败.利用Petri网理论,对企业管理信息系统建立过程进行了模拟,从而可以消除不必要的损失,达到对企业管理信息系统设计优化的目的.为决策者提供了直观、简洁的分析方法.     

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

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

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

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

A-SMGCS机场场面运行控制的Petri网建模

以基本网模型为基础,阐述典型运行单元精细化模块构建方法与替代规则,生成场面精细化模型.采用航空器后续滑行路径对托肯进行着色以完成航空器建模,并给出精细化模型与航空器模型集成的方法,实现场面资源的动态竞争建模.以首都机场部分场面运行控制过程建模为例,验证所提建模方法的有效性和适用性.     

联锁软件的Petri网模型化

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

磁悬浮列车跨系统运行Petri网模型

根据磁悬浮列车跨系统运行需求, 研究了其运行控制系统的总体框架, 明确了需要增加的功能子系统。基于系统理论, 采用Petri网对系统关键属性、列车运行过程及各子系统的功能进行了层次化的建模。最高层模型描述系统整体关键属性, 低层模型描述列车运行过程及可靠性。此模型可用来定量分析磁悬浮列车系统层面上跨系统运行时, 失败率与各子系统部件可靠性之间的关系。如每年磁悬浮列车跨系统运行失败次数不超过1次, 则连接相邻列控系统的2个通信网, 其失效率都需低于10^-6次·h^-1。当列车跨系统运行触发时间分别为0.2、2.0min, 步进时间分别为4、16min时, 则跨线运行失败率分别为1.95×10^-5、1.65×10^-5次·h^-1。仿真结果表明: 列车跨系统失败率随a网和b网可靠性的提高而降低, 同时随着跨系统触发时间和步进时间的增加而降低。层次化建模分析方法可以根据系统层面的关键属性要求, 定量确定各子系统部件的可靠性需求。     

公路养护管理办公自动化系统概述

目前办公自动化系统日趋成熟,并在各个行业得到了广泛的应用。通过介绍办公自动化系统的优点,并结合公路养护部门的业务需求,阐述公路养护管理办公自动化系统的组成部分,可供同行参考和借鉴。     

铁路智能办公管理信息系统需求分析及设计

介绍OMIS系统的发展历程,从内部和外部用户角度对铁路智能办公管理信息系统进行需求分析。对OMIS系统进行具体功能设计,分析系统功能需求;最后提出我国铁路智能办公管理信息系统的未来发展方向。     

软件重用技术在通用办公管理系统中的应用

本文针对通用办公管理系统的开发过程中的软件重用策略与方法,从系统分析、设计到编码,介绍软件的领域重用与层次重用的方法。     

高校办公自动化建设的探讨

随着计算机及网络技术的迅速发展,办公自动化逐步在高校得以普遍应用,提高了高校管理的效率,但也面临着一些制约的因素。本文简述了高校办公自动化建设的必要性,分析了目前高校办公自动化建设的现状,对其存在的问题,提出了相应的对策。     

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

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

Lotus Domino/Notes技术在企业协同办公系统中的应用

协同办公系统是企业信息化建设的一个重要组成部分,Lotus Domino/Notes是实现和运行办公自动化的最有效平台之一。介绍Lotus Domino/Notes技术的系统架构,分析中石化某公司协同办公系统的建设目标、总体设计、结构选择、数据库设计以及功能模块设计,最后对基于Lotus Domino/Notes技术的协同办公系统的特点进行分析。系统具有很强的灵活性,能根据自己的需要自定义工作流,大大提高办公效率,使得上下级协作机构以及部门间的信息交流更加通畅、安全、稳定、可靠。     

基于时间Petri网的集装箱码头AGV调度系统建模研究

在分析了集装箱自动化码头物流系统中的自动导引小车-AGV工作情况的基础上，提出了利用时间Petri网对AGV调度系统建模和性能分析的基本思路；建立了AGV的运输路径模型，并进行了系统性能特性分析；结果表明这种模型能够准确地描述集装箱码头物流系统的运行状况．     

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

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

新形势下高校房地产档案管理刍议

高校房地产档案管理是高校房地产管理的一项基础性工作,发挥着重要作用.新形势下,要根据其特点和作用,逐步强化管理并趋于现代化.文章结合工作实际,就高校房地产档案管理谈几点看法.     

高校档案网络化管理的思考

阐述了计算机网络技术在档案管理工作中的必要性、必然性和优势,并阐明了在发展高校档案管理工作网络化的实现方法以及进程中应注意和解决的几个问题。