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

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

面向对象的指挥控制流程建模与应用

流程建模是分析指挥控制流程,取得作战胜利的关键步骤.当前的建模方法不能很好地应对联合作战中指挥控制流程多域联合、松耦合关联等特征.为了解决上述问题,本文提出一种面向对象的流程建模语言,构建的模型描述了指挥控制流程的数据视角、行为视角以及二者间的复杂交互关系,并基于该模型采用流程挖掘技术进行指挥控制流程还原,为优化指挥控制流程、提高流程效能提供了一种有效手段.

基于BPMN的指挥控制流程建模方法

针对复杂场景下指挥控制流程建模问题,分析比较了几种常见的流程建模方案,提出基于BPMN的指挥控制流程建模方法。指挥员依托BPMN流程建模方法搭建指挥控制流程,实现对指挥员作战意图的灵活表达;开发人员基于云原生相关理论对原子服务进行更新扩充,实现流程任务与原子服务的精准匹配和动态更新,从指挥员和开发人员两个维度上体现了指挥控制流程一体化建模的特点。通过区域防空反导流程案例,验证了基于BPMN指挥控制流程模型具备灵活扩展,动态重组的特点。

流程建模在航空企业质量体系改进中的应用研究

质量是航空领域的基石。当前的航空企业的质量管理体系普遍存在着文件规定与业务流程不匹配、质量管理手段落后、质量体系的改进动力来自于过程的后端等诸多问题。本文依托新时代质量管理体系建设项目,基于MBSE理论,借鉴其他领域较为成熟的建模与仿真思想,使用流程管理的相关方法,利用专业的软件工具,对A单位研制生产阶段的质量管理体系进行建模与仿真,实现A单位质量管理体系的动态管理。

一种自适应业务流程建模的方法

目前在企业在运用工作流技术开发业务系统时,业务流程建模工作主要是由专业的技术人员完成,当业务流程发生变化时,企业不得不依赖专业技术人员对现有流程进行改造。在这种背景下,企业迫切需要一种更加灵活的业务流程建模方法。本文给出了一种新的业务流程建模思路,使得业务人员也能定义流程,并且能灵活组装现有业务流程中的活动,极大地改善了业务系统的自适应性。

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

提出了基于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网的流程建模支持系统设计、开发与应用

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