基于时间Petri网的交互式多媒体动态同步模型

多媒体同步是多媒体信息系统的关键技术和基础。本文在克服当前多媒体同步模型局限性的基础上，提出了一个新的基于时间Petri网的多媒体同步模型IDSM。该模型以形式化的方式完整、准确地描述了多媒体信息流的动态时间行为。     

基于Petri网的同步通信模型及算法

未来高性能计算机网络上分布多媒体应用的一个重要需求是多媒体同步通信。当前的同步通信研究更多的是基于传统通信协议，所提出的模型和算法都有一定的局限性和不足。因此本文提出了一套完整的基于时间Ｐｅｔｒｉ网的同步通信模型及算法。     

Petri网的同步合成运算及其语言求解

文章拓展了Petri网同步合成运算的概念，并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网∑都可由一组S-网通过同步合成得到，从而可由这些S-网来求取∑的语言，最后给出了结构复杂的Petri网的语言的求解算法。     

实时多媒体通信的同步模型研究

本文在对同步信息进行分类和分析的基础上,分析了ＯＣＰＮ模型的局限性,提出了改进的多媒体同步模型ＲＯＣＰＮ。通过在节点中引入媒体表现时间和同步时间,将媒体的表现与媒体间的同步行为分开,该模型解决了ＯＣＰＮ模型关于媒体内同步与媒体间同步不可兼得的问题。模拟实验表明,使用ＲＯＣＰＮ模型的多媒体流其媒体流内同步指标和媒体流间同步指标均明显优于使用ＯＣＰＮ模型的多媒体流,尤其当对象丢失率较高时,ＲＯＣＰＮ模     

有主持的会议管理系统的Petri网模型研究

文章提出一个桌面视频会议的会议管理系统模型,建立了其Ｐｅｔｒｉ网模型,并对它的冲突性和死锁性进行了初步分析。     

基于Petri网的热备份通信系统分析

本文利用随机Petri网对热备份下的通信系统进行了综合分析.分析过程充分考虑了系统的动态变化和工程中的实际情况.建模过程简单直观.而且通过PIPE软件的仿真.得出了通信系统可靠性评价的一系列结果.该方法为工程人员设计系统的配置提供理论依据和数值依据,为促进配置资源的最优组合提供了较好的参考.     

随机Petri网同步并发行为的定量分析方法

传统的随机Ｐｅｔｒｉ网定量分析都是针对顺序行为的，而并发描述却是Ｐｅｔｒｉ网引以为骄傲的内容，这就形成Ｐｅｔｒｉ擅长描述并发，却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Ｐｅｔｒｉ网定量分析法，旨在改进传统的分析方法，使Ｐｅｔｒｉ网真正成为并发系统建模与分析的有力工具。     

基于同步Petri网的立体车库控制系统研究

随着工业工程的不断发展,利用PLC设计的工业控制系统也日趋复杂,导致传统方法设计PLC控制系统时逻辑更复杂、更易出错、检错也更加不易。因此,在设计PLC控制系统时,对系统进行合理的建模与分析具有十分重要的意义,在设计阶段即尽可能地完整复现控制过程、降低出错率、降低开发周期。利用同步Petri网,以升降横移式立体车库的PLC控制系统为对象,对其进行建模、分析,保证系统功能的完整性及有效性,进而编写程序。     

基于随机Petri网的通信网络性能评价

利用Petri网的动态描述能力,将Petri网应用到通信网动态可靠性分析上。通过分析网络故障的起因,把故障原因抽象为三个子故障系统。根据故障产生、消解的随机性,运用SPN建模,然后运算求解,得到网络可靠度的表达式。最后通过实例验证了方法的正确性。     

TTA流水线Petri网模型

Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.     

同步时序电路的增广Petri网分析

本文应用抑制弧的增广Ｐｅｔｒｉ网建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型；并运用该模型描述了同步时序电路；提出了增广Ｐｅｔｒｉ网的授权矩阵、状态转移方程和触发展次态与变迁授权条件的关系，在此基础上可对同步时序电路描述和分析，并用实例证明了该方法的有效性。     

基于模糊Petri网模型的通信网络综合性能评价

论述了传统Petri网和模糊Petri网的概念、特点及区别,提出了模糊Petri网建模的规则和进行系统问题分析时的有效算法,最后,通过通信网综合性能评价来说明模糊Petri网在系统性能分析中的应用。     

同步合成网的进程特性研究

进程是反映Ｐｅｔｒｉ网动态特性的重要工具，同步合成是考察复杂Ｐｅｔｒｉ网性质的有效途径。本文研究Ｐｅｔｒｉ网同步合成过程中进程关系的特性，获得基本进程集的合成公式和进程语言的合成公式，还得到了切集，线集的有关性质，这些结果可为复杂Ｐｅｔｒｉ网动态特性的考察提供有力手段。     

基于同步合成的Petri网基本进程段求解算法

Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基本进程段的方法。首先证明了一个结构复杂的Petri网可通过结构简单的S-网的同步合成操作得到，通过分析S-网与合成后的结构复杂网系统基本进程段之间的对应关系。给出了结构复杂Petri网基本进程段的求取算法。     

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

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

多媒体系统同步的受控资源时间网模型

本文提出的多媒体系统同步的受控资源时间网模型利用Ｐｅｒｔｉ网,统一地描述多媒体同步规范,同步的资源要求和系统支持同步实现的控制策略。模型具有对多本同步进行分层抽象的能力,并能对系统性能进行定量分析。     

同步时序电路的增广Petri网分析

本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。     

局域网服务器缓冲器容量的Petri网设计法

本文在分析局域网服务器信息缓冲区、数据包接收和发送缓冲区的相互关系基础上提出了一种新的局域网服务器缓冲区设计方法－广义随机Ｐｅｔｒｉ网方法。并针对局域网服务器信息缓冲区给出了它的广义随机Ｐｅｔｒｉ网模型。该设计方法理论完备，严谨实用，且不再局限于追求某一边界值（上限或下限），并且避免了排队理论处理多级服务的繁琐公式。最后本文用一例题说明了这种方法的应用。