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

多媒体同步是多媒体系统的关键问题,而同步模型是同步技术的基础。介绍了在建立于Ｐｅｔｒｉ网基础上的经典多媒体同步模型ＯＣＰＮ,介绍并评价了几种扩展的Ｐｅｔｒｉ网同步模型ＸＯＣＰＮ,ＤＴＰＮ和ＩＭＰＳＭ。最后进行了总结,指出了目前同步模型中存在的问题并对今后的工作进行了讨论。     

基于带权Petri网的多媒体同步模型

对Petri网多媒体同步模型进行了研究，基于DTPN和WSPN模型，提出一种新的多媒体同步模型WISPN。把通常位置和交互控制有机结合在一起，使新模型具有动态交互能力，但没有增加元组的数量，从而以更准确、高效的方式描述多媒体同步。     

多媒体OCPN同步模型的研究及改进

Petri网作为一种描述系统行为的形式化工具，尤其擅长描述多媒体的同步问题，由此出现了诸如OCPN等多媒体同步模型，然而，这些模型仅能描述多媒体之间的合成同步，对于解决分布式环境下的多媒体同步问题却显得不足。本文提出了一个分布式交互多媒体同步模型，该模型可以较好的解决分布式多媒体系统的交互与同步问题。     

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

多媒体同步是多媒体应用的一个重要需求。本文提出了一种基于时间Ｐｅｔｒｉ网的多媒体同步模型,以对具有时间约束关系的多媒体合成进行抽象和形式化描述,并给出了处理异步用户交互的算法     

基于两类同步点的双尺度多媒体动态同步模型

基于"自然同步点"和"准同步点"两类不同同步点,分2个层次,采用Petri网和Agent两种不同方法,提出一种双层多媒体动态同步模型构建方法,在两种不同尺度下完成多媒体同步.     

用线性表实现基于Petri网的多媒体表现同步模型的方法

提出了用线性表实现多媒体表现同步模型的方法 .该方法包括采用线性表的递归表示法和根据线性表中的信息控制表现过程的算法 ,解决了多媒体集成表现系统的开发中遇到的一个难题     

基于扩展对象Petri网的产品模型

提出一种支持创新的产品模型，该模型可刻画产品的静态结构，也可刻画产品的动态过程．它集成了面向对象的思想，以实现知识的封装、抽象与层次化建模，特别是扩展了对象的属性类型，将对象的值扩展到流形，然后利用高级Petri网来刻画产品的动态过程．该产品模型能有效地支持产品的创新设计．     

利用扩展的Petri网模型形式化业务场景模型

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.     

一种改进的参考点同步模型多媒体同步控制方法

首先介绍了多媒体同步的分类，并指出了实现多种媒体同步的关键就在于建立适当的同步控制模型；接着分析了现在浒的３种单一同步模型以及二级同步模型，评价了它们各自的优点与缺陷；在此基础上，提出了一种改进的参考点同步模型多媒体同步输出控制方法，这种折衷的同步控制方法，在一定程度上弥补了单一同步模型和二级同步模型各自的缺陷。     

Interactive Multimedia Synchronization Model Based on Petri Nets

The multimedia synchronization is used to coordinate the timing of each multimedia object in the multimedia system. After studying different multimedia synchronization systems that have been published, an Interactive Synchronization multimedia based on Petri Nets model （ISPN） is proposed in this paper. The system is capable of describing the dynamic timing actions of multimedia objects vividly as well as controlling them interactively to maintain the system level synchronization balance.     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

基于DAML-S和扩展Petri网的Web业务流程建模方法

为实现Web上业务流程动态装载和调用以及跨企业业务流程的动态集成目标,提出了一种Web上的业务流程建模方法.该方法扩展了具有良好过程建模性能的Petri网,并将其与Web服务描述的本体语言DAML-S相结合.首先将Petri网扩展为业务流程建模,用DAML-S来描述流程模型,然后利用结合了DAML-S的UDDI注册中心来查找最佳服务,并在执行阶段动态调用合作伙伴提供的Web服务,从而实现了在企业间相对通用的一些业务流程的动态集成.通过一个实例对整个过程进行了验证讨论.     

多项式求值及自然数幂和计算的两个增广Petri网模型

本文同时给出多项式求值及自然数幂和计算的两个增广Ｐｅｔｒｉ网模型，然后给出了矩阵描述和状态方程分析，最后导出了已知输入值求输出值的算法。     

一类模糊混合Petri网的交通信号灯的实时控制

针对固定周期的交通信号灯浪费道路资源的问题,提出一种模糊混合Petri网用于交通信号灯实时控制的建模方法。该模型结合本相位方向的排队长度和路口的车流量对本相位绿灯时长实时控制,再结合其他相位红灯时长和其他相位的排队长度,实时控制相序的变化。仿真分析表明,基于模糊混合Petri网对信号灯实时控制可最大程度降低车辆的停车次数。     

网络多媒体信息传输同步失调控制研究

介绍了网络中多媒体传输系统的结构,并针对系统内连续媒体同步播放出现同步失调问题提出了相应的措施,给出了缓冲容量和状态信息反馈率的计算方法．在此基础上,描述了处理媒体间同步失调的控制策略,实现了基于有限缓冲区的强制同步和基于反馈的强制同步控制