共查询到20条相似文献，搜索用时 312 毫秒
1.
介绍了工作流建模标准和Petri网的相关概念,给出了Petri网中顺序、并行、选择、循环4种基本结构;从实际出发,对一个复杂的企业生产经营管理的业务流程进行层次化建模,在生产流程中采用Petri网工作流建模技术得到工作流网模型及其子模型。 相似文献
2.
3.
Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模技术。本文以发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。 相似文献
4.
基于Petri网的协同工作流描述方法及建模 总被引：2，自引：0，他引：2
工作流技术作为实现企业协同的有效手段,广泛应用于各种场合,应用中的关键是建立适合企业过程的协同工作流模型.Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示.文章主要介绍了Petri网和协同工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了设计实例. 相似文献
5.
Petri网是一种有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统。本文在简要介绍了Petri网和工作流基本模式的基础上,利用替换规则用基本工作流模式构造了合理的Petri网模型,并对构造好的Petri网模型进行详细的分析,同时在分析的基础上提出了对应的优化方案。最后对基于Petri网的工作流模型进行了总结。 相似文献
6.
针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方... 相似文献
7.
通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。 相似文献
8.
9.
针对FMS物流过程的具体行为特性,提出了一种基于组件对象模型思想的有色Petri网建模方法,该方法具有模块化和层次化思想,最直接的好处就是可以简化FMS系统的建模过程。文中以一个具体的FMS物流系统的例子来说明如何使用组件对象模型以及有色Petri网对FMS物流过程建模。实际上该建模方法为离散动态事件系统的建模与分析提供了一个很好的解决途径。 相似文献
10.
通过对企业实际生产流程的调查、分析、研究及合理优化，设计出云Log管理系统。文章利用Petri网与已有算法实现系统建模及系统对应PEPA模型的构建，对系统的Petri网和PEPA模型的结构进行分析，并基于OpenStack及JavaWeb技术开发云Log管理系统。 相似文献
11.
在分析了已有Petri网模型的基础上,建立了一个完整的基于Petri网的分布式多媒体同步模型MMSPN,分析了MMSPN的同步控制能力,说明了MMSPN能有效克服因网络延迟、阻塞及丢包而带来的各种不良影响,对分布式多媒体同步系统具有良好的建模能力。 相似文献
12.
基于petri网的工作流模型具有结构简明、描述能力强的特点。本文针对校园一卡通圈存转账信息流程,建立了基于Petri网的流程模型,并利用关联矩阵对其性能进行分析研究,为模型的优化打下基础。 相似文献
13.
Petri网具有形象直观的图形描述和严格的数学定义,能描述异步、并发的系统模型.OO技术采用模块化设计思想和自底向上的设计方法,便于模型地设计和维护,有大事化小之功效.针对Petri网建模过程的结构复杂性,本文结合OO技术和Petri网实现了对一小型运货系统的建模,该方法较传统的Petri网建模更加灵活、高效. 相似文献
14.
企业实施业务流程重组(BPR)对于改善企业组织结构、提高管理信息化水平具有及其重要得意义。在这种背景瞎,用于支持BPR的管理信息系统——工作流管理系统的研究就显得格外重要。文章研究了基于Petri的HOCGSPN网模型的工作流建模与仿真技术,开发了相应得仿真工具,并结合某实际业务流程的仿真分析,验证了上述仿真模型的合理性,获得了实际业务流程的各项性能参数,为企业BPR提供了技术支持。 相似文献
15.
工作流建模是工作流管理系统的重要组成部分,工作流管理系统提供工作流建模工具,绘制流程的活动网络图,形象展示工作流模型.根据活动网络图中的AOE网来展示工作流模型,把对AOE网的关键路径的求解算法应用到工作流的关键路径的求解中来. 相似文献
16.
一种业务过程建模方法研究 总被引：1，自引：0，他引：1
根据业务过程的特征和要求,总结当前建模技术的不足之处,在经典Petri网和对象Petri网建模技术的基础上,提出了扩展对象Petri网建模方法,以提高模型的可重用性,降低建模过程的复杂度,加强对动态流程的描述能力,解决临界资源的共享问题。通过一个具体实例阐述了如何建立扩展对象Petri网模型,通过设计时间映射机制,控制资源的有效调度和流程的正常运行;引入有色令牌思想,提高模型对动态过程的描述能力;利用死锁检测机制,验证模型对流程描述的正确性和有效性。 相似文献
17.
引入工作流对制造企业的质量管理体系进行了分析与研究,建立了制造企业质量管理的过程模型,并以采购质量管理系统为例,基于Petri网构造了其工作流模型;设计开发了基于工作流的计算机辅助质量管理系统,从而实现了过程驱动的质量管理机制,为提升质量管理系统的过程支持能力提供了一种有效的技术方案。 相似文献
18.
19.
介绍了Web服务和工作流技术,提出了一个基于Web服务和工作流技术的高校图书馆信息化平台架构,以建立江苏广播电视大学图书馆信息化平台为实例.设计了基于Web services嘲的图书馆集成模型和基于Petri网的图书采购管理工作流模型,关联矩阵分析证实了图书采购管理模型的可靠性,最后给出了图书采购体系结构. 相似文献
20.
政府决策支持系统是政府直接为企业和公众提供服务的一个平台,也是政府实现科学管理和整合业务流程的关键,是电子政务的重要组成部分。Petri网作为一种系统分析和建模工具,特别适合于描述并发和分布式系统。利用Petri网技术构建政府决策支持系统,能够有效地分析系统设计的静态结构和动态特性,提高系统开发效率。本文提出了基于Petri网技术的政府决策支持系统设计模型,分析了系统结构和工作过程,模型自适应性和鲁棒性好。 相似文献