基于改进的网重写系统的Petri网逻辑控制器的自重构方法.pdfVIP

第29卷增刊 南 京 理 工 大 学 学 报 Vol.29Supp 2005年 10月 JournalofNanjingUniversityofScienceandTechnology一 一— 一Oct.2005 基于改进的网重写系统的Petri网逻辑控制器的 自重构方法 李 俊 ，戴先中，孟正大 (东南大学 自动控制系，江苏南京210096) 摘 要:提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改 进，克服了网重写系统的若干固有缺陷，提出了Petri网逻辑控制器的自重构方法，这种方法能保证重 构中逻辑控制器的正确性，避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法， 并验证了其有效性。 关键词:可重构制造系统;Petri网;网重写系统;逻辑控制器;控制重构 中图分类号:TP273 文献标识码:A 文章编号:1005一9830(2005)SO-0041一05 MethodforSelf-reconfigurationofPetriNetLogicControllers BasedonImprovedNetRewritingSystems LIJun，DAIXian-zhong，MENGZheng-da (DepartmentofAutomaticControl,SoutheastUniversity,Nanjing210096,China) Abstract:Basedontheimprovednetrewritingsystems(INRS)，amethodforself-reconfigurationofPetrinet (PN)logiccontrollersforrconfigurablemanufacturingsystems(RMS)ispresented.Firstly,theINKSarede- velopedfromthenetrewritingsystem(NRS)andseveralinherentdefectsoftheNRS，overcome.Subsequent- ly,andINKSbasedself-reconfiguringmethodforaPetrinetlogiccontrollerispresentedandtheimplementation algorithmisdesigned,whichcannaturallyguaranteethecorrectnessoftheresultingPetrinetlogiccontrollerdur- ingreconfigurationandavoidtheeffortsofcomplexmathematicalanalysisandverification.Finally,areconfrg- urablemanufacturingcellexampleisusedtoillustratethemethod. Keywords:reconfigurablemanufacturingsystems;Petrinets;netrewritingsystems;logiccontrollers;controlre- configuration 随着可重构制造系统(RMS)的提出[]l，生产过 种重构能力和机制对于提高制造企业的竞争力具有 程要求逻辑控制器应具有快速、增量式重构自身构 重大意义。此前，人们对离散事件系统控制器的研 形以适应生产系统构形频繁变化的能力和机制。这 究侧重于采用形式化语言(如Petri网)进行控制器 收稿日期二2005一06-15 基金项目:国家重点基础研究发展计划(2002CB312204)，国家高技术研究发展计划(2005AA420060)，江苏省 “十五”攻关 项目(BE200203114) 作者简介:李俊(1978一)，男，安徽和县人，博士生，主要研究方向:离散事件系统建模与控制，E-mail:j.li@seu.e