S^4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S^4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的...S^4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S^4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的不足在于得到的活性S^4R控制器中往往存在冗余控制库所.针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S^4R控制器,本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法,由此得到结构更简单、行为允许度更高的活性S^4R控制器.该方法的核心思想是:如果网中已经存在一个P-不变式使得某个严格极小信标满足最大受控条件,那么为该严格极小信标添加的控制库所就是冗余的.由于该方法无需进行Petri网的可达性分析,避免了状态组合爆炸问题,因此具有较高的可行性和计算效率.最后用实验验证了本文方法的正确性和有效性.展开更多
研究了顺序资源共享分配系统的建模模型S4PR(Systems of sequential systems with shared resources)网的活性问题.已有的研究成果表明,一个S4PR网在所有信标都满足max,max或max-controlled时能保持活性,但现有的活性条件对信标的限制...研究了顺序资源共享分配系统的建模模型S4PR(Systems of sequential systems with shared resources)网的活性问题.已有的研究成果表明,一个S4PR网在所有信标都满足max,max或max-controlled时能保持活性,但现有的活性条件对信标的限制严格且不适用于某些网系统,本文提出了一类名为max*-controlled的改进型条件,并证明了当一个S4PR网的所有信标都满足max*-controlled条件时,网系统能保持活性.与现有的其他条件相比,新的活性条件更加宽松,为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑.展开更多
文摘S^4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S^4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的不足在于得到的活性S^4R控制器中往往存在冗余控制库所.针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S^4R控制器,本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法,由此得到结构更简单、行为允许度更高的活性S^4R控制器.该方法的核心思想是:如果网中已经存在一个P-不变式使得某个严格极小信标满足最大受控条件,那么为该严格极小信标添加的控制库所就是冗余的.由于该方法无需进行Petri网的可达性分析,避免了状态组合爆炸问题,因此具有较高的可行性和计算效率.最后用实验验证了本文方法的正确性和有效性.
文摘研究了顺序资源共享分配系统的建模模型S4PR(Systems of sequential systems with shared resources)网的活性问题.已有的研究成果表明,一个S4PR网在所有信标都满足max,max或max-controlled时能保持活性,但现有的活性条件对信标的限制严格且不适用于某些网系统,本文提出了一类名为max*-controlled的改进型条件,并证明了当一个S4PR网的所有信标都满足max*-controlled条件时,网系统能保持活性.与现有的其他条件相比,新的活性条件更加宽松,为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑.
