基于概率有色Petri网和马尔可夫链的工作流和数据流管理

在大数据背景下,信息系统中的工作流和数据流往往同时发生,然而现有研究往往仅对工作流进行建模而未考虑数据流。论文对工作流和数据流进行统一建模,首先对基本Petri网进行扩展,定义概率有色Petri网PCPN,实现对工作流和数据流的分别刻画;定义了PCPN的基本逻辑单元,并对工作流和数据流进行建模分析,基于PCPN的工作流和数据流模型转化为马尔可夫链模型,并进行数学概率分析和决策分析。通过实例建模验证了论文建模方法的有效性和可行性。

基于Petri网的高铁快运医药冷链作业流程优化及仿真

药品及医疗器械是高铁快运冷链业务的主要品类,目前既有的高铁快运医药冷链作业流程耗时较长、作业效率较低、运作成本较高,制约了铁路开拓医药冷链物流市场。以北京至上海高铁快运医药冷链全过程作业为例,基于Petri网对该作业流程进行建模,通过引入仿真工具对影响高铁快运医药冷链业务作业效率的因素进行诊断;根据诊断结果,提出前置冰板预冷环节、并行化提货作业与装箱准备环节、简化及并行化货物卸车与配送准备环节3大对策,构建优化后的高铁快运医药冷链作业模型,并对优化后的作业流程进行仿真分析。仿真结果表明,优化后的高铁快运医药冷链平均作业时间从1124.06min缩短至903.90min,作业时间减少220.16min。高铁快运医药冷链业务流程的优化研究,有助于铁路降本增效,提高自身竞争力。

MDA框架中CIM业务流模型与PIM工作流模型的一致性验证

对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。

基于模糊数的机场滑行冲突预测方法

为减轻机场高峰时段的地面延误,提高滑行道系统的鲁棒性,保证机场场面的安全、高效运行。首先,根据对航空器滑行过程的分析结果,并结合模糊数的概念,提出用三角模糊数表示航空器在各个滑行道区段的滑行时间,以更好地体现滑行时间的模糊性;然后,以历史运行数据以及航空器的性能数据为基础,利用工作流网建立航空器滑行三角模糊数工作流网模型,并作一致性验证;最后,结合一致性验证的结果,以三角模糊数的隶属函数为基础,给出滑行冲突概率的计算公式和冲突可能发生的时间的计算方法。结果表明:滑行冲突预测方法能够计算出航空器在滑行道路段发生冲突的概率以及冲突发生的位置和时间;并通过蒙特卡罗随机模拟试验,所得结果证明所提方法具有较高的准确性。

基于Petri网的配电网规划工作流模型

结合配电网规划工作实际情况,充分利用工作流技术,建立一套适用于配电网规划工作的Petri网模型。该模型可以清晰地展示配电网规划过程中各个业务环节之间的相关性,将整个配电网规划过程流程化,可以有效地协助配电网规划人员快速熟悉、掌握业务流程,快速提升配电网规划业务水平,为实现配电网规划工作业务的信息化管理打下基础。

过程挖掘中一种能发现重复任务的扩展α算法

基于α-算法,提出了能发现工作流日志中重复任务的过程挖掘算法α**,并给出了正确性证明.该算法先通过机器学习的方法分析重复任务的性质,给出了判定重复任务的定理并证明了其正确性;然后使用这些定理判断并标识出日志中的所有重复任务;最后,采用α-算法从标识后的日志中提取出工作流网,并对其进行调整得到包含重复任务的工作流网模型.通过模拟实验验证了算法的有效性,与现有的重复任务挖掘方法的实验结果相比证实了文中提出的方法具有更高的效率.

基于Petri网的工作流结构正确性化简验证方法

工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性.

加权的时间Petri网工作流模型研究

时间性能分析是工作流模型分析和评价的重要方面。介绍了Petri网和工作流网的基本概念,提出了加权时间扩展工作流网,对加权时间扩展工作流网的基本组件进行了时间分析,给出了平均时间的计算方法。通过网上订购商品和生产车间工作流模型,利用基本组件的时间性能分析方法,对这两个工作流模型进行了时间性能分析。

基于Petri网的跨组织应急联动处置系统建模与分析

应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出了应急联动任务的形式化模型,分析了跨组织协作过程中任务之间存在的各种关系;在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素,提出了OTRM_Net的概念,并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模;最后,基于OTRM_Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题,针对上述问题提出了形式化的解决方案.

一个组织间松散耦合跨组织工作流的仿真模型

为了解决松散耦合跨组织工作流的仿真建模问题,以染色Petri网为理论基础,将颜色集、染色函数、资源库所、等待库所、忙库所、开始变迁、结束变迁、角色、组织、时间函数、资源函数和变迁函数引入到IOWF(inter-organizationalworkflow),提出了染色多维跨组织工作流网CMD/IOWF(coloredmulti-dimension/IOWF).基于CMD/IOWF,讨论了组织间松散耦合跨组织工作流中多个不同项目工作流实例通过资源共享和活动同步相互耦合以及与仿真相关的资源约束和时间的建模问题.通过定义输入/输出、状态、事件、时间推进函数和状态转移函数,给出了一个组织间松散耦合的多个跨组织工作流的仿真模型.基于该模型的仿真分析可以求解组织间松散耦合跨组织工作流的关键性能指标,包括对应项目工作流实例的平均执行时间、平均执行成本及其关于组织的分布,各项目的资源利用率.最后,以一个实例验证了提出模型的有效性.

基于PETRI网的工作流模型分析与应用

目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。

基于Petri网的模型偏差域识别与模型修正

过程挖掘技术能够通过事件日志建立过程模型,一致性检测技术能够发现过程模型和观察行为间的偏差.然而,现有的过程挖掘技术着重于发现偏差,不易于修正偏差.因此,利用一致性检测技术和工作流网模型的动态特性,提出一种基于Petri网的模型偏差域识别方法和模型修正技术(静态模型修正和动态模型修正).通过跟踪token流向,有效地识别模型偏差域,并对其进行修正,特别是能够正确修正具有循环结构、选择结构的复杂实际流程.最后,通过与其他方法的对比实验和分析,验证了本文方法的有效性和正确性.

工作流主从实例处理方法及其Petri网建模

提出一种基于染色Petri网的解决方案,可以提高这种处理模式的灵活性,增强其处理功能。为了解决主从实例同步问题,提出了层次染色标记(token)的概念。还指出,这一方法对于描述和分析工作流系统中的并行处理也是很有效的。

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后 ,提出了工作流模型时间有界性的问题。从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后 ,利用绝大多数描述业务过程的工作流模型都具有自由选择特性的特点 ,提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法。在此基础上 ,结合工作流模型的资源视图 ,详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。

基于Petri网的工作流模式——工作流模式分析研究

随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究。本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分。

基于工作流的企业过程仿真技术研究

为解决工作流仿真相对于工作流管理系统比较薄弱的问题,提出了一种基于具有强大数学描述能力的WF-net网的仿真方法,进而给出了基于虚拟运行环境的工作流仿真机制的实现,从而保证了整个工作流系统的安全性和可靠性,并对企业过程提供了有效的支持,使得企业降低成本、增加生产管理的柔性。最后,给出工作流仿真系统JXWorkflow具体实例分析。

基于Petri网的空间信息工作流模型

利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供科学的途径。基于Petri网和UniNet理论,建立了空间信息工作流模型GWPN。该模型利用Petri网和UniNet的诸多优点,兼顾控制流和数据流,并充分考虑了过程中的空间语义约束,准确定义空间信息处理过程,解决了空间应用的特殊性问题。

基于Petri网的电子政务工作流模型研究

设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程,并保证了正确性和合理性资源分配的分析结果对合理的进行资源分配有指导作用。

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。