应用Petri网建模与分析柔性制造系统，死锁预防是一个不可回避的问题。行为许 可性、结构复杂性与计算复杂性是衡量一个活性控制器性能优劣的三个通用标准。在 现行许多基于Petri网的死锁预防技术中，结构分析与可达性分析是两种比较流行的技 术。基于结构分析的死锁预防技术是通过找出一组特殊结构（通常是信标），然后在 此结构上施加约束而达到阻止系统达到死锁状态的一种机制。信标是可以使网系统进 入死锁状态的一组特殊的网节点。基于可达性分析的死锁预防技术是一种通常基于可 达图的有效而准确的控制方法。可达图可以提供一个网系统的全局可达性信息。通过 可达图可以准确找到一个使系统进入死锁的状态并对此状态施加约束使得系统远离死 锁。基于结构分析得到的活性控制器往往拥有结构简单、计算复杂度低的特点但大部 分都不是行为最大许可的。通过可达性分析可以得到行为许可较大甚至最大的活性控 制器。但是，结构复杂、计算复杂度高仍然是制约其应用的重要因素。 通过分析以上两种技术，考虑到两者的优势，本文分别提出了基于信标的死锁预 防策略和计算Petri网可达状态数的方法。 首先，针对一类Petri网，提出一种基于信标的死锁预防策略。其中，整数混合规 划(MIP)技术被迭代地应用于检测网活性与获取信标。这个策略包含两个阶段：信标控 制阶段和扩展的信标控制阶段。为了最大限度的获得合法行为，在第一阶段，控制库 所被添加到信标的补集上面。但是，第一阶段添加的控制库所会与操作库所、资源库 所组成新的可被清空的信标。因此，为了避免新的可被清空信标的出现，第二阶段添 加的控制库所的输出弧指向了源变迁。此外，提出了一种移弧算法用于释放更多的合 法行为。这个策略需要较少的计算量但可以得到一个控制结构相对简单、行为许可较 大甚至最大的活性控制器。 其次，针对一类只有基本信标与弱从属信标的Petri网子类，设计一种行为最大许 可的活性控制器。如果条件满足的话，只要基本信标受控，那么从属信标也受控。控 制库所添加到每个基本信标的补集上面，这样得到的控制器是最优的。最重要的是， 由于添加控制库所到基本信标而产生的新信标被证明是受控的，也就是说，新信标是 不会被清空的。因此，新产生的信标不需要添加控制库所。 生成可达图是一项耗费大量时间与资源的工作。在最坏的情况下，它可能会在运 行一周甚至一个月的时间之后由于内存耗尽而停止。因此，针对生成可达图存在的高 计算复杂度问题，提出了一种计算Petri网子类一标识图的可达状态数的代数方法。一 个标识图可以分成几个结构块。首先，选出一个结构块并确定此结构块与相邻结构块 的连接关系。两个结构块组成一个新的结构块。重复以上过程直到没有新的结构块可 被添加进来。最后得到的结构块就是此标识图。接下来，依次计算每个新生成的结构 块的可达状态数。最后得到的最大结构块的可达状态数就是标识图的可达状态数。它 可以在很短的时间内得到结果，因此可以被用于预测当前计算条件下得到可达图的可能性。 最后，此状态数计算方法被应用到一类更复杂的Petri网_S3PR网中。首先，通过 组合的方式确定一个S3PR网可达状态数的上限。不同于标识图，由于冲突的存在，计 算S3PR网可达状态数时会有不可达标识的出现。因此，接下来通过包含两个资源库所 的信标找出该S3PR网的不可达状态数。最后，从可达状态数上限中减去不可达状态的 数量就是该S3PR网最终的可达状态数。例子计算与分析验证了此方法的有效性。