This thesis focuses on deadlock prevention in flexible manufacturing systems (FMS).
本文致力于柔性制造系统的死锁预防问题研究。
Analysis shows that the proposed strategy increases the effectiveness of the deadlock prevention and the utilization of system resources.
分析表明，该方法提高了死锁预防的有效性和系统资源的利用率。
The number of SMS in a Petri net grows exponentially with respect to the size of net model. Most of the strategies of deadlock prevention based on SMS suffer from computational complexity problems.
由于严格极小信标的数目和网的规模成指数关系，所以大部分基于严格极小信标的死锁控制策略都面临着计算复杂性的问题。
Deadlock prevention: ConTest can analyze whether locks were taken nestedly in conflicting order, which indicates a danger of deadlock.
死锁预防：ConTest可以分析是否以冲突的顺序嵌套地拥有锁，这表明有死锁的危险。
Deadlock prevention: ConTest can analyze whether locks were taken nestedly in conflicting order, which indicates a danger of deadlock.
死锁预防：ConTest可以分析是否以冲突的顺序嵌套地拥有锁，这表明有死锁的危险。
应用推荐