Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于Petri网的技术在电子政务办公系统中的应用

通过对基于Petri网的工作流建模技术的描述,介绍了与此相关的核心技术,研究分析了实际工作过程中电子政务办公系统中的发文管理的业务流程,引入了Petri网和工作流建模技术,结合具体实例提出了一种基于Petri网的电子政务办公工作流模型,并对该模型进行了可达性验证和合理性验证,二次开发后的验证结果和实践表明该模型能够有效地改善和提高电子政务办公系统的效率和实用性。     

基于Petri网的仓库火灾预警系统建模优化分析

对业务流程进行建模分析是业务流程管理的重要内容之一。文章通过形式化建模,用Petri网对传统的仓库火灾预警系统模型进行了优化分析。首先,给出传统仓库火灾预警系统的Petri网模型,通过模型模拟实际场景,找出模型中的缺陷;然后,通过增加相关的变迁和库所对模型进行优化,达到尽可能减小企业损失的目的;最后使用PIPE软件实验仿真验证优化后模型的可行性,实验结果表明,该优化后的模型可有效对仓库火灾进行预警。     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

基于 Petri 网的单件离散型制造业务流程优化

以 HY 制造企业的生产计划编制业务流程为研究对象,利用 Petri 网的建模技术构建该公司生产计划编制业务流程模型,然后采用 ESIA 流程优化方法与 MRP 方法相结合的方式对其流程进行优化与建议,最后利用 Petri 网的数学特性计算模型的性能等价时间,证明了其优化后的模型的时间优越性.     

基于Petri网的工作流并行算法的研究

为了模拟企业工作流的业务流程,实现企业业务过程的自动执行和监控,提出了一种新的工作流Petri网模型及其并行算法。(1)根据工作流系统和Petri网模型的特点,给出了工作流模型与Petri网的映射关系;(2)对基于Petri网模型的四种工作流网基本模型进行并行性分析,提出了一种新的工作流Petri网并行模型;(3)结合Petri网并行划分算法和新的模型进行融合与优化,提出一种新的工作流并行优化算法;(4)以应用实例对工作流并行优化算法进行验算与分析。结果表明,新的工作流Petri网模型及其并行算法可行有效。     

抽象数据类型Petri-Net

Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础.     

一种嵌入式系统扩展流关系Petri网及应用

为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证.验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

基于Petri网业务流程模型抽象方法研究

在传统的对模型抽象进行行为语义和控制流结构分析的基础上,提出了基于Petri网的业务流程模型行为轮廓的业务流程模型。将Petri网的理论和性质应用于业务工作流系统当中,能够从系统的运行过程和形式化的图形描述方式实现对工作流系统的快速建模和分析;定义了一个新的流程模型活动聚合公式算法,拓展了行为轮廓关于控制流结构上的模型抽象。