共查询到19条相似文献,搜索用时 46 毫秒
1.
2.
基于Petri网化简技术的工作流过程模型结构验证 总被引:1,自引:1,他引:1
目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程. 相似文献
3.
4.
为了更有效地对工作流模型进行分析验证,提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上,通过对非自由选择网结构活性和有界性的分析,给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下,给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法,从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。 相似文献
5.
工作流网的模型化简是模型有效分析的前提。在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析。最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析。 相似文献
6.
基于Petri网的工作流结构正确性化简验证方法 总被引:2,自引:0,他引:2
工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性. 相似文献
7.
8.
工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。 相似文献
9.
基于Petri网的工作流模型性能分析方法 总被引:17,自引:0,他引:17
除了有限的仿真支持以得到参考数据以外,目前对于工作流模型性能的理论上的严格分析几乎是空白。在深入分析了经营过程工作流模型特点的基础上,本文提出一种将工作流的Petri网模型分解为事件图的算法,并给出了利用事件图对单个业务实例的处理过程进行性能分析的基础上获得整个工作流模型性能指标的方法。 相似文献
10.
基于Petri网的工作流模型 总被引:7,自引:4,他引:7
Petri网是一种很有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统,而工作流技术作为实现企业过程集成的有效手段,广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上,指出了基于Petri网的工作流模型的优点,讨论了将工作流模型转化为Petri网模型的基本原则,并且提出了一种扩展的Petri网模型作为一种工作流建模的工具,最后对基于Petri网的工作流模型进行了总结。 相似文献
11.
基于有色Petri网的经营过程建模 总被引:18,自引:0,他引:18
在经营过程重组(BPR)的过程中,利用仿真工
具对经营过程建模与仿真分析,被认为是快速和顺利实施BPR的必要手段.目前大多数BPR支
持工具局限于对过程的仿真,而Petri网则因其严格的数学定义和丰富的分析方法,不仅能
够仿真过程的性能参数,还可以对过程的结构进行分析,从而在过程诊断和重组方案的设计
中发挥重要作用.将有色Petri网应用于经营过程建模,可以较好地描述经营过程的不确定
性、并发性和资源共享等问题,并解决模型中存在的冲突、死锁等问题,同时避免了普通Pe
tri网过于复杂的缺点. 相似文献
12.
基于Petri网的分布式多媒体同步模型研究 总被引:3,自引:0,他引:3
Petri网作为一种描述系统行为的形式化工具,在各类多媒体系统中有着较多的应用,尤其擅长于描述多媒体的同步问题,出现了诸如OCPN(对象组合Petri网)等多媒体同步模型,然而,这些模型却不足以处理分布式环境中的多媒体同步问题。本文提出了一种新的扩充Petri网模型并分析了其模型化的能力和性质,利用该模型可以较好地解决分布式环境中的多媒体同步问题。 相似文献
13.
针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模. 相似文献
14.
首先用IDEF0建模方法对系统进行描述,然后将其转换为Petri网模型以确定制造活动间的选择,冲突,同步和并发关系,进一步用基于关联矩阵的重组算法对制造活动进行重组,建立制造活动耦合集间的同步和冲突表,从而达到了利用制造活动耦合集间的并和来减少制造过程周期的目的。 相似文献
15.
着色Petri网在工作流建模中的应用 总被引:7,自引:0,他引:7
工作流建模是工作流管理系统进行工作流管理所必不可少的一个环节。而Petri网以其严格的数学基础、成熟的分析方法和工具而日益得到广泛的应用。本文介绍了着色Petri网在工作流建模中的作用,然后对一个具体的业务流程分别用经典Petri网和着色Petri网建立了过程模型并进行了比较。 相似文献
16.
在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型-CPNH,它基于有色Petri网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理2,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了CPNH模型的形式化定义并举例说明。 相似文献
17.
介绍了基于EN_网理论进行流程描述的模型,支持这种流程建模方式的工作流管理系统使得OA系统开发变得相对容易,但是存在着实际工作流程变更引起系统修改量大的不足.提出一种流程描述的优化模型,有效地解决此问题. 相似文献
18.
网络系统的可生存性问题是系统安全领域的一个重点研究方向。讨论现有的系统可生存性的一般分析方法,确定系统的可生存属性,并采用随机Petri网(SPN)技术,分析电信交换系统生存性问题的特点。重点利用随机Petri网描述系统的失效-修复分析模型和性能分析模型,给出系统可生存性分析中主要指标的定量计算方法。系统仿真结果表明了该方法的有效、合理性。 相似文献