The Computation of Liveness Enforcing Supervisors From Submodels of a Petri Net Model of FMS
IEEE TENCON 2013——In this talk, a method is proposed for the computation of liveness enforcing supervisors (LES) from submodels of a Petri net model (PNM) of a flexible manufacturing system (FMS). Given the PNM of an FMS prone to deadlock, it aims to synthesize a live controlled Petri net. The PNM of the system is divided into small connected subnets (submodels). Each connected subnet prone to deadlock is then used to compute the LES for the original PNM. An example FMS deadlock problem from the literature is used to illustrate the applicability of the proposed method.
关键词： Petri网模型 柔性制造系统 连接子网 原始PNM IEEE TENCON 2013
主讲人：Professor Murat Uzam 机构：Meliksah Universitesi Muhendislik-Mimarlik Fakultesi,Elektrik-Elektronik Mühendisliği Bölümü,Talas,Kayseri,Turkey
时长：0:26:01 年代：2013年
热点排行
- 1 英语学习策略（1）
- 2 《图书馆与信息服务营销》先导片
- 3 古兽重现
- 4 Excel实战技巧精粹
- 5 在路上
- 6 恐龙绝灭与生态危机（1）
- 7 生物医学图像处理——绪言（1）
- 8 28号的青春
京公网安备11010802020237号 |