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

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

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

云计算环境下基于Petri网的流程计费模型

通过分析云计算环境下服务模块流程组合的动态性,运用随机Petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用Petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.     

基于Petri网的图书借阅系统的 建模与优化分析

为提高图书的利用率,实现更人性化的借阅服务,提出了一种基于Petri网的图书借阅系统模型的优化方法.首先,通过分析图书借阅系统的结构,利用Petri网对借阅系统进行建模; 其次,对Petri网模型中的各变迁之间的行为轮廓关系进行分析后,通过增加控制结构对模型进行优化; 最后,利用PIPE软件对优化后的模型进行仿真模拟,结果表明优化后的模型具有有界性和安全性.     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

基于扩展Petri网的仿真建模与分析

从扩展事件驱动过程链(EEPC)和传统Petri网入手,结合二者的特点,提出新的仿真模型——基于EEPC的扩展Petri模型。该仿真模型既能体现业务流程的逻辑结构,又能定量对时间等因素进行计算与判定,从定性和定量两个方面保证了流程分析的正确性与有效性。以某医院内科病人就诊流程为例对该仿真模型进行了有效性验证。     

基于构件的可重构生产计划管理系统

针对目前生产管理软件业务流程固化,系统通用性差,不能满足不同企业要求的问题,引进了工作流技术.基于Petri网对生产计划管理流程进行建模,并依据工作流联盟提出的参考模型对其业务进行管理,使业务流程具有可重构性.同时,基于构件技术设计生产计划管理系统的体系结构,使得系统具有良好的可重构机制.     

基于赋时Petri网的装配序列规划符号求解

赋时Petri网非常适合装配序列规划问题的建模,然而组合复杂性严重制约了基于赋时Pefri网模型的装配序列规划问题的求解规模.OBDD能为Petri网的状态空间及装配序列规划过程中的数据提供符号表示,并在规划过程中实现隐式操作,有效地缓解了组合复杂性.通过将赋时Petri网中的赋时迁移用等价的赋时迁移结构代替,赋时Petri网转换为等价的普通Petri网,基于此提出符号有序二叉决策图OBDD装配序列规划算法,求解最优装配序列.     

基于Petri网行为轮廓的网上购物流程挖掘方法

为了满足企业业务流程模型的运行效率、完善网上购物流程,提出了一种基于Petri网行为轮廓的网上购物流程挖掘方法.首先根据某网上购物系统提供的事件日志,利用Petri网行为轮廓的弱序关系,设计出相应的流程模型; 然后通过计算模型与事件日志之间的服从程度,对初始模型进行改进和优化; 最后用实例分析说明了本文挖掘方法的可行性.     

基于Petri网的危险品出入库流程建模优化

针对危险品出入库流程中存在的安全隐患问题,提出了一种基于Petri网的危险品出入库流程模型的优化分析方法.首先介绍了Petri网的基本概念; 然后在确保出入库流程安全的前提下,通过增加、删除、合并变迁等方法对出入库流程进行了建模优化; 最后利用PIPE软件对优化后的模型进行了模拟运行,结果表明本文方法能够有效提高危险品出入库的安全性和高效性.     

基于Petri网的酒店支付模型优化分析

以优化酒店支付模型和提升客户体验为目的,提出了一种基于Petri网的酒店支付模型的优化方法.首先根据酒店支付的实际流程建立基于Petri网的原流程模型,并分析原流程模型中存在的不合理环节; 然后在保证酒店支付行为可行的情景下,通过增加相应的结构变迁对原流程模型进行优化; 最后利用PIPE软件对优化模型进行模拟运行,结果表明优化后的模型合理、可靠,可为酒店支付提供有效参考.     

基于Petri网的门诊就医流程模型优化分析

为减少患者就医排队时间,实现医院和患者之间相对的利益达到最大化,本文给出了基于Petri网的门诊就医流程模型的优化分析方法.首先,给出门诊就医流程的Petri网模型,通过实际的门诊就医情况分析流程模型中库所和变迁之间的交互关系,找出模型中存在的问题; 然后,通过增加相关的控制结构对模型进行优化,并通过分析说明了流程模型优化的有效性.     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网(ETPN)的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解.首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度.通过实例证明了该建模方法和优化算法的有效性和正确性.     

VLSI功能测试的最佳测试序列的选取

介绍了VLSI功能测试向量生成的Petri网模型和Petri网模拟测试序列中指令的关系,构造了压缩存储网络的拓扑信息的Petri网简约矩阵。用Petri网简约矩阵检查测试序列的不确定度,使测试序列不确定度最小,从而优化了测试序列,即从给定的指令中选出了最佳测试序列。     

基于RCEPN的资源配置优化模型与方法

由于系统资源变化会限制传统随机Petri网的应用,在对传统随机Petri网研究的基础上,提出一种带有资源约束的扩展Petri网（RCEPN）方法,使RCEPN中的每个变迁都有一类资源关联,并且变迁的实施速率与资源数量密切相关.RCEPN不仅使状态空间缩小,降低复杂性,也可使系统中任务和资源间的逻辑关系更加清晰,便于流程描述.利用排队论和数学规划给出了流程优化的数学模型,形成了解决资源优化配置问题的0-1规划,使RCEPN系统的响应时间最短.通过采购业务流程实例,验证了模型建立和优化方法的有效性.