基于Petri网下哲学家就餐问题模型的改进与推广

哲学家就餐问题是描述在共享资源下同步与并发的经典案例，活性与无饥饿性是求解此问题的前提，效率是基本要求。基于两个许可卡的传递策略，已经给出了无饥饿解的Petri网模型，并且在该模型基础上的改进解决了许可卡的传递问题同时也解决了拥有许可卡且准备就餐的两位相邻哲学家之间共享资源的冲突问题。然而以上改进并没有真正实现效率上的高效且不易推广到哲学家人数大于5位的情形。     

求解哲学家进餐问题的Petri网模型及实现

为了解决操作系统中的进程间同等互斥问题 ,研究了以 Petri网为系统描述工具来分析经典的哲学家进餐问题 ,提出了避免死锁问题的轮流就餐方案 ,讨论了不同进餐次数之比时的 Petri网模型 ,给出了两种模型的程序实现。此法简洁高效 ,在操作系统的其他类型进程调度中可进行类似推广     

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

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

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

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

多媒体同步的Petri网模型

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

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

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

基于Petri网的动态访问控制模型

访问控制是保障信息系统安全的一种主要机制,通过限定主体对客体的访问权限,确保对信息资源访问的合法性,达到保证信息的机密性、完整性和可用性的目的。通常,这种机制主要通过静态的访问控制矩阵实现,不随信息系统处理的任务变换而调整。利用Petri网的基本原理,提出了一种适合于信息系统的访问控制模型,随着信息系统的状态变化动态授予访问控制权限,实现对信息系统资源安全的动态保护。     

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

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

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

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

基于多线程的列车群Petri网运行模型的实现

对象Petri网易于表示动态过程中的资源共享、并发，异步和死锁等现象，而且模型可重用性好。线程可以并行和异步地执行，且需要的系统开锁比较少，在对列车群运行系统的Petri网模型进行分析和实现时，可以利用多线程技术，通过灵活地设置和改变线程优先级，可以很方便地对整个列车群运行系统的运行状况进行调整，另外还可以使系统具有几个并行执行的路径，提高系统的运行效率。     

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

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

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于有色Petri网的资源共享多线程数据采集系统

针对一种资源共享多线程数据采集系统的模型，采用基本网系统分析其系统行为，并用有色网模拟系统，提出了资源的部分共享方案，解决了系统的资源冲突和调度问题。     

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

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

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

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

基于Petri网的Java多线程程序分析

多线程程序可以更好地利用计算机资源,提高程序运行效率.但是由于多线程执行的不确定性,程序设计中的潜在错误不易被发现.作为系统建模和分析的工具,Petri网适合对具有同步、并发、冲突的离散事件系统进行建模和分析.文中探讨利用Petri网对Java多线程程序建模,并通过分析模型的结构性质和动态性质定位程序设计中的错误.通过对一个多线程程序实例的建模以及对模型的分析,定位了引发错误的原因,并给出了解决方案.从而说明Petri网在分析多线程程序和提高程序稳定性方面具有优越性.     

一种基于同步合成构造Petri网进程表达式的方法

Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法.     

作为多媒体系统模型的时间Petri网的同步合成

本文用一种以出现网为基网的时间Petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层次同步和同步时间差阈值等概念。同步时间差同步是时间层次同步性能的一个度量。根据实现时间层次同步的可能性,一个时问Petri网中的同步变迁可划分为三种类型：理想同步变迁、可实现有效同步的变迁和不可能实现有效同步的变迁,一个好的多媒体系统的时间Petri网模型不应存在第三类同步变迁。文中给出了这三类变迁的判定条件。     

基于Petri网超媒体模型研究

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

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

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