基于Petri网络结构的死锁分析与检测

本文在死锁定义的基础上，讨论了死锁的性质，分析了结构死锁的物理意义，并且给出了死锁的检测算法与分析。     

Petri网可达树的构造与实现

讨论了Petri网可达树的构造方法，给出了相应的算法和实现技术，对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值。     

并行共享资源死锁结构的一种判断方法

研究了独立制造过程共享资源引起的死锁问题,提出了并行资源死锁结构的概念。基于资源向量,给出了一个简单的形式化方法,用于判断一个系统是否由于包含并行 共享资源而具有可能的死锁。     

Petri网在FMS生产调度中避免死锁研究的应用

用着色面向资源的ｐｅｔｒｉ网模型来描述柔性制造系统中的工作竞争过程，该模型揭示了资源竞争过程的本质特征，从而推导出柔性制造系统中无死锁运行的条件，得出控制规律。     

一种时延Petri网的死锁预防方法

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活．首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器．     

最优基本信标在柔性制造系统死锁控制中的应用

基于受控系统可达状态数最多的标准,提出了最优基本信标的思想,一组信标如果与之相对的从属信标都是强从属信标就可以确保目标网系统动态性能最优．在此基础上,以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法．实验结果表明采用相同的控制策略,最优基本信标可以使目标网系统在添加尽可能少的控制库所的同时生成尽可能多的许可行为．     

信息转接死锁避免的动态优化算法

对于动态传输路径，给出了每个结点至少两个缓冲的信息转接网死锁避免问题，所提出的死锁避免算法从缓冲利用的角度看是优化的。同时给出了死锁无关的证明及其条件，这对于并行计算处理问题是有益的。     

可达树分析法及其在测试中的应用

介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之一——可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。     

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法。图书馆管理预测问题具有多因素,离散,动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据。     

S3PR网的一种死锁预防策略

针对S³PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C／D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤．首先将S³PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C／D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束．根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器．     

面向对象的Petri网死锁检测

研究如何检测面向对象的Petri网(OOPN）中的死锁，将OOPN中的死锁分为结构死锁和约束死锁，给出了采用常规分析法检测结构死锁的步骤。运用大系统分解的思想，分两步进行分析，即首先验证每个对象类的子模型的活性，然后检查对象间的同步约束。该方法提供一种解决复杂问题的途径。     

基于Petri Net的BPEL流程建模与分析验证

设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网（Object-oriented Petri Net,OOPN）对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

基于Petri网的医疗流程建模优化

为减少患者就医时抽血化验的次数,提出了一种基于Petri网的医疗流程模型的优化分析方法.首先介绍了Petri网的基本概念; 然后在确保合理的医疗流程前提下,通过合并变迁对医疗流程进行了建模优化; 最后利用PIPE软件对优化后的模型进行了模拟运行,结果表明本文方法能够有效改善医疗流程,节省医疗资源.     

计时扩展双变迁Petri网及其分析技术

扩展双变迁 Petri网是一种适合嵌入式系统的建模工具。但是 ,不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用。通过对扩展双变迁 Petri网的变迁引入时间因子 ,以及该模型结构特征的分析研究 ,给出了计时扩展双变迁 Petri网 ,及其状态方程和时间分析算法 ,从而使双变迁 Petri网的描述能力增强 ;利用时间分析算法 ,可初步实现嵌入式系统的时间分析 ,为双变迁 Petri网技术有效地运用于协同设计打下了基础。并基于时间分析算法设计开发了模型的时间分析工具 ,以便于开发人员自动地分析系统的时间性能。     

基于Petri网的建筑施工流程优化建模

用Petri网建立了建筑施工流程的优化模型,模型形象描述了建筑过程中施工流程的因果关系,并以总工期为优化目标,给出了优化算法,判别出整个施工过程中的关键流程,对关键流程进行优化,从而达到对整个建筑施工流程的优化,并可以计算出其它非关键流程的缓冲时间。     

基本Petri网:模型、特性和分析方法

对Petri概念、基本模型、特性和分析方法等进行了讨论,介绍了基本Petri网模型的应用以及所能模拟的一些系统特性,对系统建模和分析有一定的指导意义.     

基于Petri网的生产车间物料运输系统建模与仿真

提出了一种基于Petri网的生产车间物料运输系统Petri网模型,可以将该系统的物理过程通过网系统形象地表示出来,并反映出系统的动态特性。同时用ARENA仿真软件对该系统进行了模型仿真研究,仿真结果表明该模型是合理的。     

基于Petri网的网络订票系统换乘问题的建模优化

针对网络订票系统换乘车次时只能换乘其他车次列车的问题,建立一种基于Petri网的流程模型对网络订票系统中换乘问题进行了优化.首先分析模型中各变迁行为轮廓的弱序关系; 然后在不影响订票流程的情况下,通过增加Petri网控制结构实现了换乘问题的优化,达到了合理的换乘目的.最后通过PIPE软件对优化模型进行了仿真模拟,结果表明优化模型安全、有界.