论文部分内容阅读
本文致力于柔性制造系统的死锁预防问题研究。基于关键标识、集合覆盖、信标选择的死锁控制算法综合考虑了极小信标与可达标识之间的关系,从而可以获得结构相对简单,许可行为较多的活性Petri网控制器。由于同时考虑了信标与标识之间的关系,使得计算更加复杂,因为严格极小信标和可达标识的求取以及集合覆盖问题的计算复杂度理论上都是与网规模呈指数关系的。本文从两个方面对该算法加以改进,提出了一种基于信标选择的死锁预防的优化策略。优化的目的在于简化上述算法中的计算过程。首先,本文提出改进的信标求取算法。利用