多媒体系统中基于Petri网的同步模型

本文主要介绍了多媒体系统中的媒体同步技术和基于Ｐｅｔｒｉ网的多种同步模型,并讨论了交互式同步模型ＩＳＰＮ。该模型支持用户交互的多媒体同步关系描述,是一种灵活的动态规范。     

多媒体同步的Petri网模型

多媒休系统中通常包括各种媒休类型,例如,文本、语音、图象、音频和视频。保持和维护各种媒对象的同步关系是多媒体技术的一个重要研究领     

基于时间Petri网的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求，这已为众多研究人员所共识。多媒体同步的一个主要问题是多媒体同步时间需求的描述和建模。本文在克服当前多媒体同步模型局限性的基础上，提出了一个新的基于时间Ｐｅｔｒｉ网的多媒体同步模型－－ＭＳＴＰ模型，它能使多媒体系统依据实际运行时的延迟和多媒体动脉同步类型。以更准确、高效的方式来保持多媒体同步。     

分布多媒体系统的多媒体动态同步模型

在分布多媒体系统中，多媒体具有动态同步特性，同时关键媒体的同步要求在应用中享有优先权．现有的多媒体同步模型无法满足这些要求，现提出一个新的基于时间Ｐｅｔｒｉ网的多媒体动态同步模型——ＤＳＰＮ模型．它不仅能使分布多媒体系统依据实际运行状况和新提出的同步类型，以更准确、高效的方式来保持多媒体同步，而且允许用户对多媒体表现过程进行交互操作．     

扩展时间流Petri网多媒体同步模型

多媒体同步的一个主要问题是多媒体同步时间要求的描述与建模。文中基于时间流Ｐｅｔｒｉ网模型（ＴＳＰＮ）,通过分析ＴＳＰＮ模型的不足之处,提出了一种新的多媒体同步模型－－扩展时间流Ｐｅｔｒｉ网模型（ＳＴＳＰＮ）,ＳＴＳＰＮ不但可以完全、准确地描述媒体流内和流间的时间行为,而且通过引入容许阻塞时间、问题算法等对ＴＳＰＮ进行扩展,可以有铲地克服网络随机延迟、阻塞和丢包等因素的不良影响,提高了模型的建模能力     

基于同步时间Petri网的细粒度多媒体同步模型研究

多媒体同步是分布式多媒体信息系统的关键问题。在分析和比较几种已有的典型的多媒体同步模型的基础上．本文提出了一种新的模型：同步时间Petri网(简记为STPN)。STPN不仅能完整、准确地对媒体流内和媒体流间的时间层次行为进行形式化描述,而且解决了时间流Petri网中存在的死托肯问题。特别地,通过引入抑止弧,STPN有效地克服了随机延迟、阻塞、丢包等因素的不良影响。尤其当丢失率较高时．STPN更能体现其优越性和鲁棒性。     

基于同步合成的结构复杂Petri网的行为描述

首先分析了一类结构简单的Petri网--S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.     

一种新的基于Petri网的多媒体同步模型

多媒体信息的同步是分布式多媒体信息系统的关键技术。本文在对国外几个典型多媒体同步模型进行分析、比较的基础上,提出一个新的多媒体同步要模型。该模型不但可以充分、准确、形式化地描述和规模多媒体信息流的时间行为,而且还考虑到了分布式环境中多媒体信息的时间特性（如抖动）,并且有人机交互功能。     

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。     

基于Petri网的分布式多媒体同步模型研究

Petri网作为一种描述系统行为的形式化工具,在各类多媒体系统中有着较多的应用,尤其擅长于描述多媒体的同步问题,出现了诸如OCPN（对象组合Petri网）等多媒体同步模型,然而,这些模型却不足以处理分布式环境中的多媒体同步问题。本文提出了一种新的扩充Petri网模型并分析了其模型化的能力和性质,利用该模型可以较好地解决分布式环境中的多媒体同步问题。     

一种扩展的基于Petri网的多媒体同步模型

多媒体应用的一个主要问题是对多媒体同步时间的描述和建模。文章通过引入全局时钟和对输入事件进行优先级分类,同时借鉴了TSPN的动态同步语义以及DTPN的用户交互思想,使模型可以准确描述多媒体同步时间要求,有效克服网络随机延迟和阻塞等影响。     

Petri网的组合并运算及性质

1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,对于合成复杂系统提供了很好的途径。文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文[3,4]定义了     

两类组合Petri网与性能分析*

提出两类新的组合Petri网,讨论组合网保持网的结构性质的条件,从而为Petri网的分析与综合提供了有效的方法.     

Petri网的广义组合积网研究

本文提出了Petri网的P-划分组合积网和T-划分组合积网，讨论了保持网的结构性质的条件。为大系统的分析与综合提供了新途径。     

基于Petri网的多媒体同步通信模型

本文提出了一种新的多媒体同步模型--交互式多媒体动态同步Petri网模型(IMDSPN)。IMDSPN能够准确地描述多媒体对象的各种同步时态关系,可以克服其表现过程中的同步失败问题,并可以保证在用户交互控制下同步关系的全局一致性,它有效地描述了多媒体的动态特性。     

时间Petri网的随机模拟

模拟是Peri网进行系统分析的常用方法之一。由于时间Petri网采用时间区间来描述变迁实施的时间范围,因此变迁的实施时间点在区间内是不确定的。提出了时间Petri网的随机模拟方法。该方法在变迁开始使能时,根据某种随机分布确定实施区间内的实施时间点;然后基于模拟仿真的实验数据,运用统计分析方法及算法,构造时间Petri网状态类树,计算变迁实施区间及实施概率,为时间Petri网的系统模拟提供了一种新的探索途径。     

Petri网替换运算

文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petfi网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。