基于Petri网的危险货物道路运输应急协同处置流程建模

为有效提高危险货物道路运输突发事件应急处置效率,基于随机Petri网构建了危险货物道路运输应急协同处置流程模型;通过同构马尔可夫链分析该流程模型的时间等性能,以各标识稳定概率的累计变化值为切入点,确定应急处置流程中的关键环节,并通过边际效益优化实施速率。研究结果表明,构建的危险货物道路运输应急协同处置流程模型能量化确定应急处置的关键点,可有效提高多主体应急联动处置效率。

基于模型的业务流程建模平台研究与实现

提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。

面向科学计算的业务流程建模技术研究

分析面向科学计算的业务流程的特点和需求,提出一种适用于科学计算的领域元模型及其智能流程建模语言(SPML),给出领域元模型的形式化描述以及SPML到业务流程执行语言的转换算法。在此基础上,设计并实现一种基于SPML的业务流程建模系统。分析结果表明,该系统既能帮助用户进行业务流程分析和抽象建模,又能生成可执行文件和部署文件,完成流程的自动化部署。

支持复杂事件处理的业务流程建模研究

现有的流程建模语言缺少对复杂事件的支持。通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件。在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网关的图形表示。最后通过实例来说明用BPMN建模时遇到的问题以及如何用CE-BPM建模解决问题的。

业务流程重组中流程建模与重组效果评价研究

为了重组企业的业务流程 ,提高企业的经营效率 ,使企业在复杂多变的市场环境中更具竞争力 ,应用扩展的Petri网建模方法和建立评价指标的方法 ,从业务流程重组的基本原理出发 ,对业务流程的建模和流程重组的评价方法进行了研究 ,提出了完整的流程建模过程 .给出了流程的数学及图形表示方法 ,提出了应用流程时间减少率来评价流程的重组效果 ,并分析了影响流程时间减少率的 3种情况 .通过实证研究 。

基于PI-演算的网上并联审批业务流程建模及验证

首次将进程代数PI-演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建立的模型进行了验证,确保了模型的正确性和可行性,极大地降低了项目实施投资风险。

基于赋时层次有色Petri网的医疗服务流程建模与优化

构建一个高效、精简、优质的医疗服务流程是医院高效、低成本和高质量运营的基础。针对目前医疗服务缺乏定量化的分析评价手段,提出了采用赋时层次有色Petri网(HTCP-net)来建模和优化医院当前的医疗服务流程。应用建模、仿真工具CPNTools对医疗服务流程进行建模和仿真分析,从而得到患者平均等待时间、各类资源利用率等医院的外部和内部性能指标,最后在此基础之上通过合并任务、整合资源等流程重组和优化方法实现了医院服务效率的提高和服务质量的改进。

基于Petri网的采购业务流程建模及仿真优化

以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业务流程模型进行了时间定量分析,并利用ExSpect仿真软件模拟分析了原有采购流程及优化后流程的优劣。结果表明,通过应用信息技术和合理地选择供应商选择模式,提高了业务信息传递和处理的效率,缩短了采购周期。

BPEL流程建模中的交叠模式分析与转换

由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.

基于角色的柔性流程建模

在分析基于活动的流程模型基础上,讨论了基于角色的流程建模方法。首先基于资源依赖的业务目标分解预制角色类,以简化角色的确定过程。在此基础上,提出了层次化的流程建模框架,此框架将流程建模分解为分析、服务分解、装配和部署等步骤,通过角色的选择、配置和组合实现一定的流程建模柔性。

柔性流程建模研究

流程建模的柔性是企业变化管理的重要因素 ,它不仅依赖于建模者的敏捷性 ,而且对建模工具和方法的柔性提出了要求。首先分析了柔性流程建模的含义和特点 ,然后讨论了在流程优化背景下流程的相对稳定和易变的性质 ,运用组件等技术分析了柔性建模体系的有关问题 。

基于区块链原理的集装箱共享模式下集装箱运输流程建模与仿真

针对集装箱存量共享与增量共享均不能有效实施的问题,提出基于区块链原理的集装箱共享模式。首先,阐述基于区块链原理的集装箱共享模式的运作机制;其次,分析在该模式的作用下,集装箱运输流程发生的变化;然后以Petri网理论为基础,使用CPN Tools分别建立传统模式与基于区块链集装箱共享模式下的集装箱运输流程的赋时着色Petri网(CPTN)模型;最后,对模型进行仿真实验,选取不同模式下接收订单到提取空箱装货的时间、路运段空车行驶时间比例、订单损失率、作漏装的集装箱比例这四项指标对比分析。实验结果显示,与传统模式下相比,基于区块链的集装箱共享模式下,发货人提箱时间缩短,集卡空车行驶比例减小5.28%,不再出现因船期与订单时间窗不匹配而损失的订单,作漏装的集装箱比例减小6.99%。通过仿真实验结果可知,基于区块链原理的集装箱共享模式不仅能够弥补集装箱存量共享与增量共享中存在的不足,而且对集装箱运输流程起到优化作用,是集装箱运输行业实现降本增效的一种有效途径。

虚拟应急物流协同预案编制与流程建模仿真研究

为提高我国应急物流预案运行实施的协同性,提出虚拟应急物流协同预案的概念,分析了虚拟应急物流协同预案的涵义、主要要素及体系结构,论述了虚拟应急物流协同预案编制的基本原则和步骤。在以上研究的基础上,采用着色Petri网理论对虚拟应急物流协同预案流程进行建模,设计了整体流程Petri网模型和各部分流程Petri网模型,并运用仿真软件CPN tools对模型的性能进行了验证,结果表明:模型具有良好的可达性、有界性、活性和公平性。

离散事件驱动的流程建模方法与系统实现

在仿真建模中,为了使建模工具简单易用、仿真运行高效,建立了三层仿真元模型体系结构,并在流程定义分析的基础上,结合扩展有向图建模方法,针对模型层研究了离散事件驱动的流程建模方法。基于该流程建模方法及XML文档形式化描述及数据传递技术,采用面向对象的设计方法,开发了适用于离散事件驱动的流程建模系统。该系统提供了简单的可视化流程建模工具,简化了建模流程,易于对模型的理解与交流。

解决变化问题的自底向上流程建模方法

为使工作流适应业务快速发展而复杂多变的特点,提出一种全新的以数据为中心的业务流程定义和业务流程建模的说明性业务流程建模方法。以自底向上机制分析解剖业务流程,提取出原子工单、活动和业务策略等,将业务要素和业务变化的描述分离成不同的层次。执行语义上,以数据中心的业务流程建模的说明性业务流程建模方法借助有限状态自动机来描述单个工单的生命周期,利用标号迁移系统来描述工作流及多个工单间的交互。此外,还进行了从以数据中心的业务流程建模的说明性业务流程建模方法到实现可部署工作流的探讨,并结合杭州市房产管理局的实际工作流程,阐述了该方法的实际应用。

基于高级Petri网的流程建模支持系统设计、开发与应用

流程建模是支持企业流程重组（ＢＰＲ）的关键技术之一，文章探讨一种基于高级Ｐｅｔｒｉ网模型的流程建模支持系统．在简要介绍支持ＢＰＲ的高级Ｐｅｔｒｉ 网模型的基础上，首先从功能、结构及软硬件配置方面进行系统设计，继而分别探讨系统开发的屏幕布局、建模初始化与模型编辑、模型层次管理及数据的存储与表达等问题．最后，选择某高校典型事务流程，用自行开发的建模支持系统进行了建模实例研究．

面向组合的业务流程建模及异常处理

随着信息技术的发展,业务流程的范围扩展至跨越部门,甚至跨越企业的边界,复杂性也越来越高。提出一种形式化的面向组合的业务流程模型,该模型以流程代数π演算为形式化基础,通过组合简单的结构化流程控制模块,建立复杂的流程模型,并给出了模型的合理性验证。利用流程可组合的特性,将异常处理逻辑从正常的流程控制逻辑中分离出来,并将异常处理区域化,以最小化计划外偶然事件的有害影响。

基于UML和Petri网的系统服务获取流程建模

针对流程建模中UML技术和Petri网技术各自的重要作用,基于UML技术和Petri网技术各自的优缺点及流程建模中的应用,提出了一种结合UML技术和Petri网技术构建系统流程模型的方法,并给出了技术路线。以兵团空间信息系统服务获取流程建模为例,验证了该模型既有效又简单便捷、可更好地为用户提供服务。

多传感器图像融合流程建模及仿真

建立图像融合流程并选择最优的融合方法是后续图像融合处理的关键,直接决定了图像融合的效果和应用。分析和研究了多传感器图像融合流程建模方法,建立了一个以图像数据源为入口,以融合模型和融合规则为核心,以融合后图像为输出,以多因素综合判据下的图像融合评价体制为终点的闭环式图像融合流程。最后通过仿真实验,对各自的融合算法和融合规则进行比较,从中选择出容易与主客观评价方法取得一致的,简单实用的,具有与图像数据源和融合目的相适应的融合算法来完成图像融合流程的建模。

最小变化区域在流程建模中的应用

针对流程建模过程中缺乏合理性验证以及所建模型过于庞大导致验证复杂的问题,在研究建模过程中结构变化的基础上,提出一种将最小变化区域的思想引入到流程建模过程中的方法。对所提出的方法使用Petri网作为分析工具,以具体系统为例进行了建模应用分析,并在建模过程中进行了合理性验证。分析比较结果表明,利用最小变化区域的思想进行建模可以降低复杂度,并能够在流程建模及模型验证等方面提高工作效率。