基于层次实时有色Petri网的实时系统建模与分析方法研究

Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。     

基于Petri网的语义Web服务发现方法研究

现有的语义Web服务发现大都采用功能性参数的匹配,也就是OWL-S的服务概要信息ServiceProfile,而没有考虑到服务的内部实现过程.因此为了在服务发现中提高效率及准确率,在服务匹配过程中引入服务执行状态的变迁等因素,即服务的过程模型.而Petri网作为Web服务过程模型的形式化工具,实现了在服务匹配过程中过程模型ServiceModel的匹配.因此提出基于Petri网的服务发现.该方法的引入对提高服务发现率,尤其对改善服务发现准确率起到一定作用.     

基于Petri网的Web服务注册方法的研究与实现

为了使Petri网理论与方法在服务组合相关问题中得到实际应用,从软件实现的角度,解决面向Web服务组合的Petri网的自动生成问题,本文提出了基于Petri网的Web服务注册方法.首先根据已建立的领域本体来规范Web服务各参数的定义,然后依据Web服务的输入输出参数绘制其相应的Petri网,同时对Web服务Petri网中的库所元素添加语义标记,进而得到Web服务的PNML(Petrinetwork markup language)+OWL(ontology web language)描述,最后将Web服务相关信息及其PNML+OWL文件上传至服务器端进行注册和存储,为Web服务组合的Petri网自动生成提供了基础,并通过机票查询原子Web服务与旅游查询复合Web服务对本文方法进行了具体说明.     

基于有色Petri网的模型驱动SOA服务模型组合

在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。     

SOA架构下基于Petri网的Web服务协商模型

针对SOA实施过程中Web服务协商的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间动态地协商服务信息,并采用Petri网模型对该协议进行了形式化描述,对Web服务组合进行建模及元素映射,给出了Petri网模型生成算法.     

基于开放Petri网的Web服务行为弱合理性分析

目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性.     

基于Petri网和WS-BPEL的自动服务组合研究

为了研究Web服务的自动组合,首先设计从BPEL文档到Petri网的转换规则,并在Petri网中显示BPEL文件的执行流程,然后按照深度优先搜索算法以搜索两个状态之间的可达路径,并提供服务组合质量信息给用户,最后按照搜索到的路径,自动生成可执行BPEL文件.     

基于赋时层次有色Petri网的Multi-Agent调度系统建模

介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队列动态负载均衡调度算法的系统调度模型.仿真结果表明,该调度模型有效满足了系统周期性重复访问网站的任务需求.     

基于Petri网和概念格的服务发现与组合

本文讨论了Petri网络在服务网络方面的应用,利用FCA创建概念格和服务格有助于相似服务的发现,可提高万维网上服务资源的发现、重用和组合的效率。     

扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.     

基于Petri网的通信虚拟服务流程优化

本文针对虚拟服务运营流程中存在的不合理的情况,借助Petri网对现有虚拟服务运营开通流程进行了建模,分析出其存在的指令冲突和冗余任务等问题,并进行了优化,阐述了基于Petri网进行虚拟服务流程优化的必要性和可行性。     

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

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

Petri网图形的压缩存储与自动转换

本文给出了一种Ｐｅｔｒｉ网的计算机表示方法以及其图形的压缩存储／还原算法，并在此基础上对Ｐｅｔｒｉ网图形进行自动转换以产生此图的矩阵表示，这为在其上进行可达性分析和验证的自动化提供了极大的方便。     

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

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

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

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

面向对象Petri网及其在告警服务代理软件中的应用

首先介绍面向对象Petri网(OOPN)的定义和图形表示法，接着以告警服务代理软件设计为例。对其OOPN进行了详细分析，最后给出该系统实现的主体代码结构。     

基于有色Petri网模型的安全协议检测方法

提出了一种用有色Petri网对安全协议建模，并通过模拟和对状态空间检测来发现协议漏洞的方法。利用这一方法对著名的Needham-Schroedor公钥协议建模，然后用CPN Tools实现并对协议进行检测，发现了协议存在的漏洞。应用结果表明，方法有效。     

基于随机Petri网的虚拟网可生存性模型研究

针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSCN可生存性模型。模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基于最常用的先到先服务(FCFS)故障修复策略得到系统状态可达图,通过引入补充变量建立系统状态概率方程,并最终求解得到该模型。通过仿真实验对该可生存性模型的有效性进行验证,仿真结果表明,理论模型计算结果与仿真结果拟合性较好,可用于描述基于FCFS故障修复策略的RSCN可生存性能。     

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

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

基于Petri网描述编队网络信息的异步传输模式

根据海上作战需要提出编队信息网拓扑结构设想叙述ATM技术在编队网络中的应用及其改进方式 ,用Petri网的方法描述编队网络信息的异步传输模式。