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

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

Petri网在业务过程建模中的应用

业务过程建模是工作流管理系统的基础,当前人们对业务过程建模技术还缺乏系统研究。本文主要结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示,正确性证明、性能评价和模型优化等方面的应用。     

着色Petri网在工作流建模中的应用

工作流建模是工作流管理系统进行工作流管理所必不可少的一个环节。而Petri网以其严格的数学基础、成熟的分析方法和工具而日益得到广泛的应用。本文介绍了着色Petri网在工作流建模中的作用，然后对一个具体的业务流程分别用经典Petri网和着色Petri网建立了过程模型并进行了比较。     

基于着色工作流网的工作流模型的设计与实现

本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计人员通过该工具建立业务过程,并根据模型的定义保存业务过程定义。     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

基于矩阵的工作流逻辑网模型的化简及验证

在分析工作流时,Petri网是一种有效的建模工具,但在处理复杂的工作流时,其易引发“状态空间爆炸”问题。工作流逻辑作为工作流路径的逻辑框架,可实现对工作流网的进一步抽象。为了对规模较大的工作流的畅通性进行验证,利用Petri网对工作流对应的逻辑网进行建模,在此基础上,提出了一个基于矩阵的工作流逻辑网化简算法,为大规模的工作流自动化化简提供了理论基础。通过对银行选址的工作流逻辑网畅通性的验证,表明了该算法在解决实际问题时的有效性。     

基于Petri网的工作流建模在群体决策支持系统中的应用研究

Petri网作为一种图形化的建模工具,具有坚实的数学理论基础,是对工作流进行建模和分析的理想工具。通过对网络会商群体决策支持系统的描述,提出了一种基于Petri网的网络会商群体决策系统的工作流模型,并对该模型进行正确性验证,提高了决策支持系统的可靠性和高效性。     

卫生监督管理信息系统工作流建模及分析

Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术。本文将Petri网技术应用在卫生监督管理信息系统的工作流建模中,提出了完整的卫生监督管理信息系统工作流模型,并对该模型的合理性进行了论证。     

卫生监督管理信息系统工作流建模及分析

Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术。本文将Petri网技术应用在卫生监督管理信息系统的工作流建模中,提出了完整的卫生监督管理信息系统工作流模型,并对该模型的合理性进行了论证。     

一种基于库所含时间因素的时延Petri网的工作流建模方法

时间是反映工作流性能的一个重要方面,立足于实际业务过程对工作流系统时间管理功能的需求,尤其是针对一些对时间性能要求比较高的工作流系统,提出一种新的基于库所含时间因素的时延Petri网的工作流建模和分析方法,提出一种新的工作流建模工具TPWF—NET（Timed Places Work Flow—Net）,并给出结构完整性的验证方法。     

工作流管理系统及其建模研究

对工作流技术发展情况进行概述．介绍由国际工作流管理联盟所定义的工作流管理系统的体系结构和参考模型,并简单介绍分析现今常用的几种工作流模型。在工作流建模方面,参考结合曾参与开发的工作流开发平台项目．详细地论述工作流模型建立阶段的一些技术要点和本系统建模工具的元模型元素架构及模型的两种存储方案。详细介绍工作流开发平台建模工具的功能和实现,并演示一个利用此建模工具所开发的模型实例。     

工作流管理系统及其建模研究

对工作流技术发展情况进行概述,介绍由国际工作流管理联盟所定义的工作流管理系统的体系结构和参考模型,并简单介绍分析现今常用的几种工作流模型。在工作流建模方面,参考结合曾参与开发的工作流开发平台项目,详细地论述工作流模型建立阶段的一些技术要点和本系统建模工具的元模型元素架构及模型的两种存储方案。详细介绍工作流开发平台建模工具的功能和实现,并演示一个利用此建模工具所开发的模型实例。     

工作流过程定义工具研究与开发

按工作流管理联盟（WfMC）的参考模型,工作流过程定义处于工作流管理系统的工作流模型创建阶段。工作流过程定义采用的建模方法有多种,采用工作流网（WFNet）方法,开发了一个基于工作流网的过程定义工具。     

基于工作流的变更管理工具

在对当前变更管理的理论及实践研究成果的分析基础上,从软件开发过程、尤其是基于构件的软件开发过程的实际需求出发,结合工作流建模技术、敏捷开发和过程管理,提出了一个基于工作流技术的变更过程可自定义的变更管理工具,给出了过程描述的语言模型,讨论了图形化建模工具和解释执行引擎等关键部件,并对其设计思想、实现模型、方法等技术进行了论述．     

工作流挖掘：一种新型工作流自动化建模方法

为解决传统工作流建模方式主观性强、效率低以及成本高等问题，出现一种从工作流日志中自动化推导工作流模型的建模方法，又称工作流挖掘。这种新方法在国际上还处于研究初级阶段，但已引起广泛关注。该文对当前主要研究学者的工作及挖掘算法进行总结，介绍了两种不同类型挖掘算法的具体建模过程，并对其性能进行比较分析，用实例进行解释说明。     

Syntax highlighting in business process models

Sense-making of process models is an important task in various phases of business process management initiatives. Despite this, there is currently hardly any support in business process modeling tools to adequately support model comprehension. In this paper we adapt the concept of syntax highlighting to workflow nets, a modeling technique that is frequently used for business process modeling. Our contribution is three-fold. First, we establish a theoretical argument to what extent highlighting could improve comprehension. Second, we formalize a concept for syntax highlighting in workflow nets and present a prototypical implementation with the WoPeD modeling tool. Third, we report on the results of an experiment that tests the hypothetical benefits of highlighting for comprehension. Our work can easily be transferred to other process modeling tools and other process modeling techniques.     

工作流过程建模方法及模型的形式化验证

Work/low technology is widely used in business process modeling, software process modeling as well as en-terprise information integration. At present, there exist a variety of workflow modeling approaches, which differ in the easiness of modeling, expressiveness and formalism. In this paper, the modeling approaches most used in research project and workflow products are compared. And the verification of workflow model is also dealt. We argue that a ideal workflow modelin~ approach is a hybrid one, i.e. the inteuration of the above approaches.     

基于Web的工作流建模工具的设计与实现

本文介绍了一个以Petri网建模理论为基础的可视化建模工具的设计实现过程,并给出了结合Web多层开发框架实现该工具的技术路线。     

基于Web的工作流建模工具的设计与实现

本文介绍了一个以Petri网建模理论为基础的可视化建模工具的设计实现过程,并给出了结合Web多层开发框架实现该工具的技术路线.