一类柔性制造系统的死锁预防策略

摘要：

针对一类柔性制造系统的ES3PR网模型提出了一种死锁预防策略.基于Petri网和信标的理论,我们将可被清空的信标分为基本信标和从属信标.引入多步迭代的思想,给每个基本信标添加两类控制库所:普通控制库所和加权控制库所,在满足一定条件时控制所有的从属信标.从而得到结构更简单、活性更强的Petri网系统。

关键词： Petri网 死锁预防 基本信标 柔性制造系统 ES3PR网模型

作者: 李志武 徐平江 夏海斌

作者单位: 西安电子科技大学,机电工程学院,西安,710071

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 219-222

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）