基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

支持企业过程再造的柔性工作流模型

为克服传统流程模型不能有效支持 BPR的问题 ,本文采用工作流技术 ,提出了一种全面支持BPR的柔性流程模型——工作流模型 ,它不但支持对现有流程的优化 ,而且还给出了进行流程再设计的具体实现方法 .最后我们还对这一模型的一致性进行了验证.     

基于角色的跨组织工作流研究

跨组织流程的管理已成为电子商务的一个主题。作为提高企业运作效率的协调技术 ,跨组织工作流管理系统需要适应企业之间异类工作流的互联。从角色及其交互角度研究跨组织工作流 ,结合以活动和角色描述工作流的优点 ,针对传统的工作流模型淡化了参与者之间的交互 ,没有一致的概念模型 ,导致了工作流管理联盟的互联标准难以达到实用要求的问题进行分析     

工作流过程模型研究

工作流过程模型是整个工作流管理系统的基础,模型描述能力的强弱决定了系统所支持应用的范围以及系统的灵活度.近年来随着工作流技术应用的发展,对工作流过程模型的研究也就得到普遍重视.文中介绍了工作流过程模型的概念本质,然后对工作流的研究现状进行综述,主要包括工作流过程模型理论基础、工作流过程模型的不足等,最后指出了工作流过程模型的发展趋势.     

基于XML和关系数据库的可视化工作流系统

以实现一个具有可视化工作流设计和执行功能的工作流管理系统为目标,提出了一种将XML技术和关系数据库技术相结合、具有层次体系结构的工作流管理系统框架。介绍了工作流管理技术的概念、历史现状以及主要标准和技术,给出了系统的层次结构和系统组成,详细描述了系统的数据存储结构、工作流交接处理过程、XML解析方法以及利用客户端脚本技术实现工作流设计可视化的具体方法,最后在.NET平台上实现了该系统。实际应用表明,该系统能够有效实现企业项目管理中的工作流程管理。     

一种新的工作流模型及其在产品开发过程中的应用

分析了传统工作流模型的不足之处，在此基础上提出了一种新的工作流模型。文章通过定义活动、参入者、工作流、活动实例、过程实例、发送、工作项、工作项列表八个基本概念建立了这种模型的数学描述，介绍了工作流的运行算法。最后给出了这种模型在产品开发过程中的一个应用实例。     

一种扩展数据对象工作流Petri网模型

为建立一种可以合理的同时描述工作流中的过程信息和数据信息的模型,在过程定义方面,本文采用Petri网建模方法,建立工作流过程模型;在数据信息方面,采用面向对象方法,建立分级多粒度的数据模型.通过结合过程模型和数据对象模型,提出一种扩展数据对象工作流Petri网模型.     

基于Petri网和抽象方法的工作流模型分解

Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分解可以减少原始模型Kripke结构的状态数目,为工作流的模型验证提供了一种有效的方法.     

HLA FEDEP及VV＆A的工作流技术研究

HLA 仿真系统的 FEDEP 及 VV&A 过程比较复杂,实际工作中需要耗费大量的人力物力。为了提供一种实现 FEDEP 及 VV&A 过程自动化的方法,在分析了 FEDEP 与 VV&A 过程实质的基础上,介绍了 FlowMark 工作流模型并基于其阐述了 FEDEP 与 VV&A 工作流元素的实现方法,介绍了工作流自动化所需的基本服务和工具,分析了实现工作流引擎的关键技术,并介绍了实现 FEDEP与 VV&A 工作流自动化的原理及程序界面,最后对研究做出了结论。应用工作流技术可以有效地实现 FEDEP 及 VV&A 过程的自动化,拥有良好的发展前景。     

基于扩展计算网的分层动态网格工作流研究

针对实现资源共享和协同工作的网格技术应用与发展现状,提出分层网格工作流体系结构:在设计层利用网格工作流逻辑和网格工作流语义对网格工作流建模;在运行层,利用网格工作流调度引擎和网格工作流实施引擎完成任务的调度及实施;在资源层实现和具体底层网格资源的交互。为支持上述结构,引入Petri网中的库所同步器对网格工作流逻辑建模;定义了扩展计算网模型ECN,以描述网格工作流语义。可变同步器、计算网及网格工作流实施引擎的结合,从设计时及运行时两个角度提供了对动态网格工作流的支持。最后以实例说明了分层网格工作流支撑环境建模的具体应用。     

面向能耗的云工作流调度优化

云工作流调度直接决定了整个云工作流系统的性能,已成为一个重要研究内容.针对当前缺乏有效的面向能耗的云工作流调度优化方法,研究建立了面向能耗的云工作流过程模型、资源模型,提出了基于负载的能耗计算方法和面向能耗的云工作流调度优化算法.提出的方法考虑了能耗因素,在进行任务优先级计算及任务选择时不仅考虑了文件在不同虚拟机间传输的速度差异、同时考虑了虚拟机与本地共享数据库间的文件传输等因素,并从云工作流任务分配、主机负载和主机功耗关系的角度,进行能耗的计算与调度优化,更符合实际情况、使用范围更广.数值案例和仿真实验表明了提出的方法是可行的和有效的.     

基于Petri网的民航飞机故障诊断工作流模型

针对民航飞机结构和故障机理复杂的特性,建立了基于Petri网的民航飞机故障诊断工作流模型。该模型将工作流技术引入民航飞机故障诊断领域,指出民航飞机工卡可反映故障诊断过程,并总结了民航飞机工卡记录的工作流程。分析该模型的性质说明可以进行简化、合并等操作。以水平安定面铰链磨损检查的转化和简化工作为例,说明了方法的有效性。     

一种工作流模型正确性验证方法

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.     

基于FTCPN的工作流模型简化规则与线性推理研究

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.     

基于模糊时间Petri网的协同工作流模型研究

为了准确描述复杂产品协同工作过程,提出了一种基于模糊时间Petri网(FTPN)的工作流建模和性能分析方法.首先,给出了协同开发任务链接关系的形式化定义,将工作流模型的关键路径计算转化为一个基于FTPN状态方程的求解问题.并在此基础上,结合实例计算了某工程项目在约束条件下完成的可能性.结果表明,该方法可以方便确定产品协同开发过程中的关键环节,为产品协同工作的组织和管理提供指导.     

支持过程改进的工作流仿真研究

工作流真是支持过程改进的有效技术，从建模角度介绍了以过程为核心，集成产品、资源，组织和控制评价等信息的工作流元模型。该元模型用为指导和约束具体的工作流建模，可以利用对象约束语言进行深入刻画，从执行角度解释了基于ECA规划的工作流仿真机制。按照WindowsDNA三层结构，它分用户界面层，业务逻辑层和数据库层，仿真引擎构建业业务逻辑层。在此基础就一个软件开发过程的实你，依据过程度量指标，利用仿真结果分析了各种可能的改进方案。     

作战指挥机构的建模与仿真研究

分析了信息技术带给作战指挥的机遇与挑战：信息技术为大大提高指挥效能创造了客观前提，但是使这种有利条件变为现实还需要有创新的作战指挥理论来支持。在借鉴企业信息化过程中所走的弯路，以及通过建立工作流的模型辅助领域专家进行企业工作流程重组得到了成功经验的基础上，提出在当前大力进行指挥自动化建设的同时，势必要变革作战指挥机构组织方式、工作流程、信息流程，建模与仿真方法是这一过程中不可缺少的一个环节。说明了两种仿真系统（人在环仿真系统与无人在环仿真系统）的构造思路，并着重分析了无人在环仿真系统建模的关键要素：组织结构、工作流程、信息流程、指挥手段、指挥者行为等，说明了各个要素的建模重点以及建模方法等。     

最小化流水时间的工作流资源优化模型和算法

资源在工作流实例间的分配决定了工作流实例中活动的平均处理时间和等待时间,针对优化资源分配,研究使整个工作流的流水时间最小问题。总结了最小化工作流实例的平均响应时间问题的目标和约束条件,提出了以工作流实例平均响应时间最小化为目标的求解最优资源配置数量的方法;建立了最小化工作流时间属性的工作流资源优化数学模型,设计了改进的遗传算法。仿真实验显示,通过适当增加调用的资源数量可减小工作流实例平均响应时间,优化工作流的流水时间。模拟实验通过将提出的改进算法与传统遗传算法的对比,验证了算法的计算效率。