中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共11条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
On siphon computation for deadlock control in a class of Petri nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 3, 页码: 667-679
作者:  Li, ZhiWu;  Zhou, MengChu
收藏  |  浏览/下载：125/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System (Fms)  Petri Net  Resource Allocation System  Siphon  
A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 卷号: 5, 期号: 1, 页码: 182-188
作者:  Li, Zhiwu;  Zhou, MengChu;  Jeng, MuDer
收藏  |  浏览/下载：129/0  |  提交时间：2015/11/08
Deadlock Prevention  Flexible Manufacturing System  Petri Net  Siphon  Theory Of Regions  
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：231/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：189/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
Control of elementary and dependent siphons in Petri nets and their application 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 1, 页码: 133-148
作者:  Li, Zhiwu;  Zhou, MengChu
收藏  |  浏览/下载：128/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Control  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System  Petri Net  
Deadlock resolution in automated manufacturing systems with robots 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 卷号: 4, 期号: 3, 页码: 474-480
作者:  Wu, Naiqi;  Zhou, MengChu
收藏  |  浏览/下载：137/0  |  提交时间：2015/11/08
Automated Manufacturing Systems (Ams)  Deadlock Avoidance  Modeling And Control  Petri Net  
Space and network diversity combination for masked node collision resolution in wireless ad hoc network 期刊论文
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, 2007, 卷号: 6, 期号: 2, 页码: 478-485
作者:  Wang, Zhigang;  Liu, Lichuan;  Zhou, MengChu
收藏  |  浏览/下载：120/0  |  提交时间：2015/11/08
Medium Access Control  Csma/ca  Collision Resolution And Separation  Wireless Adhoc Network  Diversity  
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets 期刊论文
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2006, 卷号: 2, 期号: 4, 页码: 313-325
作者:  Li, ZhiWu;  Zhou, MengChu
收藏  |  浏览/下载：158/0  |  提交时间：2015/11/07
Deadlock Prevention  Elementary Siphon  Flexible  Manufacturing System  Petri Net  Siphon  
Clarifications on the definitions of elementary siphons in Petri nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2006, 卷号: 36, 期号: 6, 页码: 1227-1229
作者:  Li, ZhiWu;  Zhou, MengChu
收藏  |  浏览/下载：215/0  |  提交时间：2015/11/07
Elementary Siphon  Independent Siphon  Petri Net  
Role-based collaboration and its kernel mechanisms 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2006, 卷号: 36, 期号: 4, 页码: 578-589
作者:  Zhu, Haibin;  Zhou, MengChu
收藏  |  浏览/下载：99/0  |  提交时间：2015/11/08
Collaboration  Computer-supported Cooperative Work (Cscw)  Role