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

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

网格应用模型及方法研究

针对实现资源共享和协同工作的网格技术应用研究与发展现状，文章给出网格应用总体结构；根据Petri网系统特点，提出基于Petri网的服务流网SF—net模型，设计了基于UML的网格工作流程序的一般性开发方法。并在此基础上定义了基于Petri网的网格作业描述语言；讨论了当前工业界Web服务业务过程执行语言BPEL4WS及进程代数CSP与文中所提服务流网的结合，引入服务代数概念，表明了服务流网SF-net的灵活性。     

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

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

综合性能评价

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

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

自适应OFDMA系统无线资源管理的CPN建模与仿真

基于自适应OFDMA系统,对多业务系统中基于总发射功率最小化的无线资源管理问题进行研究,并使用着色Petri网(CPN,coloured Petri nets)以及CPN分析工具CPN Tools对其进行建模。采用Monitor监控器对模型进行仿真分析,并将仿真结果与随机Petri网(SPN,stochastic Petri nets)模型以及基于吞吐量最大化的CPN模型进行比较,验证了该系统模型的正确性和优越性。     

基于FPGA的Petri网模拟器设计及应用研究

Petri网模拟器是程序设计与测定的主要方法。本文结合Petri网的相关理论,着重从程序编译、网库变更等方面,分析了基于FPGA的Petri网模拟器设计思路及实际应用方法。     

用Petri网对点击拨号业务的建模

该文提出一种将协议转换方法学和Petri网理论相结合来研究应用层协议转换的新方法。按照协议转换方法学的流程,对IIN(Internet Intelligent Network)模型中的点击拨号(CTD)业务进行分析。在用Petri网对CTD业务的建模过程中提炼出通用的Petri网模型协议转换耦合原则,丰富了协议转换方法学的内容。利用Petri网的分析能力分析了CTD业务协议转换模型的特性,达到了检错纠错的目的。 在该方法的指导下开发了业务控制网关(SCGF)和CTD业务,证明了这种新方法的可行性和适用性。     

MapReduce的随机Petri网模型研究

首次提出用随机Petri网为MapReduce逻辑模型建立Petri网模型的思想,目的在于采用随机Petri网工作流性质对其进行分析。因此,在研究MapReduce逻辑模型的基础上,为其建立了随机Petri网模型。该随机Petri网模型符合随机Petri网工作流系统的性质,本文利用随机Petri网的工作流系统的性能等价公式,分析了模型的性能,最终求出整个系统的性能参数。该性能参数能够很好地说明MapReduce处理大数据集的优势。     

一种基于SPN的网络可靠性分析方法

Petri网的直观的图形化建模方法和准确的数学计算能力,成为系统动态可靠性研究的热点.文章以通信网中语音业务的工作过程为例,建立系统性能等效结构图,通过对网络运行可靠性进行随机Petri网建模并作简单分析,并通过实例验证了方法的正确性,为网络性能评价提供一种新的分析手段.     

控制电路基于Petri网元件的图形化设计与仿真研究

Petri网是异步并发系统建模的重要工具,正越来越多地被应用在超大规模集成电路之中,从系统的Petri网模型直接获得相应的逻辑电路是许多学者研究的目标.文章在通用的EDA软件中,使用硬件描述语言建立Petri网元件,并给出了它们的源代码.对于Petri网中的C/E系统,变迁用组合逻辑电路实现,库所用时序逻辑电路实现;而对于P/T系统,为了减少连线,库所和它的输入、输出变迁一起组成一个元件.在对一个受控系统建立了控制器的Petri网模型后,通过调用元件库中的Petri网元件,绘制控制器的Petri网图,经编译、仿真、优化、适配、下载在CLPD或FPGA中,就可获得控制器.Petri网元件与其它电路元件可混合使用,这为控制器的设计与实现提供了一种新的有效途径.文章分别给出了C/E系统和P/T系统的实例,仿真结果表明基于Petri网元件的图形化设计方法的正确性.     

生产者-消费者系统的建模与行为分析方法研究

生产者一消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者一消费者系统建模．借助基于库所指标的Petri网分解方法来分析生产者一消费者的系统行为，利用Petri网语言的同步混排运算给出了生产者一消费者系统的行为描述，对基于Petri网的系统分析提供了有效的方法。     

Petri网理论在指挥自动化系统建模上的应用

在Petri网理论基础上分析如何用Petri网理论描述指挥自动化系统，给出了相应实例。     

基于CPLD的基本Petri网系统的硬件实现

Petri网已经逐渐成为异步并发现象建模的重要工具 ,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了 Petri网 C/ E系统的特点 ,然后讨论了硬件实现的基本结构模块。最后以哲学家晚餐为例子 ,用 VHDL 语言对结构进行了描述 ,使用了 AL TERA公司的 CPL D集成开发工具 Max Plus ,并给出了软件仿真的结果     

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

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

通信

0632630基于无线传输的竞走训练智能裁判系统的研究[刊,中]／洪文学／／电子工程师．-2006．32(9)．-78-80(E) 0632631 TPN在军事通信系统效能分析中的应用[刊,中]／曹强／／火力与指挥控制．-2006,31(9)．-67-69(C) Petri网是系统分析建模的有力工具。时间Petri网(TP-网或TPN)作为一种高级Petri网有着广泛的应用。首先简单介绍了时间Petri网的发展过程、基本组成,军事通信系统的效能评估的典型方法;然后根据Petri网建立了系统效能分析的动态模型和军事通信     

基于同步合成的Petri网基本进程段求解算法

Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基本进程段的方法。首先证明了一个结构复杂的Petri网可通过结构简单的S-网的同步合成操作得到，通过分析S-网与合成后的结构复杂网系统基本进程段之间的对应关系。给出了结构复杂Petri网基本进程段的求取算法。     

通信

TN91 2003020974电信业务特性集成的时序着色Petri网模型/陆以勤,韦岗,贺前华(华南理工大学)“华南理工大学学报.一2002,30(l)一27一33提出了一个电信系统业务特性集成的建模和检验方法.根据这个方法,现有的系统和新的业务特性分别表述为一个着色Petri网,业务特性的功能可表述为时序逻辑公式(称为功能公式),而业务特性的行为可表述为实现这个着色Petri网的变迁不变量〔T不变量)的引发序列(称为业务).通过检测业务是否满足功能公式,可对业务特性进行检验.图2表4参6(木)(武汉大学)“武汉大学学报(自然科学版)一2002,4s(5)一626一630在研究…     

基于微分Petri网的业务流程模块适配方法

为适应业务流程多功能及动态变化的需求，用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础，提出了微分控制Petri网和微分数据Petri网的概念，分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测，利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析，以达到业务流程模块适配分析.理论分析结果表明，所建立的微分表达式能够反映模型活性与稳定性，模块适配效果较好.最后基于平台数据进行仿真分析，实验结果表明本文所提的方法有一定的可行性.     

一种着色赋时的面向对象Petri网及在自动制造系统中的应用

着色赋时的面向对象Petri网(Colored Timed Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Autommated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.