基本信息标识 Base Info
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网的柔性制造系统设备故障建模及死锁预防·2,447,543篇论文数据，部分数据来源于NoteExpress
对基本信标和从属信标采用不同的控制策略。
Different control policies will be taken toward elementary and dependent siphons.
通过调整某些基本信标的控制深度变量可使从属信标达到可控。
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.
应用推荐