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

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

Origin and growth mechanisms of strike-slip faults in the central Tarim cratonic basin, NW China

by Guanghui WU, Bingshan MA, Jianfa HAN, Baozhu GUAN, Xin CHEN, Peng YANG, Zhou XIE
Published 2021-06-01