首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到17条相似文献,搜索用时 187 毫秒
1.
Petri网是一种有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统。本文在简要介绍了Petri网和工作流基本模式的基础上,利用替换规则用基本工作流模式构造了合理的Petri网模型,并对构造好的Petri网模型进行详细的分析,同时在分析的基础上提出了对应的优化方案。最后对基于Petri网的工作流模型进行了总结。  相似文献   

2.
肖景  郑秋华 《科技通报》2011,27(2):186-189,194
针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方...  相似文献   

3.
李海晨  张冬青 《情报科学》2007,25(3):415-418
政府决策支持系统是政府直接为企业和公众提供服务的一个平台,也是政府实现科学管理和整合业务流程的关键,是电子政务的重要组成部分。Petri网作为一种系统分析和建模工具,特别适合于描述并发和分布式系统。利用Petri网技术构建政府决策支持系统,能够有效地分析系统设计的静态结构和动态特性,提高系统开发效率。本文提出了基于Petri网技术的政府决策支持系统设计模型,分析了系统结构和工作过程,模型自适应性和鲁棒性好。  相似文献   

4.
针对FMS物流过程的具体行为特性,提出了一种基于组件对象模型思想的有色Petri网建模方法,该方法具有模块化和层次化思想,最直接的好处就是可以简化FMS系统的建模过程。文中以一个具体的FMS物流系统的例子来说明如何使用组件对象模型以及有色Petri网对FMS物流过程建模。实际上该建模方法为离散动态事件系统的建模与分析提供了一个很好的解决途径。  相似文献   

5.
传统的单机器人难以适应复杂的任务以及灵活多变的环境,因此多机器人的研究受到越来越多的关注.结合多线程技术为机器人编队建立Petri网模型,运用Petri网模型对系统各线程对共享区资源的独占性存取,线程之间同步协作进行模拟分析,提出机器人编队的多线程软件解决方案.  相似文献   

6.
通过对企业实际生产流程的调查、分析、研究及合理优化,设计出云Log管理系统。文章利用Petri网与已有算法实现系统建模及系统对应PEPA模型的构建,对系统的Petri网和PEPA模型的结构进行分析,并基于OpenStack及JavaWeb技术开发云Log管理系统。  相似文献   

7.
可靠性是开发联锁软件的重要依据之一,为了提高系统的性能,选择合理的可靠性分析模型很重要。本文在联锁软件的时间Petri模型基础上,从路径分析出发,结合Petri网动态描述与分析等特点,提出了一种联锁软件可靠性分析方法。  相似文献   

8.
针对风机系统故障征兆的不确定性和故障规则的冗余性,结合信息量和熵函教的概念,提出了一种基于多征兆系统的故障监测对象组的获取方法,利用监测对象的多征兆对故障知识库进行化简和分类,得到涵盖故障系统全部信息的简化故障规则,建立模糊Petri网模型用于风机的故障诊断.诊断仿真结果表明,基于故障监测对象组提取方法的模糊Petri网模型能够充分表征风机系统的故障,其推理过程接近人的思维活动,是一种有效的故障诊断方法.  相似文献   

9.
基于Petri网的建模方式是一种集图形化和数学化于一身的建模工具,己被广泛应用于各个领域中。以学校档案管理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育档案管理工作流系统的建模中。结合学校档案管理工作流的实际应用环境,提出基于时间Petri网的档案管理系统工作流模型,并利用可达树分析方法,对其进行时序分析,用具体数据分析了档案管理工作流模型的性能。  相似文献   

10.
在基于角色的访问控制(RBAC)模型结构的基础上,提出了一种多级权限访问控制模型。该模型采用逐级授权方式,细化了权限控制粒度,实现了权限动态配置、模块复用,能够更灵活高效地对系统进行权限访问控制。并将其应用于实际系统项目的建设。  相似文献   

11.
王凯  吴维敏  苏宏业  褚健 《科技通报》2005,21(2):180-184
通过有色Petri网来实现具有或逻辑形式约束条件的Petri网控制器是非常有效的,但以往的文献通常假设Petri网中的变迁是不能并发的。本文提出的利用有色Petri网控制离散事件系统(DES)的方法,不但实现了或逻辑形式的约束,而且允许Petri网中的所有变迁都可以并发。  相似文献   

12.
代文锋  齐春泽 《现代情报》2016,36(11):59-65
合理的应急实施流程对于有效应对突发事件至关重要。在知识元理论与Petri网方法的基础上提出了一种突发事件应急实施流程的优化方法。首先,借鉴共性知识模型,形式化表示活动基元及其内部联系,建立活动基元模型。随后,找到活动基元模型与有色Petri网的映射关系,并使用有色Petri网方法实现活动基元模型以及活动基元间的基本路由关系。在此基础上,结合知识元原理和Petri网方法,提出突发事件应急实施流程的五步优化方法。最后,以化学危险品事故为例说明该优化方法的使用过程。  相似文献   

13.
在模糊Petri网的与规则和或规则基础之上,对模糊Petri网的产生式规则进行了细分,得出4种不同类型的规则。针对电子商务中电子支付安全问题,建立模糊Petri网模型,并结合实例对模型进行实验验证,为研究电子商务安全问题提供了一种新的思路和方法。  相似文献   

14.
陈建斌  方德英  石彤 《预测》2010,29(2):32-36
重量级IT项目具有高度复杂性和不确定性,以过程为基础的项目管理需要借敏捷方法加以改进.本文以阐明IT项目的复杂产品系统特性为起点,从复杂产品系统的模块化及分解入手,讨论了IT产品的动态形成过程,提出了一个基于敏捷开发过程的重量级IT项目管理框架.以提升重载方法开发效率、提高产品质量为目的,探讨了复杂产品分解的随机Petri网概念模型、柔性团队行为模型、重载方法适度规范集以及基于知识转移的敏捷开发过程,并提出了若干管理对策.  相似文献   

15.
Petri网的可达性树和可达性图都是分析Petri网的一种工具.本文先给出了如何从可达性树转换成可达性图,然后利用可达性图来判断petri网的可达性以及活性.并将可达性图与可达性树进行比较,证明了可达图是较可达树更为有力的一种分析工具.  相似文献   

16.
制造业信息化是提升企业核心竞争力的关键因素,而ERP系统在制造业信息化中发挥着重要作用。鉴于目前ERP系统在动态环境下缺乏柔性等问题,建立通用的动态的企业过程模型将成为系统开发的基础。针对制造业过程多层次复杂性等特点,本文基于面向对象Petri网及CIM-OSA的思想对其动态过程进行建模,这不仅为软件设计及开发方法提供了一种新思路,同时对支持柔性ERP的快速开发及重构具有重要的现实意义。  相似文献   

17.
为分析"虚拟工序库"生产系统的性能,采用广义随机着色Petri网(GSCPN)基本理论对基于学习率下的"虚拟工序库"生产系统进行建模分析,同时利用广义随机Petri网与马尔可夫链同构的关系,将满足学习率下的"虚拟工序库"生产系统的GSCPN转化为等价的马尔可夫链模型,通过运用GSCPN与马尔可夫链相结合的分析方法对"虚拟工序库"生产系统的性能进行评估分析,并通过实例验证,为"虚拟工序库"生产系统的优化提供依据和参考。  相似文献   

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

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