基于变迁覆盖的制造系统死锁控制策略
刘慧霞1
邢科义2
康苗苗2
1.鲁东大学信息与电气工程学院,山东烟台264025;西安交通大学系统工程研究所机械制造系统工程国家重点实验室,陕西西安7100492.西安交通大学系统工程研究所机械制造系统工程国家重点实验室,陕西西安,710049
摘要：基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁回路组成的集合,其变迁集覆盖了Petri网中所有极大完备资源变迁回路的变迁集.验证变迁覆盖的有效性,然后仅对有效变迁覆盖中的极大完备资源变迁回路添加控制位置,就得到系统的活性受控Petri网.这种受控Petri网包含的控制位置个数少,从而结构相对简单.最后通过一个例子说明了所提出的死锁控制策略的构成与特点.
关键词：柔性制造系统Petri网死锁控制
分类号：TP278(自动化技术及设备)
资助基金：国家自然科学基金(60774083)国家自然科学基金(50975224)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：7( 425-431 )
英文信息