首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到16条相似文献,搜索用时 265 毫秒
1.
本文在Petri网的基础上,引入本体,提出了本体驱动的Petri网建模方法。通过定义工作流元模型本体,将工作流模型用本体语言表达,从而建立本体与Petri网的对应关系,将本体丰富的语义特征与Petri网强大的分析能力相结合,由于本体具有丰富的语义表示与语义推理能力,从而有效地解决了  相似文献   

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

3.
以办公信息流处理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育公文管理工作流系统的建模中.结合高校公文管理工作流的实际应用环境,提出基于Petri网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能.  相似文献   

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

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

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

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

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

9.
工作流技术是当前计算机信息处理领域的发展趋势,本文将工作流技术引入高校教务管理系统,介绍了建立基于Petri网的教学管理工作流模型和运用工作流引擎JPBM技术开发系统的设计与实现.  相似文献   

10.
杜维 《教育技术导刊》2010,9(5):133-135
通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。  相似文献   

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

13.
WWW下基于Petri Net的协同编辑模型   总被引:2,自引:0,他引:2  
工作流管理是一个以业务处理自动化为目标的新兴研究领域。近几年来Internet的发展深刻地影响着工作流管理系统。本文旨在用PetriNet这种非常适合描述离散动态系统的工具建立一个基于WWW环境的期刊协同编辑系统模型 ,使编辑流程规范化 ,也为后期开发提供可靠的理论基础  相似文献   

14.
1 Introduction a After many years’ research and developments, communication networks have demonstrated more and more important functions in a substation automation system (SAS). In our experience in developing and applying such systems, we have witnessed…  相似文献   

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

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

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号