描述与求解哲学家就餐问题的Petri网模型研究

研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最后讨论了轮流进餐时不同进餐次数情况下的Petri网构造问题。     

反应式系统的并发模型（Ⅲ）——Petri网模型

基于文（２,３）,引入反应式系统形式化描述的另一种典型模型－Ｐｅｔｒｉ网,给出一些重要性质的Ｐｅｔｒｉ网描述,建立了它与文（２）的抽象计算模型之间的映射关系,最后指出Ｐｅｔｒｉ网的一些不足之处。     

基于Petri网的哲学家就餐问题多线程设计与实现

为了解决操作系统中的进程间同步互斥问题,以Petri网为系统描述工具分析了经典的哲学家进餐问题,讨论了1：1的轮流固定使用的Petri网模型,给出了使用（串行）的管理模型的程序实现,且可以实现2：3的轮流固定使用（并行）和不固定的动态管理．此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广．     

Petri网死锁的求解算法

本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法.     

扩展Petri网结合遗传算法求解Job-Shop问题

针对Job-Shop问题的复杂性,本文定义了一类扩展的时间Petri网对问题进行建模,该模型解决了一般Petri网存在的“死锁”现象,使原始问题转变为状态转移问题,并结合遗传算法进行调度优化。仿真验证了该调度算法的有效性。     

基于Petri网的超媒体形式化模型

针对演播类超媒体提出一处基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ,它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,具有刻画超媒体主要性质的能力。着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述。     

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

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

基于BDD快速求解Petri网的陷阱和极小信标

为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图(BDD)获取模型的陷阱和优化已有的求解极小信标的方法,主要对原有方法缩减计算步骤并进行优化。通过引入BDD布尔计算方式,可快速求解较大规模Petri网模型的陷阱和极小信标。依据布尔函数给出了相应的符号化表述,并结合实例使用提出的方法进行求解,求得并分析相关结果。分析表明,极小信标求解方法的优化具有显著的时间优势,使用BDD符号化计算方式可以快速求出Petri网模型的陷阱和极小信标,甚至对规模更大的Petri网模型也是有效的。     

基于Petri网的超文本模型及其深入研究

本文首先讨论了目前超文本中一种常用的模型,然后提出一种新颖的超文本模型,并进行了深入讨论。     

基于Petri网的井下煤仓可靠性分析

采用Petri网原理、针对矿井运输系统中柔性部件－煤仓,建立其Petri网模型,并通过随机过程理论计算了煤仓的有效度,从而给出了计算煤仓有效度的一个新的方法。     

基于随机Petri网可修控制系统的可用度计算

提出了一种基于随机Ｐｅｔｒｉ网的可修控制系统的稳态可用度的计算方法。该方法利用随机Ｐｅｔｒｉ网作工具来分析系统的状态变化关系，从而得出相应的Ｍａｒｋｏｖ链状态转移图，再利用由此得来的状态概率矩阵方程求解，计算较为简单。     

基于Petri网和OMT的具有计算机视觉的FMS建模

文章通过分析 Petri网和 OMT建模工具的特点 ,提出一种 Petri网与 OMT相结合的建模方法 ,并用该法对具有计算机视觉的 FMS建模 ,使模型不仅能充分体现系统的动态属性 ,而且具有良好的可重用性     

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

IntroductionPetrinetisausefultooltomodelaconcurrentsystemandanalyzeitsproperties.[1]ThetheoryofPetrinetshasdevelopedsoundlysinceitwasputforwardin1962andwaswidelyappliedtomanyfieldssuchasflexiblemanufacturingsystem,workflow,webservice,etc.[234]ReachabilitygraphisapowerfultooltoanalyzethedynamicpropertiesofPetrinets,bywhichthefiringofconcurrenttransitionsinPetrinetsisrepresentedinaserialmanner.Thatis,Petrinetitselfisaconcurrentmodel,whileitsreachabilitygraphisserial.Infact,concurrencyrelations…     

Petri网在Email系统中特征交互检测的应用

利用Petri网对Email系统的基本子系统以及添加自动回复特征后的系统模型进行描述,然后利用Petri网的状态方程对系统中存在的特征交互进行分析检测。     

一种基于GIS和Petri网的城市火灾扑救调度决策方法

在加色Petri网模型的基础上,利用GIS对空间信息的分析能力,通过设计建立着色标识及其发射规则,发展了一种新的城市火灾扑救调度决策方法.与前人工作相比,在确定火灾等级和消防力量需求时,能够更充分考虑火场环境信息;通过引入对实时交通流的分析,能同时给出最优调度路径的决策结果.对火灾案例的分析表明,该方法给出的决策方案更为全面合理.     

EIS环境下的问题探索技术与方法的研究

研究了适用于ＥＩＳ环境下的问题探索技术和问题探索方法．提出了在传统的问题探索方法的基础上，通过增加控制和反馈机制以加强人在决策过程中的中心地位和主导作用，进而更有效地支持管理者的决策活动     

Birkhoff系统动力学逆问题的两种提法和解法

研究了Ｂｉｒｋｈｏｆｆ系统的动力学逆问题，给出逆问题的两种提法和解法，包括由普遍原理出发，根据运动性质组建运动方程问题，以及广义Ｐｏｉｓｓｏｎ方法和动力学逆问题。     

EIS环境下的问题求解技术与方法的研究

研究了适用于ＥＩＳ环境下的问题求解技术和问题求解方法．提出了在传统的问题求解方法的基础上，通过增加控制和反馈机制以加强人在决策过程中的中心地位和主导作用，进而更有效地支持管理者的决策活动