共查询到20条相似文献,搜索用时 62 毫秒
1.
基于对象Petri网的雷达组网系统建模仿真研究 总被引:1,自引:0,他引:1
建立了复杂环境下雷达网的OPDL模型,并以雷达网分布式目标检测分析为背景,运用所建立的雷达网OPDL模型进行了仿真实验。研究表明,基于OPDL的雷达组网系统建模仿真是一种分析、评价雷达网系统的有效途径。 相似文献
2.
3.
利用CPN—Tools建模辅助工具建立了基于着色Petri网的交换式局域网模型,通过模型的仿真运行得出了网络流量和网络延时之间的关系,模型的构件组成为交换机、工作站、服务器。 相似文献
4.
5.
为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中"包传输"的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。 相似文献
6.
7.
Petri网在系统可靠性分析中的应用 总被引:11,自引:0,他引:11
简单介绍了各种Petri网模型的定义和性质,对Petri网模型在系统可靠性分析中的基本行为描述、故障树表示与简化、故障诊断、可靠性指标的解析计算以及可靠性仿真分析等方面进行了较全面的评述,对进一步的研究方向进行了展望。 相似文献
8.
通过对iSCSI协议对象的分解,论述了通信双方在整个会话生命周期中各阶段的状态以及状态转换的条件,并依据Petri网理论,建立iSCSI协议会话模型,完成对协议运行机制和实现原理的分析。 相似文献
9.
10.
工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。 相似文献
11.
一种基于时间权重的 Petri Net 工作流过程建模 总被引:1,自引:1,他引:0
为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的. 相似文献
12.
针对网络实体间信任关系的不确定性,论文提出了一种基于模糊Petri网的信任评估模型,该模型给出了信任评估的模糊规则,在此基础上利用模糊Petri网与矩阵运算相结合的推理方法,通过并行处理关于一个实体的多个推荐来评估实体间的信任关系。经信任关系评估实例计算可以看出,基于模糊Petri网的推理方法使得信任评估灵活、简单、有效。 相似文献
13.
逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为. 相似文献
14.
在Petri网理论基础上分析如何用Petri网理论描述指挥自动化系统 ,给出了相应实例 相似文献
15.
16.
用于检测数据库一致性的Petri网模型 总被引:1,自引:0,他引:1
吴启明 《微电子学与计算机》1994,11(6):37-41
本文通过建立事务调度的Petri网模型,给出了并发控制系统判断数据库一致性的形式化方法,得到了判定可串行化调度的充要条件。本方法简便、实用,大大改进了以往的方法,为实现数据库一致性的自动判定提供了前提。最后从方法学角度提出了应用Petri网的新方法。 相似文献
17.
将对偶交换的观点引入工作流挖掘的研究可以获得新的认识。其在工作流结构验证中并行和选择互换后仍保持结构的正确性。工作流挖掘α算法先挖掘选择结构,余下并行结构,通过对偶交换得到算法,先挖掘并行结构,余下选择结构,算法能够减少非自由选择结构。不同情况下两种算法结果比较取优,能够使工作流挖掘的并行和选择的嵌套关系更为简练。以任务为变迁的Petri网能够最简洁地表示α算法挖掘结果,以任务为库所的Petri网能够最简洁地表示算法的挖掘结果。这两种Petri网表示也体现出对偶性。 相似文献
18.
主体计划的Petri网方法及正确性验证 总被引:1,自引:0,他引:1
主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网系统的可达性分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的正确性进行了形式化的验证,从而为多主体系统的实现提供了保证. 相似文献
19.
该文提出一种将协议转换方法学和Petri网理论相结合来研究应用层协议转换的新方法。按照协议转换方法学的流程,对IIN(Internet Intelligent Network)模型中的点击拨号(CTD)业务进行分析。在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则,丰富了协议转换方法学的内容。利用Petri网的分析能力分析了CTD业务协议转换模型的特性,达到了检错纠错的目的。 在该方法的指导下开发了业务控制网关(SCGF)和CTD业务,证明了这种新方法的可行性和适用性。 相似文献