基于Petri网的入侵检测模型研究

随着计算机网络的广泛应用,非法的入侵与攻击行为不断发生,严重威胁着网络信息的安全,对入侵和攻击进行检测与防范已经成为刻不容缓的重要课题。讲述了Petri网(PN)和有色Petri网(CPN),通过将入侵分为“存在”,“顺序”,“偏序”三种类型,描述入侵检测系统(IDS)中的攻击模式用Petri网实现,并且给出了使用有色Petri网描述攻击模式。     

基于模糊Petri网模型的通信网络综合性能评价

论述了传统Petri网和模糊Petri网的概念、特点及区别,提出了模糊Petri网建模的规则和进行系统问题分析时的有效算法,最后,通过通信网综合性能评价来说明模糊Petri网在系统性能分析中的应用。     

基于软交换的集群媒体服务器的性能评价Petri网模型

在研究基于软交换的集群媒体服务器的系统结构和软件结构的基础上，利用随机Petri网理论为该类服务器建立了一个性能模型。为了验证模型的有效性，在北京邮电大学网络与交换国家重点实验室网络智能中心开发的基于软交换的集群媒体服务器平台上设计了两种业务类型的实验。对实验结果的分析表明，该性能模型能够反映系统的真实性能状况，是一个有效的数学模型。     

基于价格时间Petri网的网格计算应用模型及分析

网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法.     

有主持的会议管理系统的Petri网模型研究

文章提出一个桌面视频会议的会议管理系统模型,建立了其Ｐｅｔｒｉ网模型,并对它的冲突性和死锁性进行了初步分析。     

Petri网用于令牌网络性能分析

本文研究了用Petri网分析令牌网络性能的方法。这种方法结合了随机Petri网络和排队理论,可描述和分析范围很广的令牌网络,包括网络节点受信包缓冲容量限制、节点发送信包方式不同使节点具有发送信包优先级等情况。为了简化描述和分析过程,本文进一步研究了随机HLPN的分析方法,应用集总Markov链方法简化分析过程。     

军用网格体系结构及Petri Net模型

网格体系结构是网格计算的关键技术之一.针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法.与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等.     

基于面向对象模糊Petri网的信息物理系统能耗模型

信息物理系统是一种融合了计算、通信和控制的高级嵌入式系统,其能耗分析方法是目前的热点研究问题.文中针对CPS的模块化架构与其组件能耗的不确定性,提出面向对象模糊Petri网作为一种新的CPS能耗模型.在该模型中,CPS的模块化逻辑结构与功能流程由面向对象技术描述,而其不确定性则通过使用模糊数学理论对模型中的变迁能耗属性...     

基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。     

一种基于时间权重的 Petri Net 工作流过程建模

为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的.     

基于Petri网的嵌入式系统建模

基于对传统Petri网结构的修改，文章提出了一种新的模型方式，并具体给出相应的结构定义，图形表示和行为规则。该方法实现了控制信息和数据信息的统一化表示，从而易于表示系统中的循环和条件操作。最后就嵌入式系统的描述举例说明。     

基于对象Petri网的水面舰艇编队网络中心战系统建模

介绍了网络中心战的概念和面向对象技术、Petri网及其扩展理论的相关知识,分析了在网络中心战条件下单舰和水面舰艇编队的系统结构组成。根据网络中心战(NCW)条件下水面舰艇编队网络系统的分布、并发及复杂性特点,利用面向对象和Petri网结合的技术,建立了基于对象Petri网的水面舰艇编队网络中心战(NCW)系统模型。     

基于有色Petri网的动态资源模型

针对移动计算环境下的动态资源描述问题,提出了基于有色Petri网的动态资源模型——DRM-CPN模型.该模型首先按照一定的映射规则将物理网络映射到几何拓扑空间中,构造出空间结点图.随后,给图赋予一定的资源语义及语义约束.进而,在资源语义及语义约束的基础上构造出物理网络的形式化动态资源描述模型.最后,为了验证模型的有效性,采用CPN进行了仿真验证.实验表明,该模型合理、有效地描述了移动计算环境下的动态资源的变迁情形.     

基于Petri网的食用菌工厂控制系统研究

摘 要： 现代化食用菌工厂规模不断扩大,PLC控制系统也日趋复杂,传统的经验法设计PLC控制系统出错率增加,检错不易。因此,对系统进行建模和分析具有非常重要的意义。文章利用Petri网的图形性质和对并发事件的建模能力,以食用菌工厂出菇房的PLC控制系统为对象,进行建模、分析,包括新风机,排风机,加湿器,内风机,压缩机,抑制机等关键设备的控制运行,从而简便、直观地构建PLC控制系统的模型并编制程序,可以保证系统可靠、高效地运行。     

基于随机Petri网的网络可信赖性分析方法研究

随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望.     

基于Petri网的入侵检测技术研究

Petri网是一种非常广泛的建模工具.文中研究了Petri网在入侵检测技术中的应用,分析了基于Petri网的入侵检测系统的主要优势以及随着网络的发展给入侵检测系统带来的问题.基于这些问题,提出了基于Petri网的入侵检测系统的改进方法,设计了一个入侵检测系统的原型并进行了实例分析.     

基于改进人工免疫算法的模糊Petri网参数优化

提出了一种基于改进人工免疫算法的模糊Petri网参数优化算法。首先,对模糊Petri网和产生式规则进行了定义和描述,然后,设计了抗体编码方式、亲和度评估函数和模拟退火免疫选择算子,以实现对经典人工免疫算法的改进,并定义了基于此改进人工免疫算法对参数进行优化的具体算法。仿真实验表明,文中方法能较为准确地实现参数优化,得到的优化结果与期望值具有较小的均方误差,且与其他方法相比,具有较快的全局收敛速度和较强的全局寻优能力,具有很强的通用性。     

基于模糊Petri网的信任评估

针对网络实体间信任关系的不确定性,论文提出了一种基于模糊Petri网的信任评估模型,该模型给出了信任评估的模糊规则,在此基础上利用模糊Petri网与矩阵运算相结合的推理方法,通过并行处理关于一个实体的多个推荐来评估实体间的信任关系。经信任关系评估实例计算可以看出,基于模糊Petri网的推理方法使得信任评估灵活、简单、有效。     

基于FPGA的有色Petri网仿真系统设计

为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中"包传输"的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。