基于Petri网的网约车系统建模优化

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析尤为重要.Petri网可达性是进行Petri网业务系统分析研究的基础,主要分析系统可能达到的状态和状态间的关系.针对常用的网约车软件,给出业务流程Petri网模型,并结合实际情况以及流程模型之间的交互关系,用Petri的可达性对系统进行建模分析.同时,为了商家和乘客利益的最大化,通过增加相关的控制结构对模型进行优化.实例分析了该方法的有效性.     

制造系统工作流设计的校验和性能分析方法

基于广义随机Petri网提出了对工作流的 流程和资源角色分配的转化规则。在此基础上, 得出了在虚拟企业中，重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是：安全、活性和标记守恒。对制造系统重组变化性能的定量分析，可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价，它为敏捷化快速重组优化找到了有效的手段。最后，通过实例说明了判定和分析的一般步骤。     

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

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

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

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

基于随机时间Petri网的第三方物流业务流程建模与分析

以流程为核心对供应链进行再造是优化供应链的重要措施．而对流程进行量化的分析评价是近年来流程再造研究的热点．Petri网以其兼备图形化的描述方式和严格的数学定义的特点而成为目前流行的业务流程建模工具．给出随机时间Petri网的定义及其性能评价方法之后,对第三方物流业务流程进行建模和分析。     

基于Petri网的运输流程系统建模优化

通过Petri网对货拉拉运输流程的建模进行了优化，对传统货拉拉运输流程进行建模，并发现模型中存在一些不足，针对其不足进行相应的优化，加入了物品分类别运输和订单异常问题处理的方法，对其运输中产生纠纷的现象提出了一种解决方法。Petri网作为一种用于描述离散的、分布式系统的数学建模工具，它在货拉拉运输中的运用不仅提高了运输的效率，也同时提高了客户的满意度和服务的质量。将所构建的模型在PIPE软件中进行仿真，验证了该优化的合理性和可行性。     

基于Petri网的项目外包实施流程建模与优化

项目实施是外包行业的重要组成部分,在整个项目的上线过程中起着重要的作用。目前已经存在大量的完整的项目实施流程,但这些业务流程存在着一些缺陷,无法适应不同客户对项目接受能力的差异,培训实际消耗时间与预期时间不一致,影响项目实施进度等问题。为了解决这一问题,利用Petri网对项目实施流程进行建模和分析,给出了优化的项目实施流程模型。优化后的模型缩短了项目实施周期,改善了项目外包的实施流程。     

医疗急诊流程挖掘与模型改进

基于流程挖掘中的α算法和流程挖掘平台ProM(process miner),将医疗急诊流程的事件日志转化为Petri网模型,并将其与医疗急诊日志及实际流程对比分析。由于α算法的局限性,对于一些复杂结构,可能会导致错误的挖掘流程。基于逻辑Petri网,给出了一种挖掘模型的改进方法,利用逻辑变迁来避免选择结构,并进行医疗急诊流程的二次建模,进而保证构建的流程模型与实际流程保持一致。     

基于随机Petri网的家具O2O物流流程分析与优化研究

以雅堂电商O2O模式为研究对象,引入随机Petri网构建面向客户的O2O物流流程模型,寻找流程运作过程中的不合理环节,并利用流程重组优化法对不合理结构进行优化改进,从而使得优化后的系统订单处理时间更短,处理能力更强,为雅堂O2O业务以及同类流程的优化提供理论及实践依据,为O2O模式下系统流程的泛化提供参考。     

基于Petri网的跨境电子商务通关流程优化研究 ——以宁波B2B跨境出口为例

通关业务创新和优化是跨境电子商务发展面临的主要挑战。以宁波B2B跨境出口通关流程为例,运用Petri网建立通关流程模型,通过关联矩阵重组对Petri网结构进行分析和优化,消除了单据传输繁琐、重复审核、重复查验等不合理环节,平衡了同步作业容量,优化结果显著提升了通关效率。研究发现,信息壁垒是导致流程冗余低效的主要原因,加强海关大数据实时抓取和处理能力,提早判断、重点监管,使通关工作实现"前推后移",应是跨境电子商务通关业务优化和创新的必然选择。这些研究工作期望能为因应跨境电子商务快速发展的海关业务创新提供理论参考和方法支持。     

基于工作流的企业过程分析与重组方法研究

为了解决目前大多数过程建模方法都不能够充分满足BPR需要的问题,应用工作流技术,提出了一种附带有过程语义字典的工作流扩展模型。同传统的建模方法相比,工作流扩展模型进一步丰富了过程的语义属性,它不仅满足BPR对流程进行规范化描述的需要,而且还具有描述并发、冲突、同步等复杂关系的能力。同时,它还提供了基于相似性和耦合性的过程分析技术,从而为实现过程的重组提供了重要依据。最后,通过一个应用实例对模型进行了验证。     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

基于Petri网的语义Web服务过程模型匹配算法研究

为了在服务发现中提高效率及准确率,在服务匹配过程中引入了服务执行状态的变迁等因素即服务的过程模型。而Petri网能够把Web服务的过程模型进行形式化描述．在服务发现中引入Petri网,通过Petri网描述web服务的过程模型,再对Petri网进行语义标注,最后通过计算过程模型的相似度来实现基于Petri网的语义Web服务发现匹配．这种方法结合现有采用功能性参数匹配的语义web服务发现对提高服务发现率,尤其对改善服务发现准确率起到了一定的作用．     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

Internet的产品快速原型制造过程建模

过程建模是过程管理和集成的基础．在分析基于Internet的产品快速原型制造过程的基础上,分别利用IDEF3和Petri网方法建立其过程模型．描述多因素相互问的动态行为,同时解决各环节之间的并发性、异步性、分布性等问题．分析并比较IDEF3和Petri网方法的优缺点,提出以Petri网为主、IDEF3为辅的过程建模策略．     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。