CORC

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

已选(0)清除 条数/页:   排序方式:
An improved mixed-integer programming method to compute emptiable minimal siphons in S3PR Nets 期刊论文
2018, 卷号: 26, 期号: 6, 页码: 2135
作者:  Gan, Mengdi[1];  Wang, Shouguang[2];  Ding, Zhijun[1];  Zhou, Mengchu[3,4];  Wu, Wenhui[2]
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/26
Macro liveness graph and liveness of ω-independent unbounded nets 期刊论文
2015, 卷号: 58, 期号: 3
作者:  Wang, ShouGuang[1];  Gan, MengDi[2];  Zhou, MengChu[2,3]
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/30
Macro liveness graph and liveness of ω-independent unbounded nets 期刊论文
2015, 卷号: 0, 期号: 3, 页码: 129
作者:  WANG ShouGuang[1];  GAN MengDi[2];  ZHOU MengChu[2,3]
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/26
A reduced reachability tree for a class of unbounded petri nets 期刊论文
2015, 卷号: 2, 期号: 4, 页码: 345
作者:  Wang, Shouguang[1,2];  Gan, Mengdi[3];  Zhou, Mengchu[3];  You, Dan[4]
收藏  |  浏览/下载:10/0  |  提交时间:2019/12/26
Macro liveness graph and liveness of omega-independent unbounded nets 期刊论文
2015, 卷号: 58, 期号: 3
作者:  Wang ShouGuang[1];  Gan MengDi[2];  Zhou MengChu[2,3]
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/26
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
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


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