共查询到19条相似文献,搜索用时 109 毫秒
1.
着色Petri网在工作流建模中的应用 总被引:7,自引:0,他引:7
工作流建模是工作流管理系统进行工作流管理所必不可少的一个环节。而Petri网以其严格的数学基础、成熟的分析方法和工具而日益得到广泛的应用。本文介绍了着色Petri网在工作流建模中的作用,然后对一个具体的业务流程分别用经典Petri网和着色Petri网建立了过程模型并进行了比较。 相似文献
2.
3.
基于Petri网的工作流建模与分析 总被引:6,自引:0,他引:6
工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网(WEPN)进行了分析。它是进一步对工作流进行全面诊断的基础。 相似文献
4.
郭昆 《计算机工程与应用》2006,(Z1)
Petri网作为一种图形化的建模工具,具有坚实的数学理论基础,是对工作流进行建模和分析的理想工具。通过对网络会商群体决策支持系统的描述,提出了一种基于Petri网的网络会商群体决策系统的工作流模型,并对该模型进行正确性验证,提高了决策支持系统的可靠性和高效性。 相似文献
5.
6.
Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术。本文将Petri网技术应用在卫生监督管理信息系统的工作流建模中,提出了完整的卫生监督管理信息系统工作流模型,并对该模型的合理性进行了论证。 相似文献
7.
Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术。本文将Petri网技术应用在卫生监督管理信息系统的工作流建模中,提出了完整的卫生监督管理信息系统工作流模型,并对该模型的合理性进行了论证。 相似文献
8.
工作流过程定义可以采用不同的建模方法,由于Petri网有坚实的理论基础和易于使用的图形表示,因而是一种理想的建模和分析工具,XPDL是基于XML技术的工作流过程定义语言。文中提出了六种基本的Petri网流程模块,给出了由Petri网向XPDL转换的方法以及由XPDL构造Petri网的方法。 相似文献
9.
基于随机Petri网的工作流仿真 总被引:2,自引:0,他引:2
工作流管理是今年来发展最为迅速的计算机应用技术之一,被广泛应用于多个领域.Petri网,是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模的有效工具.针对工作流的性能评价问题设计和实现了随机Petri网仿真工具.介绍了工作流和随机Petri网的基本概念,然后具体介绍了仿真策略和冲突解决方法的关键仿真技术问题,最后结合具体实例对仿真工具的有效性和正确性进行验证. 相似文献
10.
11.
Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具,因此在工作流的建模和分析方面具有广泛的应用。本文应用Petri网的理论对于工作流模型中的死锁进行分析,给出了解决死锁的基本算法,并分析了这些算法的优缺点。最后给出了一个实例:软件测试过程模型。 相似文献
12.
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网同步器是目前最有效的工作流模型建模方法。使用网和同步距离对工作流模式进行分析,将目前常用的工作流模式归纳成为三种:完全同步、竞争同步、非同步。而Petri网同步器只能表示完全同步,不能表示竞争同步和非同步,为此提出一种改进的同步器,通过改进同步类型,使得同步器可以建模三种同步模式,较之改进前的同步器,增强了建模竞争同步模式和非同步模式的能力。 相似文献
18.
Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets 总被引:2,自引:0,他引:2
Huaiqing Wang Qingtian Zeng 《IEEE transactions on systems, man, and cybernetics. Part A, Systems and humans : a publication of the IEEE Systems, Man, and Cybernetics Society》2008,38(4):802-817
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.
《Expert systems with applications》2014,41(11):5030-5040
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. 相似文献