An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy

by Shaoyong Li, Xingda Xiao, Ying Cai, Bingshan Ma, Caiqin Hou, Xilian Han
Published 2016-07-01

Issues and Potential Solutions to the Clean Heating Project in Rural Gansu

by Dehu Qv, Xiangjie Duan, Jijin Wang, Caiqin Hou, Gang Wang, Fengxi Zhou, Shaoyong Li
Published 2021-07-01

An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets

by Shaoyong Li, Xianhong Wei, Ying Cai, Bingshan Ma, Caiqin Hou, Xilian Han, Liang Hong
Published 2017-11-01