CORC

浏览/检索结果: 共3条,第1-3条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy 期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2016, 卷号: 8, 期号: 7
作者:  Li, Shaoyong;  Xiao, Xingda;  Cai, Ying;  Ma, Bingshan;  Hou, Caiqin
收藏  |  浏览/下载:1/0  |  提交时间:2022/03/01
An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy 期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2016, 卷号: 8, 期号: 7
作者:  Li, Shaoyong;  Xiao, Xingda;  Cai, Ying;  Ma, Bingshan;  Hou, Caiqin
收藏  |  浏览/下载:13/0  |  提交时间:2019/11/15
A revised MIP method to deal with livelocks in a class of generalized Petri nets 会议论文
作者:  Li, Shaoyong;  Che, Yongyi;  Liu, Wenqian;  Wu, Hongmei;  Cai, Ying
收藏  |  浏览/下载:7/0  |  提交时间:2019/11/15


©版权所有 ©2017 CSpace - Powered by CSpace