位置：成果数据库 > 会议 > 会议详情页
Liveness and resource usage ratio-enforcing supervisor in a class of generalized Petri nets
  • 所属机构名称：西安电子科技大学
  • 会议名称：Proceedings of 10th IEEE ICCA
  • 时间：2013
  • 成果类型：会议
  • 相关项目：自动制造系统死锁控制性能分析与优化
作者： Liu Ding|Hou YiFan|Barkaoui Kamel|Zhou MengChu|
同会议论文项目
自动制造系统死锁控制性能分析与优化
期刊论文 36 会议论文 10 著作 2
同项目会议论文
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
Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufac