位置：成果数据库 > 会议 > 会议详情页
Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri
  • 所属机构名称：西安电子科技大学
  • 会议名称：Automation Science and Engineering (CASE), 2013 IEEE International Conference on
  • 时间：2013.8.17
  • 成果类型：会议
  • 相关项目：自动制造系统的Petri网控制器设计及优化
同会议论文项目
自动制造系统的Petri网控制器设计及优化
期刊论文 12 会议论文 19
同项目会议论文
Supervisor design and simplification for automated manufacturing systems using colored Petri nets
A synthesis-centric model-based systems engineering framework for reliable supervision of systems wi
Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?
Distributed supervisor synthesis for automated manufacturing systems using Petri nets
A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets
Robust supervisor synthesis for automated manufacturing systems using Petri nets
Maximally permissive distributed control of automated manufacturing systems with assembly operations
A Petri net-based distributed control of automated manufacturing systems with assembly operations
Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and mu
A comparative approach to supervisor simplification in automated manufacturing systems using Petri n
Robust deadlock control using shared-resources for production systems with unreliable workstations
One computationally improved deadlock prevention policy for flexible manufacturing systems using Pet
A novel method to simplify supervisor for AMS based on Petri nets and inequality analysis
Supervisors and their simplification in automated manufacturing systems via Petri nets
Time-varying automated manufacturing systems and their event-based control: A Petri net approach
Maximally permissive distributed control of large scale automated manufacturing systems modeled with
Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets
An approach to specification simplification in automated manufacturing systems using invariance and