The proposed algorithms are used to detect the OPN models of AGV physical object and OCPN model of WuXi FMS real- time control system.
同时利用提出的算法，对AGV物理对象OPN模型及无锡职业学院FMS中构造的OCPN模型进行了死锁分析。
The proposed algorithms are used to detect the OPN models of AGV physical object and OCPN model of WuXi FMS real- time control system.
同时利用提出的算法，对AGV物理对象OPN模型及无锡职业学院FMS中构造的OCPN模型进行了死锁分析。
应用推荐