共查询到18条相似文献，搜索用时 187 毫秒
1.
对基于服务质量(Quality of Service-Qos)的信息网格资源调度及其形式化建模与分析进行了研究.给出了基于Qos的信息网格环境下资源调度的框架,为信息网格资源调度构造了有色时延Petri网模型.利用可达调度图,分析了调度系统的时间、成本等一些重要特性. 相似文献
2.
在以往的自动信任协商研究中,Petri网很少被用于构造策略模型。提出一种基于petri网的自动信任协商进行合理建模和分析,提供了形式化建模方法和验证,并通过VC程序对其进行了模拟验证,达到了对自动信任协商理论研究的目的。 相似文献
3.
合理的应急实施流程对于有效应对突发事件至关重要。在知识元理论与Petri网方法的基础上提出了一种突发事件应急实施流程的优化方法。首先,借鉴共性知识模型,形式化表示活动基元及其内部联系,建立活动基元模型。随后,找到活动基元模型与有色Petri网的映射关系,并使用有色Petri网方法实现活动基元模型以及活动基元间的基本路由关系。在此基础上,结合知识元原理和Petri网方法,提出突发事件应急实施流程的五步优化方法。最后,以化学危险品事故为例说明该优化方法的使用过程。 相似文献
4.
Petri网具有形象直观的图形描述和严格的数学定义,能描述异步、并发的系统模型.OO技术采用模块化设计思想和自底向上的设计方法,便于模型地设计和维护,有大事化小之功效.针对Petri网建模过程的结构复杂性,本文结合OO技术和Petri网实现了对一小型运货系统的建模,该方法较传统的Petri网建模更加灵活、高效. 相似文献
5.
6.
一种业务过程建模方法研究 总被引：1，自引：0，他引：1
根据业务过程的特征和要求,总结当前建模技术的不足之处,在经典Petri网和对象Petri网建模技术的基础上,提出了扩展对象Petri网建模方法,以提高模型的可重用性,降低建模过程的复杂度,加强对动态流程的描述能力,解决临界资源的共享问题。通过一个具体实例阐述了如何建立扩展对象Petri网模型,通过设计时间映射机制,控制资源的有效调度和流程的正常运行;引入有色令牌思想,提高模型对动态过程的描述能力;利用死锁检测机制,验证模型对流程描述的正确性和有效性。 相似文献
7.
针对飞机温控系统的故障复杂性,提出了一种基于功能的以模糊Petri网为推理算法的故障诊断方法。首先根据系统分析,推导出子系统和系统功能参数,建立了描述功能层次关系的功能模型,提高了故障诊断的直观性和有效性;然后利用模糊Petri网的快速和并行推理能力,建立了反映功能模型的故障诊断模型,定位故障功能组件,提高了诊断的快速性和精确性;最后通过实例验证了该方法的有效性。 相似文献
8.
通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。 相似文献
9.
在模糊Petri网的与规则和或规则基础之上,对模糊Petri网的产生式规则进行了细分,得出4种不同类型的规则。针对电子商务中电子支付安全问题,建立模糊Petri网模型,并结合实例对模型进行实验验证,为研究电子商务安全问题提供了一种新的思路和方法。 相似文献
10.
针对FMS物流过程的具体行为特性,提出了一种基于组件对象模型思想的有色Petri网建模方法,该方法具有模块化和层次化思想,最直接的好处就是可以简化FMS系统的建模过程。文中以一个具体的FMS物流系统的例子来说明如何使用组件对象模型以及有色Petri网对FMS物流过程建模。实际上该建模方法为离散动态事件系统的建模与分析提供了一个很好的解决途径。 相似文献
11.
Petri网是一种有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统。本文在简要介绍了Petri网和工作流基本模式的基础上,利用替换规则用基本工作流模式构造了合理的Petri网模型,并对构造好的Petri网模型进行详细的分析,同时在分析的基础上提出了对应的优化方案。最后对基于Petri网的工作流模型进行了总结。 相似文献
12.
13.
政府决策支持系统是政府直接为企业和公众提供服务的一个平台,也是政府实现科学管理和整合业务流程的关键,是电子政务的重要组成部分。Petri网作为一种系统分析和建模工具,特别适合于描述并发和分布式系统。利用Petri网技术构建政府决策支持系统,能够有效地分析系统设计的静态结构和动态特性,提高系统开发效率。本文提出了基于Petri网技术的政府决策支持系统设计模型,分析了系统结构和工作过程,模型自适应性和鲁棒性好。 相似文献
14.
足球机器人具有离散事件系统（DES）的特征，而Petri网是一种很好的离散系统的建模工具，能够比较直观地反映系统的动态特性。因此本文针对多机器人对抗比赛中各个机器人如何分配角色的问题，给出了机器人角色转换的原理和基于计算机多线程编程的动态角色分配协议，并进一步建立了一种基于Petri网的角色转换模型，通过仿真对该模型进行了可达性分析。最后，本文通过实验较好地实现了多机器人之间的角色转换。 相似文献
15.
随着政府上网工程的不断推进 ,电子政务 (e govern ment)在我国得到了很大的发展。电子政务系统与其他信息系统的最大区别在于 ,其中所承载的信息流和数据更为重要 ,对安全性和可靠性的要求极高。因此 ,对电子政务系统中的信息流进行控制 ,使其限制在安全策略规定的范围内 ,对保障电子政务系统的安全有着重要意义。1 公文信息流的安全问题在电子政务系统中 ,存储在系统数据库中的大量信息 ,以及系统实体之间传送的信息流主要是以文档为形式的公文。公文在网络中传输时会存在很多安全问题[1] ,例如 ,非文件接收者阅读到他无权访问的公文 ,或… 相似文献
16.
17.
为了帮助设备管理与优化决策提供参考性的数据,并对企业设备管理的一些性能指标进行检测。在三级维修体制的基础上,运用随机Petri网的基本理论和相关技术建立设备维修的SPN模型。利用矩姆函数的分析方法,对SPN建模进行化简、分析,成功的获得如时间性能指标、稳态概率性能指标等可靠性能指标信息,完成了对企业设备管理系统的评价。 相似文献
18.
制造业信息化是提升企业核心竞争力的关键因素,而ERP系统在制造业信息化中发挥着重要作用。鉴于目前ERP系统在动态环境下缺乏柔性等问题,建立通用的动态的企业过程模型将成为系统开发的基础。针对制造业过程多层次复杂性等特点,本文基于面向对象Petri网及CIM-OSA的思想对其动态过程进行建模,这不仅为软件设计及开发方法提供了一种新思路,同时对支持柔性ERP的快速开发及重构具有重要的现实意义。 相似文献