基于Petri网的网格系统形式定义

Petri网有严格的数学定义,具有描述分布式通信计算系统的能力.通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定叉,并对相关概念进行了讨论.     

基于Petri网的Web服务组合建模

针对Web服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法,对服务组合进行形式化建模,然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证,最后举例说明此方法的应用。     

基于颜色Petri网的Web服务组合建模及应用

给出了用颜色Petri网来对Web服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟Web服务执行的引发规则,从静态、动态两方面描述了Web服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。     

Web服务组合构建与执行的Petri网平台研究

针对Petri网在服务组合中的具体应用问题,尤其是如何构建基于Petri网的服务组合软件平台,在服务组合的Petri网模型的基础上,首先建立了具体领域中服务的语义功能体系;然后进行原子服务的注册及发布,将各具体服务绑定到语义功能体系中的某一功能;其次实现了基于视图的服务组合构建,用户可在相应视图中通过选择相应的功能进行方便的服务组合构建,并得到相应的服务组合功能流程;最后进一步将相关功能转换为绑定具体服务实例的Petri网模型,并交由相应的基于Petri网的服务组合执行引擎实现执行。实现了从服务组合构建到执行实现的完整功能流程,为基于Petri网的服务组合动态执行相关问题的分析提供了软件平台支撑。     

一个基于Petri网的Web服务组合模型

作为企业应用集成的重要手段，Web服务组合需要建立可靠的表达和分析方法。因此，基于Petri网技术定义一个Web服务组合模型，将组合Web服务的要索映射到Petri网结构。利用Petri网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。     

基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法，并给出了Petri模型中基本路由的BPEL4WS描述。     

基于Petri网的Web服务自动组合研究

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．     

Globus网格体系结构及其服务的实现

阐述了网格计算、虚拟组织的概念，对Glohus网格体系结构(构造层、连接层、资源层、汇集层和应用层)进行了剖析，并提出了网格服务实现的简单构想。     

网格计算资源调度的层次Petri网建模与分析

本文给出了网格计算资源的三层调度方案,并利用层次颜色Petri网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延Petri网模型,不同层次的颜色时延Petri网模型可以有不同的行为表现,体现了网格计算资源的异构、自治等特点。给出了层次颜色Petri网的可迭任务图的概念及构造算法,并利用可达任务图,对网格计算资源调度系统的运行状态进行了分析。     

基于Petri网的Web服务动态组合

通过Web服务构建复杂应用存在的问题是：Web服务是无状态操作,所以只能提供相对较小的原子应用。但Web服务是可以集成的,这是它的一个重要特征。因此,可以通过原有web服务的组合构成新的更复杂、功能更强大的Web服务。Peri网理论作为组合Web服务的一个主要机制,可以用来快速创建功能更强大的Web服务。该文围绕Petri网理论在web服务组合中的应用,研究如何基于Petri内构建web服务动态组合的模型,从而实现web服务的集成。     

Petri网时间特性分析

为了进一步研究随机Petri网的时间特性,引入了时间Petri网、闭网、常返网、有环网、无环网等概念,证明了随机Petri网是时间特性网的充要条件是其闭网为常返网,并给出了判别一个网是否是时间特性网的数值方法。同时讨论了变迁发射时间特性,给出了发射时间密度公式。     

基于Petri网的电子支付安全模型研究

Petri网兼顾了严格定义与图形语言两个方面,具有丰富而严格的模型语义,也是一种图形化的语言,具有直观与易懂的特点。电子支付是客户使用电子账户通过网络实施的支付。针对电子支付过程中的安全风险,给出了电子支付可以实施的安全措施。利用Petri网描述安全电子支付流程,采用一种基于逻辑的Petri网分析方法,探索建立了基于Petri网的电子支付安全模型。该模型对于指导电子支付安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义。对电子支付建立Petri网安全模型的另一个目的,就是为信息安全研究提供新的方法与思路。     

基于随机Petri网的网格虚拟联盟模型

针对分布、异构、多组织的网格计算环境,该文建立了一种资源组织与管理的网格虚拟联盟模型,在分析该模型运行机理的基础上,建立了对应的随机Petri网模型。通过性能分析,表明该模型能够很好的描述网格任务调度和资源管理的特征,并能有效地进行性能评价。     

基于颜色Petri网的网格服务组合

在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。     

基于Petri网的APT攻击模型生成方法

在严峻的APT(Advanced Persistent Threat)攻击防御背景下,针对现有网络攻击建模方法无法反映APT攻击的攻击特点,建立了基于Petri网的APT攻击模型。借助Petri网,首先针对APT攻击的特点及生命周期,建立APT攻击的基本Petri网模型;然后设计并实现APTPN(Advanced Persistent Threat Petri Nets)模型的生成算法,针对具体的APT攻击生成其完整的攻击路径;最后,实验通过模拟极光攻击验证了算法的有效性及正确性。     

基于Matlab环境的Petri网的仿真方法

该文介绍了佩特利网(Petri网)和Statefow的基本概念，给出Petri网在Matlab环境下的仿真方法．并以单水箱系统的混合Petri网模型为例进行说明，结合仿真结果对Peri网的性能进行了初步分析。     

用Petri网描述CORBA事件服务

CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范．本文利用Petri网模型可表现系统分布、并发、异步等特性来描述CORBA事件服务，不仅能反映CORBA事件服务的静态行为，也反映其动态行为，为CORBA事件服务建立了形式化的模型．     

基于有色网的多Agent计划建模

有色网能够描述资源和操作的具体语义。首先,由于计划中的操作和状态的个数的有限性,与有色网的元素个数有限性约束完全一致。另外,计划中的动作与有色网中的变迁语义类似,以及计划中的操作和状态和有色网中的库所语义非常类似。因此,有色网应用到计划的形式化中,有其独特的优势。本文根据约定的前提条件,计划建模从操作、状态和交互3个方面来具体实现,并给出了建模方法。计划的规范描述、有效性验证以及计划的模拟都可以直接应用经典Petri网或有色网的理论技术。     

基于Petri网的网格调度模型研究

网格环境具有异构性、动态性和不可靠性,为了合理而经济地利用资源,本文提出一个基于QoS且具有容错性的任务调度算法,以时间和费用的预算以及时间和费用的权重比值作为QoS参数。使计算过程和通信过程重叠,以隐藏网络时延。本文用随机Petri网模型描述网格环境中的任务调度模型;定义了随机Petfi肉的可达图,用来分析任务调度模型的性能。通过分析和模拟,反映此算法能够在满足用户的时间和费用的限制,具有容错性,任务完成时间短,以及综合花费少等优点。