FMS动控软件的死锁问题及其检测方法

对于一个ＦＭＳ动近软件的调试环境系统来说，能够榆出被测软件中可能发生的死锁问题是系统能够下沉运行的必要条件之一。在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小，具有通用性。     

板材FMS基于RBOPN模型的死锁分析

基于板材柔性制造系统模型RBOPN所具有的可以完全描述FMS的动态行为以及系统中相关对象子网之间关系的分析能力,提出一种死锁检查分析方法.通过以抽象对象封装系统中各物理对象的所有相关对象的内部行为,研究抽象对象、物理对象及其相关对象之间的消息传递关系,建立各对象通讯子网(OCNet),并对各子网应用不变量理论分析方法检测其死锁情况,从而实现了对整个系统的死锁分析.实例分析表明,该死锁分析方法简化了计算分析过程,提高了工作效率.     

基于Petri网结构分析的死锁避免控制研究

该文基于Ｐｅｔｒｉ网的结构特性,针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Ｐｅｔｒｉ网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识,将扩展网限制到安全标识,从而避免了全局死锁的发生。     

FMS运行控制系统的建模方法及测试机理

本文着重讨论了ＦＭＳ运控软件调试环境系统中被测对象的建模问题，提出了一种基于Ｐｅｔｒｉ网理论的宏Ｐｅｔｒｉ网模型，介绍了其特点及建模方法，最后给出了使用该模型对被测系统进行测试排错的全过程。     

改进覆盖树与标识网死锁的检测

通过在ω符号中加入令牌数增减的信息,改进了原标识Petri覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树,这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都有可达标识,这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的。     

并发进程死锁检测的一种新方法

并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri网模型及死锁检测方法。     

柔性制造系统Petri网模型中的一类共享资源

揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的共享资源一样,同一加工过程内的不同加工操作所共享的资源也可能导致系统发生死锁.因此,将这类资源定义为加工过程内共享资源.在FMS的死锁控制中,需要将加工过程内共享资源的影响因素考虑进来.     

含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

有效变迁覆盖在死锁预防策略中的应用

为解决一类自动制造系统的死锁问题,利用有效变迁覆盖提出了一种新的死锁预防策略.利用严格极小siphon与极大完备资源变迁回路之间的一一对应关系,将任意严格极小siphon子集转换为有效变迁覆盖.然后对有效变迁覆盖中每一个极大完备资源变迁回路添加具有合适控制变量的控制库所和相关弧,得到自动制造系统的活性控制器.通过求解线性整数规划问题得到控制变量.在此基础上为自动制造系统提出了一个新的死锁预防策略.该策略得到的控制器结构简单,适合于规模较大的实际生产系统.最后通过一个例子解释了所提出的死锁预防策略.     

基于扩展着色赋时Petri网的板材FMS建模及分析

提出带有决策库所的扩展着色赋时Petri网（ECTPN）建模方法。建立了板材FMS的ECTPN模型,通过ECTPN模型对板材FMS运行中的潜在冲突作出分析。结合调度规则,ECTPN模型能准确刻画板材FMS的运行过程,为进一步分析和评价系统创造了条件。     

基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。     

基于Petri网与动态加权启发策略的FMS调度优化

为解决基于Petri网的柔性制造系统(FMS)调度方法搜索效率不高的问题,提出了一种调度优化算法。采用了改进的最优节点选择方法来提高算法节点搜索能力;在算法搜索进程中使用了动态加权启发函数,以保证最终找到某种最佳或较满意的调度结果;使用了启发式A*算法与深度优先算法相结合的方法以加快算法的收敛速度。这些策略减小了算法在Petri网可达图中节点的搜索范围,加快了算法的收敛速度,并且保证了调度结果质量的可控性。最后仿真结果证明了方法的有效性。     

Petri网死锁的求解算法

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

关于操作系统中死锁问题的探讨

自从操作系统中引入多道程序设计技术以后,程序的并发性所引起的死锁问题便成了操作系统中我们必须面对和解决的一个难题。本文旨在探讨操作系统中死锁的形成原因及其有效地解决办法,通过实例和由浅入深的方式对死锁问题进行了全面而详细的探讨,由此我们知道,死锁问题是无法去完全避免和防范的,我们只能尽可能的去完善操作系统中的各项设计,从而在最大程度上去减少死锁的发生。     

半导体制造中多组合设备的Petri网建模及死锁分析

在半导体晶圆加工中必须保证组合设备运行时不存在死锁,为此,建立了多组合设备的模型并研究了无死锁运行问题.首先介绍了多组合设备的结构特征,用面向资源Petri网对它的结构建模;然后,在模型中引入了着色令牌和受控变迁,能很好地描述多组合设备加工晶圆的过程.此模型结构紧凑简洁,能分析加工过程中的稳态、初始暂态和趋停暂态阶段;同时分析了初始暂态阶段如何过渡到稳态阶段.最后,分析了模型的活性等动态行为,提出了避免死锁的控制策略.结果表明如果应用控制策略,多组合设备系统能无死锁运行,有助于对多组合设备进行调度.     

面向对象的 FMS 运控软件自动生成系统

介绍了面向对象的ＦＭＳ运控软件自动生成系统．阐述了ＦＭＳ运控软件自动生成的可行性，分析了软件自动生成的方法，应用程序生成器的方法实现目标软件的自动生成，提出了自动生成系统的基本结构和系统模型，分析了建立软件自动生成系统的关键技术．     

面向对象的FMS运控软件自动生成系统

介绍了面向对象的ＦＭＳ运控软件自动生成系统，阐述了ＦＭＳ空软件自动生成的可行性，分析了软件自动生成的方法，应用程序生成器的方法实现目标软件的自动生成，提出了自动生成系统的基本结构和系统模型，分析了建立软件自动生成系统的关键技术。     

片上网络中基于拓扑排序的死锁检测与恢复方法

提出了一种将拓扑排序应用于片上网络的死锁检测与恢复的方法.利用片上网络线资源丰富的特点,使用专用线路采集并分析网络中各通道之间的依赖关系,快速确定处于死锁环路中的通道位置,并对死锁环路进行解锁.结果表明,所提出的方法简单有效,可以支持各种路由算法,与广泛应用的死锁避免策略相比,其网络资源的利用率和网络性能有所提高,并具有一定的容错能力.
     

带决策的扩展Petri网及其在FMS中的应用

基于Ｐｅｔｒｉ网基本原理，对原有赋时Ｐｔｒｉ网和着色Ｐｅｔｒｉ网加以扩充，提出一种新型的决策的扩展Ｐｅｔｒｉ网（ＤＥＰＮ）方法，并对ＤＥＰＮ模型的建模和应用等问题进行了探讨，文末针对一个实际的ＦＭＳ系统阐述了运用ＤＥＰＮ模型进行建模和展开研究的及过程，难了方法有效性。     

柔性制造系统中OPN模型的建立

针对敏捷制造单元的特点,提出了一种面向对象的知识Petri网的建模方法。一方面,此方法建 立的实时控制模型可采用数学分析手段进行模型的死锁分析,另一方面,此方法将控制/决策知识融入到面 向对象Petri网中,使控制系统具有一定的智能性。