一种基于Petri网的工作流过程模型正确性的有效验证方法

随着工作流应用的日益广泛 ,工作流模型正确性验证的重要性日渐突出 .论文研究了工作流过程模型的基于Petri网的正确性验证方法及发现过程模型设计中存在的潜在错误 ,给出了一个有效的验证算法     

基于扩展Petri网的工作流模型及实现

本文首先介绍了工作流的概念,接着分析概括了工作流的几种主要拓朴结构,并给出了基于扩展Petri网的工作流模型描述及其实现框架。     

一种基于扩展Petri网的采购业务工作流结构分析方法

在简述 Petri 网及工作流的基础上,讨论通过扩展 Petri 网的关联矩阵方法对工作流网进行可靠性分析的思路。针对传统企业采购业务流程中存在的问题,结合案例说明运用扩展 Petri 网对采购业务工作流进行结构分析的实现方法。     

基于Petri网的轻量级工作流引擎研究

工作流引擎是工作流管理系统的核心部件,为工作流管理提供执行环境.给出了一个以Petri网为建模工具的轻量级工作流引擎设计方案,并在Web服务器上实现.该工作流引擎可复用,可扩展并具有自适应性,可以方便的集成到多种企业的管理系统中.     

基于Petri网的工作流模型设计

产品开发过程的建模、分析与优化是支持企业开发新产品的重要基础，而Petri网是一种行之有效的模型描述语言、论述利用Petri网建立面向企业新产品开发过程的工作流模型，并对其进行简化、     

基于Petri网的科研项目管理工作流模型的建立与验证

本文面向高职校科研项目的管理问题,在给出项目管理过程的工作流模型的基础上,建立了基于Petri网的科研项目管理工作流模型,运用W.M.P van derAalst的工作流网完整性定义及模型化简方法,实现了对该模型正确性和有效性的验证。     

NewYAWL:一种基于着色Petri网的工作流语言及其演进

传统的工作流系统注重业务流程的控制流,而对数据流、资源分配支持较弱。阐述了一种基于着色Petri网的工作流语言newYAWL及其系统演进,newYAWL通过对各种工作流模式的严格定义,对业务流程的控制流、数据流、资源分配提供了良好的支持。     

基于扩展数据对象Petri网的工作流模型的研究

通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。     

基于Petri网的网格工作流建模与优化

网格工作流不仅仅是传统工作流技术在网格环境中的一个应用,同时有大量的基本问题需要重新考虑。以Petri网建模技术构建网格工作流的过程模型有其优点和不足,可以在传统Petri网的基础上针对网格工作流的特点进行扩展,通过定义动态有色Petri网这一建模语言,解决网格工作流过程模型中的规模问题、动态性问题和选择性问题。     

基于本体的工作流网模型研究

本文在Petri网的基础上,引入本体,提出了本体驱动的Petri网建模方法。通过定义工作流元模型本体,将工作流模型用本体语言表达,从而建立本体与Petri网的对应关系,将本体丰富的语义特征与Petri网强大的分析能力相结合,由于本体具有丰富的语义表示与语义推理能力,从而有效地解决了     

一种petri网工作流模型存储结构定义方法

通过对有向图的存储问题进行研究,提出了一种在对象Petri网的表存储结构中用三叉链接表实现存储的数据结构,给出了其构造算法。应用在对象Petri网的表存储结构中,利于展开对象Petri网的各种分析算法,从而实现工作流模型的定义。     

电子政务工作流建模合理性分析

在电子政务系统开发过程中,工作流技术得到了越来越广泛的应用。合理的工作流建模是电子政务有效实施的必要条件,文章提出了基于Petri网的电子政务工作流建模合理性分析的方法。     

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

Petri网适合描述异步、并发事件驱动和资源共享的办公自动化工作流部分，使用Petri网进行过程建模可以显著地改进和优化业务流程，更好地实现业务流程控制。以物业办公中的工作联系单为例，进行了业务流程分析、Petri网建模，并给出了任务表和后续节点流向控制算法。     

基于Petri网的工作流建模与分析

工作流是指工作任务在多个人或单位之间的流转。在计算机网络环境下，这种流转表现为信息和数据在多人之间的传送。工作流所要解决的主要问题是使多个参与者之间按照某种预定义的规则传递文档、信息或任务的过程自动进行，从而实现某个预期的业务目标。     

基于Petri网的采购流程自动化

对企业采购流程运用Petri网技术进行分析,按照工作流网概念设计了自动化的模型,基于建立的模型,介绍了应用Smart Client技术构建的应用系统.     

基于Petri网的数据库逻辑设计方法

提出了一种基于Petri网的数据库逻辑设计方法，用Petri网统一了数据库设计的整个过程，形成了新的数据库设计方法．     

基于petri网的网上行政审批主控模块工作流建模

网上行政审批是当前深化行政管理体制改革的重要举措,也是行政审批工作的重要手段.网上行政审批是一个工作流过程,Petri网使用网状图形表示系统模型,能够表达并发事件,实现自动化.通过应用Petri网和工作流对网上行政审批主控模块建模,实现网上行政审批自动化.     

基于Petri的电子政务系统应用研究

本文在国际标准化工作流管理系统模型的基础上,采用通用的图形定义方法Petri网及过程定义语言对电子政务工作流程进行定义,并从电子政务系统的公文流转、网上审批、政协提案处理三个方面进行理论和实证分析。采用本文所述的工作流管理系统流程定义的技术后,对建设一个真正意义上的面向公众的服务型电子政务信息系统具有一定的借鉴意义。     

工作流性能评价方法

综述了两种工作流系统性能评价方法,它们是基于模型的分析和模拟方法,并且分析了这两种方法的优缺点,最后提出了工作流系统性能评价研究的进一步工作.