在一类SPN自动制造系统（Automated Manufacturing System,简称AMS）Petri网（Petri net,简称PN）模型中,死锁控制问题需要大量的计算.为了......