中文版 | English

在结果中检索

CASIA OpenIR

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
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
收藏  |  浏览/下载：175/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
收藏  |  浏览/下载：233/0  |  提交时间：2015/11/07
Elementary Siphon  Independent Siphon  Petri Net  
Covering based granular computing for conflict analysis 期刊论文
INTELLIGENCE AND SECURITY INFORMATICS, PROCEEDINGS, 2006, 卷号: 3975, 页码: 566-571
作者:  Zhu, William;  Wang, Fei-Yue;  Mehrotra, S;  Zeng, DD;  Chen, H;  Thuraisingham, B;  Wang, FY
收藏  |  浏览/下载：224/0  |  提交时间：2015/11/07