Based on above model, a new deadlock prevention policy is presented. First, a control place is added to each elementary siphon that can be emptied, which makes it P-invariant controlled.
本文对此提出预防算法：首先添加控制库所保证原网系统中的基本信标P-不变式控制。
参考来源 - 基于Petri网的柔性制造系统设备故障建模及死锁预防Based on elementary siphon theory, the deadlock prevention method can solve the deadlock problems in shipping traffic systems theoretically. Then a deadlock-free shipping traffic system can be obtained.
通过基于基本信标的死锁预防算法对模型进行分析,从理论上解决了航行中的死锁问题,从而得到无死锁的船运交通系统模型。
参考来源 - 基于Petri网的船运交通系统死锁预防策略·2,447,543篇论文数据，部分数据来源于NoteExpress
The controllability of a dependent siphon can be ensured by changing the control depth variables of its related elementary siphons.
通过调整某些基本信标的控制深度变量可使从属信标达到可控。
The concept of complementary matrix is proposed in this work, and it is proved that elementary siphons are a basis in the siphon space of complementary matrix.
本工作中提出了补集矩阵的概念，并且理论证明，基本信标是补集矩阵对应的信标空间的一个基。
应用推荐