欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufac
所属机构名称:西安电子科技大学
会议名称:the 11th IEEE International Conference on Networking, Sensing and Control
时间:2014
成果类型:会议
相关项目:自动制造系统死锁控制性能分析与优化
作者:
Liu Ding|Hou Yifan|Barkaoui Kamel|Zhou Mengchu|
同会议论文项目
自动制造系统死锁控制性能分析与优化
期刊论文 36
会议论文 10
著作 2
同项目会议论文
Liveness and resource usage ratio-enforcing supervisor in a class of generalized Petri nets
Optimal Petri Net Supervisor with Lowest Implemental Cost for Flexible Manufacturing Systems
Maximally Permissive Control of Flexible Manufacturing Systems with Fewest Disjunctive Constraints
Extension of Elementary Siphons in a Class of Generalized Petri Nets
Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
Elementary Siphons in a Class of Generalized Petri Nets and Their Application
On intrinsically live structure of a class of generalized Petri nets modeling FMS
On iterative liveness-enforcement for a class of generalized Petri nets
Dynamic low power reconfigurations of realtime embedded systems