基于WF-net的工作流模式建模与仿真

针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真.首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程.为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型.     

基于工作流技术的分布式仿真运行管理

应用工作流技术可以实现分布仿真过程、人员、数据和资源的有效协作与运行管理。从工作流技术的角度和协作模式的需求出发,建立了分布仿真工作流的过程模型、组织模型、资源模型和信息模型,分析了分布仿真过程中各模型的协作关系。最后在某型号发动机分布仿真中进行了具体应用。     

集装箱动态跟踪工作流网模型的建立与实现

集装箱动态跟踪的过程是一类典型的以状态变化为主要特征的、分布的、循环的过程，并且其状态变化满足一定的规则，可以把这类过程看作是一类基于状态的工作流过程。对工作流过程进行建模是实现、仿真、分析工作流过程的前提和基础，工作流网就是—种以Petri网理论为基础、基于状态的工作流过程建模方法。文章提出了集装箱动态跟踪的工作流网模型及其实现方法，探讨了工作流网建模技术。     

基于C_net的间隔事务模型驱动的工作流仿真研究

提出了一种基于C-net的间隔事务模型驱动的工作流仿真，具体介绍了仿真模型和仿真算法，并以仿真工具的设计说明了此工作流仿真的研究，有利于实现仿真和已有的基于C-net的工作流管理系统的集成。     

工作流活动网络图主关键路径的确定

工作流建模与仿真与工作流管理系统的重要组成部分。工作流管理系统提供工作流建模工具，绘制流程的活动网络图，形象展示工作流模型。活动网络图主关键路径的确定，是工作流仿真分析的基础，本文论述了求解主关键路径的算法。     

基于消息驱动机制的工作流仿真模型的设计与应用

将消息驱动机制仿真策略应用于企业经营过程重组的工作流仿真模型构建中,提出了一种基于消息驱动机制的工作流仿真模型方法,分析设计了该模型的工作流实体、工作项实体、消息体和仿真监控器,并对工作项实体的消息处理机制以及工作流仿真模型的仿真执行机制进行详细论述,给出了核心类的主要字段和方法.基于Visula C#编程,实例化验证...     

基于工作流管理技术的网上购物仿真系统

介绍了工程流管理系统的基本概念和建模方法。在工作流仿真环境下，引入工作流组织模型、过程模型和数据信息模型，将它们运用于网上购物系统的设计与实现。     

支持企业经营过程重组的工作流仿真技术研究

企业经营过程的建模、分析和基于模型的企业 经营过程重组实施是确保企业成功实现经营过程优化重组的三个重要阶段．工作流管理是一 种能够有效的支持这三个阶段的信息技术．至今为止,工作流模型的仿真还是一个比较薄弱 的环节．本文提出了一种基于虚拟运行环境的工作流仿真方法,通过建立工作流虚拟运行环 境,以仿真引擎模拟活动的执行,自动处理过程中的半自动化活动或人工活动,并采用规则 与随机变量相结合的方法处理仿真过程中遇到的不确定因素,从而完成工作流仿真．为了增 强仿真的可信度和可视性,本文将虚拟现实技术引入仿真过程的动画显示．本文介绍了工作 流虚拟运行环境的构成,环境中核心组件（仿真引擎）的工作方式,并讨论了基于代理的虚 拟环境实现．     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础，对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状，主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

基于Petri网的建设工程项目实施阶段工作流建模与仿真

构建一个能够准确表达实施过程系统性、动态性和不确定性的工作流模型是实现建设工程项目实施阶段工作流管理与控制的有效途径。在对建设工程项目实施阶段工作流模型特点分析及工作流概念模型构建的基础上,基于分层赋时着色Petri网构建建设工程项目实施阶段工作流模型。通过运行该工作流模型,能够获得实施阶段的信息流、资源流、异常处理、持续时间等抽象内容,不仅为实现建设项目实施阶段的工作流管理与控制提供有力的方法支持,同时也是Petri网建模技术在建设工程领域中的应用拓广。借助CPN Tools仿真平台,以一般工业与民用建筑的实施阶段为例进行工作流模型的构建与仿真,验证了基于分层赋时着色Petri网构建建设工程项目实施阶段工作流模型的正确性和有效性。     

一种模型驱动的工作流过程定义途径

传统的工作流管理系统在互操作性，可复用性，可移植性和开发效率等方面遇到了挑战，MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中，工作流模型处于核心地位，本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次，运用模型驱动的途径，依据给出的工作流模型，本文提出了一种模型驱动的，用于快速构造工作流管理系统的框架。针对工作流过程模型，着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换（转换过程和转换规则），并以扩展的Petri网标注语言E-PNML规约了过程PIM。     

一种基于策略的工作流过程元模型

随着工作流的广泛应用，人们对工作流系统的灵活性提出了新的要求。作为工作流系统的核心，工作流的过程元模型很大程度上决定了工作流系统的能力。结合互联网工程任务组（Internet Engineering Task Force，IETF）提出的策略的概念和策略部署模型，提出一种基于策略的工作流管理系统，并结合工作流系统的特点，提出了描述工作流策略语言，使用基于策略扩展的Petri网建立工作流过程模型的方法。基于该元模型的定义的工作流具有较好的灵活性，并对工作流的运行期实例的动态修改提供支持。     

一种扩展的工作流过程定义模型

提出了一个支持复杂应用的扩展工作流过程定义模型ScopePModel，它可以描述复杂结构的工作流流程，并且能够清晰地描述任务之间的控制流依赖关系和任务的补偿信息，表达出复杂工作流程的定义；同时，本文所提出的工作流过程定义模型ScopePModel，不仅可以捕捉现实世界业务流程，具有丰富的表达能力，使工作流定义的语义更为明确，而且为工作流过程定义模型验证提供了强大、丰富的理论依据，为工作流过程定义模型验证奠定了良好基础．ScopeWork是我们自行研制开发的工作流管理系统的原型系统，它基于该模型实现了复杂业务过程的工作流过程定义以及调度等功能．     

工作流平台开发关键技术的研究和设计

对工作流平台开发的关键技术进行研究,建立基于J2EE的工作流技术管理系统架构,设计用于企业管理的工作流平台,对工作流建模、基于角色的管理控制和轻量级可嵌入工作流引擎进行研究设计。重点研究工作流过程模型和工作流引擎的功能,并对传统RBAC模型进行改进。     

基于过程模型的动态工作流的研究

为了使工作流系统在执行过程中支持动态可变性,分析了工作流过程定义阶段及流程执行阶段的动态性特征,提出了基于过程模型的动态工作流,并在动态工作流元模型中定义相应的操作原语和操作规则,采用动态建模的方法实现了工作流模型的动态演变.     

消息传递在基于Web的工作流系统中应用

针对目前许多工作流产品协作性弱的实际问题,提出了将消息传递应用在基于Web的工作流系统的模型。文中首先介绍了工作流的基本概念,产品分类及发展趋势;然后分析了基于Web的工作流系统的软件体系结构,给出了工作流模型及消息传递的形式化定义;最后通过一个基于该体系结构的应用实例加以说明。该应用以Exchange2000Server作为邮件服务器进行消息传递;利用关系型数据库保存工作流工作过程的业务信息及流程信息,并可对整个流转过程进行跟踪、记录与控制,以提高工作流系统的协作与监控能力。     

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

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

基于工作流挖掘的活动成批处理区发现

针对支持成批处理的工作流系统在应用中的活动成批区设定问题,提出一种基于工作流挖掘的活动成批区发现方法.该方法首先利用现有工作流挖掘方法得到初始工作流模型.然后进行活动成批处理特征识别与成批处理区发现,从最终得到初始工作流模型中的活动成批处理区.具体算法过程及算法有效性通过对某公司处理共享租车的过程日志进行挖掘的实例进行了说明与实验验证.     

需求信息管理的Petri网工作流模型

针对目前国内软件企业中需求信息管理存在的业务流程问题,提出合理的工作流建模方案。利用Petri网建模技术建立流程实例模型,再建立完整的工作流模型。按照Petri网的数学特性对结果模型进行的正确性分析和验证表明该模型具有良好的数学特性。基于Petri网的工作流建模方法能够为需求信息管理提供合理的解决方案。摘要:     

A Workflow Process Mining Algorithm Based on Synchro-Net

Sometimes historic information about workflow execution is needed to analyze business processes. Process mining aims at extracting information from event logs for capturing a business process in execution. In this paper a process mining algorithm is proposed based on Synchro-Net which is a synchronization-based model of workflow logic and workflow semantics. With this mining algorithm based on the model, problems such as invisible tasks and short-loops can be dealt with at ease. A process mining example is presented to illustrate the algorithm, and the evaluation is also given.