基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

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

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

用着色Petri网建模工作流模式

工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准,目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明,该语言不仅能很好地支持全部模式,而且具有建模简洁、准确的特点。同其它建模语言相比,用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。     

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网的工作流模型的建立和分析，接着给出了该模型在高考招生系统(NACUES)中的应用实例。最后，还针对NACUES系统的分布式特性对该模型扩充了本地工作流间的通信和互操作特性，这一扩充将对分布式查询和招生工作后期各项数据的统计工作有很大的简化作用。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于Petri网的工作流建模方法

将Ｐｅｔｒｉ网方法引入工作流模型描述,并针对工作流的特点对其进行扩展,提出功能网描述方法。使用功能网可使工作流模型得到方便、快速、合理的构架,同时为工作流模型的仿真研究打下坚实的基础     

基于Perti网的工作流访问控制模型研究

提出了一种工作流访问控制模型WACM(Workflow Access Control Model),该模型支持基于角色的授权,通过工作流引擎中的访问控制矩阵进行同步授权,采用Perti网来描述工作流,对工作流参考模型进行了定义和描述,分析了工作流访问控制模型WACM的体系结构,并将该模型应用到电子商务工作流中,建立了基于安全电子商务协议(SET)的访问控制模型。     

基于IHEITI-PIXV3实现病人信息匹配技术研究

IHEPIX是国际上公认的解决患者身份唯一性问题的技术框架,本文着重介绍如何在医疗信息系统中实现IHEITI-PIXV3病人信息匹配的关键技术:病人身份信息框架、多级划分词以及标准词使用、病人信息匹配原则以及标准的设定。对于提高医疗信息系统的标准化程度和运行效率具有实际意义。     

Modeling and Analysis of Workflows Using Petri Nets

A workflow system, in its general form, is basically a heterogeneous and distributed information system where the tasks are performed using autonomous systems. Resources, such as databases, labor, etc. are typically required to process these tasks. Prerequisite to the execution of a task is a set of constraints that reflect the applicable business rules and user requirements.In this paper we present a Petri Net (PN) based framework that (1) facilitates specification of workflow applications, (2) serves as a powerful tool for modeling the system under study at a conceptual level, (3) allows for a smooth transition from the conceptual level to a testbed implementation and (4) enables the analysis, simulation and validation of the system under study before proceeding to implementation. Specifically, we consider three categories of task dependencies: control flow, value and external (temporal).We identify several structural properties of PN and demonstrate their use for conducting the following type of analyses: (1) identify inconsistent dependency specifications among tasks; (2) test for workflow safety, i.e. test whether the workflow terminates in an acceptable state; (3) for a given starting time, test whether it is feasible to execute a workflow with the specified temporal constraints. We also provide an implementation for conducting the above analyses.     

基于Petri网的工作流建模技术及在仿真中的应用

论文给出了将WFMC定义的工作流模型转化为工作流网络的完整框架,以及基于Petri网特性分析法的工作流网络仿真分析方法,并且用实例验证了该方法的可行性。     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是,传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网,结合工作流本身的特点,对Petri网进行扩展,提出了一种描述工作流模型的新方法--信息控制Pettri网,并给出其表示工作流模型的正确性定义和验证。     

基于Petri网的工作流技术在MIS中的应用

工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性。文中简要地介绍了WFMIS和基于Petri网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri网建模。     

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

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