基于Petri网的工作流管理系统的设计与实现

以某供电公司工作流管理系统为背景 ,采用群件系统LotusDomino/Notes平台 ,在分析Petri网的基础上 ,提出了单一状态模型的工作流设计思想 ,并完成了工作流管理系统的设计和实现 ,从而实现了办公过程的无纸化和自动化 ,支持协同工作 ,提高了现代企业的管理水平和工作效率 .

基于Petri网的虚拟企业建立过程模型

首次将Petri网理论引入虚拟企业领域，提出了用Petri网对动态、并发的虚拟企业产生建立过程进行描述，使虚拟企业的建立过程在Petri网上得到了清晰、全面的描述，为企业管理层进行决策提供了一种简洁、直观的决策分析工具。

基于Petri网的科研项目管理工作流模型

Petri网是一个描述条件和任务之间关系的通用模型。结合科研项目管理这一个实例,建立一个基于Petri网的工作流模型。并利用模型化简法,验证了该模型的完整性。同时,基于该模型建立的科研项目管理系统也得到了应用。

基于BOM/Petri网的业务过程工作流模型的设计与实现

基于BOM /Petri的建模方法在生产制造领域得到了广泛的应用和发展。业务过程的管理与生产制造过程有着许多相似之处 ,本文将生产制造过程BOM和Petri网技术应用于工作流建模 ,给出了定义和分析方法 ,对工作流的动态建模进行了论证。最合结合实例实现了计算机的模拟仿真。

基于PETRI网的工作流模型分析与应用

目前,工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具。论文着重讨论基于Petri网的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。在文章最后,将给出一个应用的实例:全国高校网上招生录取系统。

基于对象Petri网的工作流过程定义

文中提出了基于对象 Petri网 (Object Petri- Net,OPN)和基于 OPN的文本描述语言 L OOPN+ +工作流过程定义接口标准 ,论述了其可行性和优势 ,并给出了形式化描述 .

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

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

基于扩展Petri网的建筑产品设计过程工作流模型

针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化。结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果。

一种基于有色Petri网的工作流网模型

使用工作流网(WF-nets)描述工作流的业务流程时,可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上,定义了一种基于有色Petri网的工作流网模型CWF-nets,给出了严格的定义和变迁发生机制,并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑,且这种逻辑结构与工作流具体案例的属性数据无关,避免了上述问题。

基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。

基于Petri网的工业设计过程管理工作流建模研究

工业设计过程建模是产品设计过程管理研究的关键环节,直接影响着项目开发周期和整体效益,但目前工业设计行业没有针对设计过程管理有效的建模技术及其系统。为实现对工业设计企业设计过程动态性、结构性和有序性管理,在产品设计过程管理中引入面向过程的组织管理与流程优化的工作流技术及Petri网建模方法;然后根据对设计过程管理流程的研究,构建了设计过程管理工作流程图;进而结合工作流技术、Petri网过程建模方法和工业设计过程管理流程提出工业设计过程管理的4个阶段工作流建模方法:本体分析、元素提取、元素概括、元素带入;最后,以工业设计过程管理建模领域为例构建了基于Petri网的工业设计过程管理工作流模型,在此基础上实现了工业设计过程管理原型系统。

工作流系统中过程模型的应用研究

如何将现实世界中复杂的业务过程转化为可被工作流引擎识别的形式化描述 ,是架构工作流管理系统中的一个核心问题。文中讨论了一种过程模型的描述语言 ,并介绍了它在面向电子商务的协同工作系统 (ECCS)

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

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

基于Petri网的工作流模型

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

基于对象Petri网的产品设计过程工作流建模

针对产品设计过程中的工作流程控制及重组问题,通过对面向对象Petri网的讨论,建立了基于面向对象Petri网的产品设计过程工作流模型,并给出了模型运行的规则.应用此模型建模,系统具有结构化和工程化的特点.

一种基于赋时Colored Petri网的工作流模型

工作流管理技术是 2 0世纪 90年代初新兴起的软件技术 ,其实现的关键在于工作流概念模型的建立。论文选择赋时ColoredPetri网 (TimedColoredPetriNet)作为工作流建模的主要工具 ,为了实现用Petri网来建立工作流模型 ,对 petri网做了适当的扩展以适应模型管理。最后通过 1个案例进一步阐述了基于Petri网的工作流建模技术。

基于工作流的高校科研项目管理Petri网建模

科研项目管理是高校科研信息系统的核心部分之一,利用Petri网,对复杂的科研项目管理工作流程建模,解决高校信息化中较为复杂的科研项目管理工作流问题。以高校科研项目申请流程为例,给出了相关定义,分析和解决建模中遇到的几个问题。

基于高级Petri网的工作流分析模型研究

工作流管理的目的是控制、监督、优化和支持企业流程.而企业要在竞争激烈的环境中取胜,需要经常实施企业流程再造.为有效支持企业流程再造,企业面临着选择合适的业务流程实施工作流管理的问题.本文针对这一问题,提出了基于高级Petri网的工作流分析模型及规范化的建模方法.这种建模方法能够方便地实现对业务流程的建模,描述企业中多个工作流的动态特性.

基于彩色Petri网的工作流权限管理的建模与分析

在一个组织中,权限管理是个非常复杂而又重要的任务。为确保组织的业务过程中各项任务只能被合法的用户所执行,建立授权模型并验证权限分配的正确性是十分必要的。彩色Petri网具有比Petri网更强的表达能力,可以用来建立一个完整的权限管理模型,不仅包含权限管理,还包含安全约束如SoD(职责分离)以及角色层次关系结构(role hierarchy)等概念。使用Petri网建模的一个优势是它建立在坚实的数学基础之上,并且得到了许多分析验证技术和工具的支持,如使用线性代数技术分析授权状态的可达性。

时态工作流过程模型及其合理性验证

为了提高工作流产品对信息时效性的处理能力,通过将时间维引入工作流概念空间,对构成工作流的基本概念及概念间的关系进行了全面的时间属性扩展,提出了时态工作流的概念.在前期对时态信息表示及演算、时态工作流元模型研究的基础上,提出了一种能够综合描述过程、资源、案例、时间四维信息的时态工作流过程模型TPWF-net,并证明了TPWF-net与WF-net的结构等价性、自由选择同步TPWF-net和良构TPWF-net的合理性可以在多项式时间内判定等结论.在此理论的指导下,提出了结构化建模的思想,并阐述了基于结构化简的TPWF-net模型合理性验证的方法.时态工作流能够更加全面地描述和分析工作流领域的时间相关问题,开发的一个时态工作流引擎原型已在一些应用研究性项目中得到了验证.