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

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

分布存储媒体传输的同步算法

分布多媒体数据库（ＤＭＤＢ）和分布多媒体信息系统（ＤＭＩＳ）的一个重要需求是多媒体同步传输．文中先分析了在ＤＭＤＢ和ＤＩＭＳ中多媒体同步传输的特点和要求，然后提出了一个能满足这些要求的同步传输方案．在这个方案中，多媒体同步关系是用动态同步Ｐｅｔｒｉ网（ＤＳＰＮ）来显式描述的；通过文中给出的同步传输算式和同步发送算法，可以在ＤＳＰＮ模型的基础上产生同步传输调度方案；同时接收端能根据实际通信状况和多媒体的同步要求，对来自多个服务器的多媒体对象进行动态同步控制．     

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

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

XOCPN：支持用户交互的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求。本文对ＯＣＰＮ模型进行了扩展，提出了一种基于时间Ｐｅｔｒｉ网的多媒体同步模型ＸＯＣＰＮ，以对具有时间约束关系的多媒体合成进行规范描述，并具有支持灵活用户交互的能力。文中给出了处理异步用户交互的算法，并用示例说明。     

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

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

双总线结构工业控制计算机网性能指标评估

本文对双总线结构工业控制计算机网给出了其Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网的建模及性能指标评估方法。文中考虑了信包缓冲区容量有限、信包最大允许服务时间有限、不同的站点优先级和系统总线故障率等因素影响下的网络性能指标评估问题。克服了以往对网络性能评估的某些局限。本文讨论了带计数禁止弧的高级随机Ｐｅｔｒｉ网（ＨＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行了讨论。     

双总线结构工业控制计算机网性能指标评估

本文对双总线结构工业控制计算机网给出了其Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ的建模及性能指标评估方法，文中考虑了信包缓冲区容量有限、信包最大允许服务时间有限，不同的站点优先级和系统总线的故障率。等因素影响下的网络性能指评估问题，克服了以往对网络性能评估的某些局限。本文讨论了带计数禁止弧的高级随机Ｐｅｔｒｉ网（ＨＤＳＰＮ）的特性， 并对同的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行了讨论。     

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法。由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具有最大自由度。     

有色Petri网在网络通信协议上的应用

自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后,Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网,并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。     

容错型令牌总线局域网建模及性能指标评估

本文对符合ＩＥＥＥ８０２．４标准的容错型令牌总线局域网给出了其Ｐｅｔｒｉ网建模及性能指标评估方法。文中考虑了具有信包重发机制、令牌最大保持时间和信包缓冲区容量有限的令牌网络的性能指标评估问题。克服了以往不能分配具有信包重发机制和令牌最大保持时间等令牌网性能的局域。本文讨论了带计数禁止弧的确定性时延随机Ｐｅｔｒｉ网（ＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行     

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

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

A dynamic Petri net model for iterative and interactive distributed multimedia presentation

Object Composition Petri Nets, Priority Petri Nets, Dynamic OCPN, and Enhanced P-Nets have extended the original Petri Net to achieve the modeling of media synchronization and asynchronous user interactions during multimedia playback. The dynamic Petri Net (DPN) has been conceptualized to tackle existing problems in these two areas of modeling distributed multimedia systems. DPN features dynamic modeling elements which allows iteration and hence is able to reduce graph sizes of synchronous playback models while allowing greater details to be shown. DPN also introduces asynchronous event handling techniques that are powerful and effective. DPN was used in the design and modeling of a multimedia orchestration tool which is a typical representation of an application that works in a distributed multimedia system.     

基于Petri网超媒体模型研究

在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型－ＣＰＮＨ,它基于有色Ｐｅｔｒｉ网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理２,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了ＣＰＮＨ模型的形式化定义并举例说明。     

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

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

基于OCPN的SMIL文档创作平台设计与实现

基于SMIL的多媒体文档创作平台是目前的应用研究重点。SMIL Authoring Tool(SAT)创作平台在参考了SMIL2．O定义基础上，以OCPN为多媒体同步时序定义的基本模型，分析了国内外现有的系统优缺点之后，利用面向对象的方法实现。SAT相对于已有的系统而言，它使用树形组织结构和OCPN对节点之间的时序和节点内部的详细同步信息进行设置，二者互相补充，可使用户进行简单的同步时序设置。     

双层多媒体动态同步模型构建方法研究

多媒体同步是分布式多媒体应用的关键技术,解决流内、流间及用户交互同步的矛盾,细化同步粒度,提高同步精度,是学术界一直努力探索但至今尚未解决的问题。提出的双层多媒体动态同步模型构建方法,基于“自然同步点”和“准同步点”两类不同同步点,分两个层次,采用Petri网和Agent两种不同方法,在两种不同的尺度下完成多媒体同步。模型较好地协调了流内同步和流间同步的关系,简化了用户实时交互后的再同步,增强了多媒体的动态协同表现能力。