死锁预防是基于信标的一种死锁控制方法。
The deadlock prevention approach is a deadlock control based on siphons.
由于严格极小信标的数目和网的规模成指数关系，所以大部分基于严格极小信标的死锁控制策略都面临着计算复杂性的问题。
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.
一个悬空输入，如果它是某个活动或网关的控制输入、某个活动的数据输入，或某个活动必需的数据输入，那么它会导致死锁。
A dangling input causes deadlocks if it is a control input of an activity or a gateway, a data input of a gateway, or a required data input of an activity.
应用推荐