QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A METHOD TO CHECK LIVENESS OF WS3PR 会议论文 南京, 2014年1月1日 作者:  WANG SHOUGUANG[1];  LIU MIAO[2];  ZHOU MENGCHU[3];  WU WENHUI[4] 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/26 LIVENESS  FLEXIBLEMANUFACTURINGSYSTEM  DEADLOCK  PETRINET   Monitor-based liveness-enforcing petri net supervisors for flexible manufacturing systems 会议论文 Nanjing, China, July 28, 2014 - July 30, 2014 作者:  You, Dan[1];  Wang, Shouguang[1,2];  Zhou, Mengchu[3,4];  Wu, Wenhui[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 New reachability trees for unbounded Petri nets 会议论文 Seattle, WA, United states, May 26, 2015 - May 30, 2015 作者:  Wang, Shouguang[1,2];  Zhou, Mengchu[3,4];  Gan, Mengdi[3];  You, Dan[1];  Li, Yue[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 Monitor-based Liveness-enforcing Petri Net Supervisors for Flexible Manufacturing Systems 会议论文 Nanjing, PEOPLES R CHINA, JUL 28-30, 2014 作者:  You Dan[1];  Wang Shouguang[1,2];  Zhou MengChu[3,4];  Wu Wenhui[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/26 A method to check liveness of WS3PR 会议论文 Nanjing, China, July 28, 2014 - July 30, 2014 作者:  Wang, Shouguang[1,2];  Liu, Miao[3];  Zhou, Mengchu[4,5];  Wu, Wenhui[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/26 A Method to Check Liveness of (WSPR)-P-3 会议论文 Nanjing, PEOPLES R CHINA, JUL 28-30, 2014 作者:  Wang ShouGuang[1,2];  Liu Miao[3];  Zhou MengChu[4,5];  Wu WenHui[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/26 New Reachability Trees for Unbounded Petri Nets 会议论文 Seattle, WA, MAY 26-30, 2015 作者:  Wang, ShouGuang[1,2];  Zhou, MengChu[3,4];  Gan, MengDi[3];  You, Dan[1];  Li, Yue[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/26