QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 限定条件 专题：西安交通大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 New Controllability Condition for Siphons in Ws(3)PR Nets 期刊论文 ASIAN JOURNAL OF CONTROL, 2015, 卷号: 17, 期号: [db:dc_citation_issue], 页码: 908-916 作者:  Guan, Xuanxuan;  Wu, Wenhui;  Wang, Shouguang 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/02 Petri nets  liveness  (WSPR)-P-3  controllability   Controllability of Complex Siphons for Deadlock Prevention in Systems of Simple Sequential Processes with Resources 会议论文 作者:  Wang, ShouGuang;  You, Dan;  Zhou, MengChu 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/02 New Reachability Trees for Unbounded Petri Nets 会议论文 作者:  Wang, ShouGuang;  Zhou, MengChu;  Gan, MengDi;  You, Dan;  Li, Yue 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/02 deadlock  Petri nets  Discrete-event system (DES)  reachability tree   A reduced reachability tree for a class of unbounded petri nets 期刊论文 IEEE/CAA Journal of Automatica Sinica, 2015, 卷号: 2, 期号: [db:dc_citation_issue], 页码: 345-352 作者:  Wang, Shouguang;  Gan, Mengdi;  Zhou, Mengchu;  You, Dan 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/02 Analysis tools  Boundedness  deadlock  Generalized net  Liveness  Reachability  Reachability tree  Tree size   Monitor-based Liveness-enforcing Petri Net Supervisors for Flexible Manufacturing Systems 会议论文 作者:  You Dan;  Wang Shouguang;  Zhou MengChu;  Wu Wenhui 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/02 Flexible manufacturing system (FMS)  supervisory control  Petri nets  deadlock prevention policy   A method to check liveness of WS3PR 会议论文 作者:  Wang, Shouguang;  Liu, Miao;  Zhou, Mengchu;  Wu, Wenhui 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/02 Computation complexity  deadlock  Deadlock free  Liveness  Sequential process  Supervisory controllers  Well model   A Method to Check Liveness of (WSPR)-P-3 会议论文 作者:  Wang ShouGuang;  Liu Miao;  Zhou MengChu;  Wu WenHui 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/02 Petri net  deadlock  flexible manufacturing system  Liveness   Comments on "Liveness of an extended (SPR)-P-3" [Automatica 46 (2010) 1008-1018 期刊论文 AUTOMATICA, 2014, 卷号: 50, 期号: [db:dc_citation_issue], 页码: 2199-2200 作者:  Wang, ShouGuang;  Liu, Miao 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/03 Petri net  Deadlock prevention  Circular wait