一种基于Petri网的工作流模型合理性验证方法

利用Petri网结构分析理论,分析了现有合理性验证方法的优点以及不足。根据工作流网的特点,给出符合自由选择网结构的工作流网的合理性验证方法,并进行了算法实现。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于Petri网的工作流过程建模与分析方法的研究

工作流管理是CSCW的一个重要方面 .本文介绍了工作流过程的基本知识 ,给出了一种基于Petri网的建模方法和基本定义 ,讨论了工作流过程结构和行为正确性的分析和验证 ,最后提出了过程定义的验证算法 .     

基于 Petri 网的分布式协同办公智能模 型简

介绍了Petri网的基本理论,分析了基于网络服务的分布式协同办公应用的特征,在此基础上提出了基于Petri网的分布式协同办公的通用智能模型,该模型具有语义明确、易于修改,并且易于验证的优点,最后以文档审批工作流为例给出了具体的模型实现过程．     

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

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

基于Petri网的骨干网络安全风险评估分析

针对运行BPG协议的骨干网络面临CXPST攻击风险,采用Petri网的网络建模工具,对骨干网的拓扑结构进行了建模分析,通过设计仿真工具,模拟CXPST的攻击过程,建立CXPST攻击过程的特征抽取与建模,实现对大规模骨干网络的安全风险评估。仿真实验表明,该仿真模型对骨干网风险评估时,其骨干节点失效正确率为84.5%,节点失效延时误差为11.3%。     

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

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

Petri网在Web服务组合中的应用研究综述

Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。     

基于.Net平台架构的动态工作流引擎

针对传统工作流在灵活性和自适应性方面不足的问题,通过对行政审批、电子政务的实际需求进行分析后,提出了一个基于．Net的动态工作流模型。同时针对引入工作流系统而带来的安全性问题,详细介绍了基于Web的动态工作流系统的安全体系结构及其安全策略,充分考虑了在电子政务中的实际需求,并已应用于实际的应用系统集成平台的开发。     

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

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