大量研究表明，虹吸枚举法在分析和控制以 Petri 网（PN）为模型的各种资源分配系统中的死锁方面具有强大的生命力。在本文中，我们提出了一种基于问题分解的 PN 中最小虹吸管枚举算法。该算法是 Cordone 等人提出的全局分区最小虹吸枚举 (GPMSE) 的改进版本。 (2005) 发表于 IEEE Transactions on Systems, Man, and Cyber​​netics-Part A: Systems and Humans，该文献在文献中广泛用于计算最小虹吸管。实验结果表明，与 GPMSE 相比，该算法消耗的计算时间和内存更少，当处理网络的尺寸增大时，这一点变得更加明显。



"点击查看英文标题和摘要"