严格极小信标是导致Petri网产生死锁现象的结构原因。只要存在被非充分标识的严格极小信标,Petri网就会产生死锁。因此Petri网的死锁预防策略大多是针对严格极小信标这一特殊结构来进行的。由于严格极小信标的数目和网的规模成指数关系,所以大部分基于严格极小信标的死锁控制策略都面临着计算复杂性的问题。为了更好的评价各种策略的计算效率,本文致力于寻找一种可靠地查找出一个网模型中所包含的所有严格极小信标的算法及其实现与优化。在本文中,首先利用混合整数规划的方法迭代求出一个Petri网中所有的最大未标记信标,然后针对每个最大未标记信标求出它所包含的所有严格极小信标。文中最主要的成果是两种从最大未标记信标中查找所有严格极小信标的算法,枚举法和回溯法。枚举法算法复杂度高但可靠性好;回溯法算法复杂度低(线性复杂度),但适用范围小。目前该算法的应用受到网模型结构的限制,只适用于包含必然库所的最大未标识信标。