共查询到20条相似文献,搜索用时 781 毫秒
1.
在资源共享系统中,竞争系统的有限资源会导致系统死锁等不希望事件的发生,文中利用辅助弧,通过引入资源回路概念来描述系统中的这一竞争过程,揭示了一类资源共享系统的资源竞争过程本质特点,阐述了资源回路与系统死锁之间的相互关系,给出了系统在Petri网模型下死锁存在的必要条件.提出了一种避免系统死锁的最优Petri网控制器设计方法,其方法在设计和计算上是有效的,几何上是直观的. 相似文献
2.
梁建芳 《海军大连舰艇学院学报》2002,25(1):59-60
战争由于它的离散性和同步并发性,应用传统的仿真方法很难得到令人满意的结果,Petri网能够描述异(同)步并发现象,能直接明了的揭示时间之间的演化逻辑关系。本给出了Petri网的定义方法和Petri网的分析方法,对一个防空C^3I系统进行了系统建模,很好的解决了战争系统的仿真模型问题。 相似文献
3.
基于有色Petri网的火力分配过程建模 总被引:1,自引:0,他引:1
为了有效地进行火力分配,利用有色Petri网对火力分配过程建模,形象直观地描述了分配过程中事件的不确定性、并行性和资源共享等特征,同时有效地解决了模型中存在的冲突、死锁等问题,并克服了普通Petri网建模时复杂繁琐的缺点。 相似文献
4.
针对当前经济预警领域单一模型预测效果不理想,以及模型组合、管理和重用困难等问题,提出了采用面向服务的体系结构构建宏观经济预警平台,将单一预警模型发布为Web服务,并利用Petri网组合预警服务模型的方法,讨论了系统构建方法和服务组合的建模过程,验证了基于Petri网的组合服务模型能够保证组合服务的可达性、安全性、正确性和可终止性。 相似文献
5.
刘超美 《兰州石化职业技术学院学报》2007,7(3):21-23
锅炉燃烧系统是典型的复杂被控对象,常规的控制方案难以取得满意的控制效果.将基于Petri网的混杂控制方法引入锅炉燃烧系统,给出了锅炉燃烧系统的混杂控制模型,利用Petri网建立了离散事件系统的模型. 相似文献
6.
魏正平 《九江职业技术学院学报》2002,(4):57-58,65
Petri网模型是FMS动态仿真的有利工具。本文利用面向对象方法对FMS和有色赋时Petri网进行了描述,并根据最小下次事件时间推进原理,利用VisualC 建立了动态调度仿真系统。结果表明,面向对象方法具有表达直观和自然,可扩充性,实现容易和简便等优点。 相似文献
7.
吴鲲 《廊坊师范学院学报(自然科学版)》2010,10(4)
以办公信息流处理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育公文管理工作流系统的建模中.结合高校公文管理工作流的实际应用环境,提出基于Petri网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能. 相似文献
8.
本文基于Petri网模型,研究并行系统分叉和交汇操作过程的控制问题。通过把系统所要满足的性能要求转化为同一组线性不等式约束表示的控制问题,给出了综合这一类并行系统分叉和交汇操作过程Petri网控制器的方法。 相似文献
9.
基于Petri网的电力系统故障域搜索 总被引:1,自引:0,他引:1
把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。 相似文献
10.
本文在Petri网的基础上,引入本体,提出了本体驱动的Petri网建模方法。通过定义工作流元模型本体,将工作流模型用本体语言表达,从而建立本体与Petri网的对应关系,将本体丰富的语义特征与Petri网强大的分析能力相结合,由于本体具有丰富的语义表示与语义推理能力,从而有效地解决了 相似文献
11.
秦奋涛 《河北北方学院学报(社会科学版)》2003,19(6):16-18
提出了一种基于Petri网的数据库逻辑设计方法,用Petri网统一了 数据库设计的整个过程,形成了新的数据库设计方法. 相似文献
12.
WWW下基于Petri Net的协同编辑模型 总被引:2,自引:0,他引:2
袁红照 《安阳师范学院学报》2002,(2):16-19
工作流管理是一个以业务处理自动化为目标的新兴研究领域。近几年来Internet的发展深刻地影响着工作流管理系统。本文旨在用PetriNet这种非常适合描述离散动态系统的工具建立一个基于WWW环境的期刊协同编辑系统模型 ,使编辑流程规范化 ,也为后期开发提供可靠的理论基础 相似文献
13.
14.
15.
在以往的自动信任协商研究中,Petri网很少被用于构造策略模型。提出一种基于petri网的自动信任协商进行合理建模和分析,提供了形式化建模方法和验证,并通过VC程序对其进行了模拟验证,达到了对自动信任协商理论研究的目的。 相似文献
16.
17.
18.
19.
周如旗 《广东教育学院学报》2005,25(5):99-102
在分析远程教育个性化服务系统行为特性以及用户学习活动中涉及的行为属性基础上,对普通Petri网进行基于属性抽取与整合操作的扩展,针对个性化远程教育系统建立基于扩展Petri网的形式化模型.从模型特性分析结果,它符合个性化学习活动特性和要求,能有效体现系统个性化功能特性. 相似文献
20.
本文在国际标准化工作流管理系统模型的基础上,采用通用的图形定义方法Petri网及过程定义语言对电子政务工作流程进行定义,并从电子政务系统的公文流转、网上审批、政协提案处理三个方面进行理论和实证分析。采用本文所述的工作流管理系统流程定义的技术后,对建设一个真正意义上的面向公众的服务型电子政务信息系统具有一定的借鉴意义。 相似文献