基于着色Petri网的工作流建模

为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适台于工作流的事件一条件一动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。     

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

Petri网是当前工作流建模中广泛采用的工具之一，针对工作流过程定义中模糊信息的描述和处理问题，提出模糊着色Petri网的描述方法，并给出基于模糊着色Petri网的推理过程，最后给出一个简单业务流程的基于模糊着色Petri网的工作模型，并对该模型进行了分析。     

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

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

基于着色Petri网的工作流模型研究

针对传统Petri网建模方法的不足,研究了通过资源结构建模的工作流建模方法.在着色Petri网的基础上提出资源/任务网(R/T-net),并给出基于R/T-net的工作流建模过程.R/T模型能够有效地实现产品数据结构和过程结构的统一,资源流对任务流的控制以及模型的仿真.     

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

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

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

Petri网是一种图形化、数学化的建模方法,尤其在办公自动化领域的系统建模,在描述和分析实现上有一定的优势。本文分析了工作流的运行模式,Petri网的工作流描述,并以印刷企业订单为例,实现基于Petri网的工作流建模方法。     

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

在着色网的基础上扩展了价格信息,提出了价格着色网,用来对业务流程进行价格建模并对其作相应的成本预算分析.其中讨论了价格着色网的变迁步规则,提出了价格着色网中的标识--经济标识的定义,并有针对性地提出了最小成本构造算法.最后以一个业务流程实例演示了该模型的应用,得出结论为价格着色网能够较好地解决业务流程建模中的成本预算分析问题而且该模型中的最小成本构造算法是有效的.     

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

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

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

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

基于Colored Petri网的工作流建模及应用

对传统Petri网在描述工作流模型时,组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷,将有色Petri网（Colored Petri net,CPN）理论的分析方法引入到工作流网（Workflow-net,WF-net）,实现二者有机结合,提出了一种新型扩展工作流网CPWF-net（Workflow-net based on Colored Petri net）,给出了严格的定义,使能机制和触发,全面分析了CPWF-net的特性,并就其实际应用进行了初步探究。     

基于有色Petri网的经营过程建模

在经营过程重组（BPR）的过程中,利用仿真工 具对经营过程建模与仿真分析,被认为是快速和顺利实施BPR的必要手段．目前大多数BPR支 持工具局限于对过程的仿真,而Petri网则因其严格的数学定义和丰富的分析方法,不仅能 够仿真过程的性能参数,还可以对过程的结构进行分析,从而在过程诊断和重组方案的设计 中发挥重要作用．将有色Petri网应用于经营过程建模,可以较好地描述经营过程的不确定 性、并发性和资源共享等问题,并解决模型中存在的冲突、死锁等问题,同时避免了普通Pe tri网过于复杂的缺点．     

间歇生产过程中离散事件的Petri网建模与协调控制

将Ｐｅｔｒｉ网用于间歇生产过程中离散事件的建模，讨论了离散事件活动的顺序、同步、资源共享竞争协调控制问题。文中同时给出了一个间歇精细化工过程的例。     

基于Petri网化简方法的工作流模型验证

经营过程的建模、分析与优化是支持企业经营过程重组（BPR）的重要基础,行之有 效的模型分析方法是成功进行模型分析的重要的关键技术问题．在深入分析了经营过程工作 流模型特点的基础上,本文提出了一种基于Petri 网图形化简规则的业务过程模型分析与验 证方法,证明了所提出这套化简规则的完备性和多项式时间的复杂性．并应用一个实例证明 了所提出方法的有效性．     

基于Petri网的工作流在电子政务系统中的建模与分析

电子政务系统是目前研究和开发的热点之一。采用基于Petri网的工作流对电子政务系统进行了建模与分析,首先说明了在工作流中运用Petri网的优点,然后将Petri网与工作流相结合,建立了电子政务系统的工作流网模型,最后运用Petri网理论对所建模型的正确性进行了定性分析,并对模型的子系统网上投诉系统的资源分配情况进行了定量分析。     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

位置互连Petri网的分散与协调控制

本文引入位置互连Petri网,对能用位置互连Petri网描述的离散事件系统提出了一种分散与协调控制框架,在这个框架下,我们讨论了一类常见的禁止状态控制问题,给出了综合其量小约束协调控制的一种有效算法。     

模糊Petri网在FMS故障诊断中的应用研究

针对柔性制造系统（ＦＭＳ）故障诊断的特点，将模糊Ｐｅｔｒｉ网扩展为模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）．并应用于知识的表示中，讨论了ＦＭＳ系统、ＦＢＰＮ及产生式规则之间的对应关系，提出一种模糊反向推理机制，给出了利用ＦＢＰＮ进行知识表示和推理的实例．     

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

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

利用混杂Petri网对基于事件的机器人遥操作系统建模研究

针对采用基于事件思想的移动机器人遥操作系统，首次提出以混杂Petri网作为描 述工具进行建模，模型的离散部分利用传统的Petri网，对应于系统的操作者；连续部分利 用重新定义的便于描述微分代数方程的连续Petri网，对应于位于远端的移动机器人．