首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 109 毫秒
1.
着色Petri网在工作流建模中的应用   总被引:7,自引:0,他引:7  
工作流建模是工作流管理系统进行工作流管理所必不可少的一个环节。而Petri网以其严格的数学基础、成熟的分析方法和工具而日益得到广泛的应用。本文介绍了着色Petri网在工作流建模中的作用,然后对一个具体的业务流程分别用经典Petri网和着色Petri网建立了过程模型并进行了比较。  相似文献   

2.
在分析工作流时,Petri网是一种有效的建模工具,但在处理复杂的工作流时,其易引发“状态空间爆炸”问题。工作流逻辑作为工作流路径的逻辑框架,可实现对工作流网的进一步抽象。为了对规模较大的工作流的畅通性进行验证,利用Petri网对工作流对应的逻辑网进行建模,在此基础上,提出了一个基于矩阵的工作流逻辑网化简算法,为大规模的工作流自动化化简提供了理论基础。通过对银行选址的工作流逻辑网畅通性的验证,表明了该算法在解决实际问题时的有效性。  相似文献   

3.
基于Petri网的工作流建模与分析   总被引:6,自引:0,他引:6  
工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网(WEPN)进行了分析。它是进一步对工作流进行全面诊断的基础。  相似文献   

4.
Petri网作为一种图形化的建模工具,具有坚实的数学理论基础,是对工作流进行建模和分析的理想工具。通过对网络会商群体决策支持系统的描述,提出了一种基于Petri网的网络会商群体决策系统的工作流模型,并对该模型进行正确性验证,提高了决策支持系统的可靠性和高效性。  相似文献   

5.
为增强工作流管理系统的安全性,本文使用高级Petri网对工作流过程进行建模.针对不同的安全问题,分别引入时间Petri网、有色Petri网和有色时间Petri网进行建模.保证了授权流和工作流的同步,满足最小特权原则,给工作流管理系统提供了最大的安全保障.  相似文献   

6.
Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术。本文将Petri网技术应用在卫生监督管理信息系统的工作流建模中,提出了完整的卫生监督管理信息系统工作流模型,并对该模型的合理性进行了论证。  相似文献   

7.
Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术。本文将Petri网技术应用在卫生监督管理信息系统的工作流建模中,提出了完整的卫生监督管理信息系统工作流模型,并对该模型的合理性进行了论证。  相似文献   

8.
张钢  刘云生 《微处理机》2007,28(6):48-50
工作流过程定义可以采用不同的建模方法,由于Petri网有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具,XPDL是基于XML技术的工作流过程定义语言。文中提出了六种基本的Petri网流程模块,给出了由Petri网向XPDL转换的方法以及由XPDL构造Petri网的方法。  相似文献   

9.
基于随机Petri网的工作流仿真   总被引:2,自引:0,他引:2  
工作流管理是今年来发展最为迅速的计算机应用技术之一,被广泛应用于多个领域.Petri网,是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模的有效工具.针对工作流的性能评价问题设计和实现了随机Petri网仿真工具.介绍了工作流和随机Petri网的基本概念,然后具体介绍了仿真策略和冲突解决方法的关键仿真技术问题,最后结合具体实例对仿真工具的有效性和正确性进行验证.  相似文献   

10.
基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对工作流建模和分析的理想工具。通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网办公自动化工作流模型,并对该模型进行了正确性验证,提高了办公自动化系统的实用和高效性。  相似文献   

11.
Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点。最后给出了一个实例:软件测试过程模型。  相似文献   

12.
为了确保水产品供应链工作流的合理性和保证业务流程中物流和信息流的一致性,提出了较完善的基于状态的Petri网建模方法,对水产品供应链业务流程进行模型分析,描述水产品生产加工销售链各上下游企业的业务流程模型,利用petri网设计了水产品管理系统流程模型。结果表明:利用Petri网能够优化设计水产品生产加工各个流程模型,对水产品生产供应链信息流进行有效的管理,为水产品生产加工的质量安全决策提供了重要的依据。  相似文献   

13.
Petri网在商务工作流建模中的应用研究   总被引:2,自引:0,他引:2  
在工作流建模研究中,Petri网是一类重要工具。对于跨机构的商务工作流来说,用基本Petri网建模往往会因为图幅规模过大和细节过多而使得其可读性下降。该文提出了一种活动/层次网(A/H-Nets)模型,并给出了建模过程和应用示例。模型通过引入复合位置和子网转移及过程转移的概念,来满足Petri网在不同层次上建模的需求。为了保证层次之间的一致性,文中给出了层次建模必须的子网(过程)替换规则。  相似文献   

14.
Petri网是一种有效的形式化建模工具,能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型,将Petri网三要素以对象的形式描述出来,并对此工作流模型的正确性定义和验证进行了说明。  相似文献   

15.
基于Petri网的工作流建模与正确性分析   总被引:7,自引:0,他引:7  
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。  相似文献   

16.
基于工作流网的实时协同系统模拟技术   总被引:10,自引:0,他引:10  
基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术——逻辑工作流网,逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入/输出受逻辑表达式的约束,它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用,该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例,说明逻辑工作流网在实时协同系统模拟分析中的应用。  相似文献   

17.
基于Petri网的工作流模式建模及应用   总被引:1,自引:0,他引:1       下载免费PDF全文
工作流模式建模是工作流模型的基础,Petri网同步器是目前最有效的工作流模型建模方法。使用网和同步距离对工作流模式进行分析,将目前常用的工作流模式归纳成为三种:完全同步、竞争同步、非同步。而Petri网同步器只能表示完全同步,不能表示竞争同步和非同步,为此提出一种改进的同步器,通过改进同步类型,使得同步器可以建模三种同步模式,较之改进前的同步器,增强了建模竞争同步模式和非同步模式的能力。  相似文献   

18.
Time and resource management and verification are two important aspects of workflow management systems. In this paper, we present a modeling and analysis approach for a kind of workflow constrained by resources and nondetermined time based on Petri nets. Different from previous modeling approaches, there are two kinds of places in our model to represent the activities and resources of a workflow, respectively. For each activity place, its input and output transitions represent the start and termination of the activity, respectively, and there are two timing functions in it to define the minimum and maximum duration times of the corresponding activity. Using the constructed Petri net model, the earliest and latest times to start each activity can be calculated. With the reachability graph of the Petri net model, the timing factors influencing the implementation of the workflow can be calculated and verified. In this paper, the sufficient conditions for the existence of the best implementation case of a workflow are proved, and the method for obtaining such an implementation case is presented. The obtained results will benefit the evaluation and verification of the implementation of a workflow constrained by resources and nondetermined time.  相似文献   

19.
This paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage of this approach is its ability to represent the dynamic behavior of the business process. We show that the problem of finding an optimum trajectory for validation of well-formed business processes is solvable. To prove our statement we use the Lyapunov stability theory to tackle the soundness verification problem for decision-process Petri nets. As a result, applying Lyapunov theory, the well-formed verification (soundness) property is solved showing that the workflow net representation using decision process Petri nets is uniformly practically stable. It is important to note that in a complexity-theoretic sense checking the soundness property is computationally tractable, we calculate the computational complexity for solving the problem. We show the connection between workflow nets and partially ordered decision-process Petri net used for business process representation and analysis. Our computational experiment of supply chains demonstrate the viability of the modeling and solution approaches for solving computer science problems.  相似文献   

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

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