LIVENESS

作品数:18被引量:17H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:蒋昌俊夏传良鞠彦兵更多>>
相关机构:中国科学院研究生院中国科学院数学与系统科学研究院北京理工大学济南大学更多>>
相关期刊:《Progress in Natural Science:Materials International》《Journal of Computer Science & Technology》《Science China(Technological Sciences)》《Computer Modeling in Engineering & Sciences》更多>>
相关基金:国家自然科学基金美国国家科学基金国家杰出青年科学基金北京市自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=自动化学报x
条 记 录,以下是1-1
视图:
排序:
Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems被引量:1
《自动化学报》2005年第1期143-150,共8页Hong-YeSU Wei-MinWU JianCHU 
Supported in part by the National Outstanding Youth Science Foundation of P.R.China (60025308) Doctor Degree Program Foundation of P.R.China (20020335103), Scientific Research Program of Department of Education of Zhejiang Province, P.R.China (20040149)
A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools....
关键词:PETRI网 监视控制 离散事件系统 回响度 
检索报告 对象比较 聚类工具 使用帮助 返回顶部