中文版 | English

在结果中检索

CASIA OpenIR

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

限定条件                
已选(0)清除 条数/页：   排序方式：
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
收藏  |  浏览/下载：248/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
收藏  |  浏览/下载：204/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
收藏  |  浏览/下载：149/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Control  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System  Petri Net  
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
收藏  |  浏览/下载：146/0  |  提交时间：2015/11/08
Deadlock Prevention  Flexible Manufacturing System  Petri Net  Siphon  Theory Of Regions  
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
收藏  |  浏览/下载：140/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System (Fms)  Petri Net  Resource Allocation System  Siphon  
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
收藏  |  浏览/下载：150/0  |  提交时间：2015/11/08
Medium Access Control  Csma/ca  Collision Resolution And Separation  Wireless Adhoc Network  Diversity  
Deadlock resolution in automated manufacturing systems with robots 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 卷号: 4, 期号: 3, 页码: 474-480
作者:  Wu, Naiqi;  Zhou, MengChu
收藏  |  浏览/下载：157/0  |  提交时间：2015/11/08
Automated Manufacturing Systems (Ams)  Deadlock Avoidance  Modeling And Control  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
收藏  |  浏览/下载：114/0  |  提交时间：2015/11/08
Collaboration  Computer-supported Cooperative Work (Cscw)  Role  
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
收藏  |  浏览/下载：176/0  |  提交时间：2015/11/07
Deadlock Prevention  Elementary Siphon  Flexible  Manufacturing System  Petri Net  Siphon  
A systematic approach to design and operation of disassembly lines 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2006, 卷号: 3, 期号: 3, 页码: 324-330
作者:  Tang, Ying;  Zhou, MengChu
收藏  |  浏览/下载：85/0  |  提交时间：2015/11/07
Disassembly Line (Dl) Design  Disassembly Petri Net  Line Balancing