S4PR网的极小信标计算方法

摘要：

为了解决S4PR网的信标求解问题,提出了一种计算网中全部极小信标的方法.该方法通过分析资源库所内工作环与资源库所集合之间的关系构建有向图(C-R图),获取强连通的C-R子图集合,而每个C-R子图对应着一个信标,由此得到包含2个及2个以上资源库所的信标集合,将该集合与含有单个资源库所的极小信标集合进行并集运算,形成备选信标集合,通过算法对备选集合进行筛选,删除其中非极小的信标,进而得到网中全部的极小信标.该方法为获取S4PR网中全部的极小信标提供了有效、可行的方案,为下一步设计最优活性控制器奠定了基础.一个可用S4PR网建模的柔性制造系统实例验证了该极小信标计算方法的正确性.

关键词：Petri网、柔性制造系统、信标、死锁预防

所属期刊栏目：47

分类号：TP278(自动化技术及设备)

资助基金：国家自然科学基金资助项目61071062;浙江省自然科学基金资助项目Y12F02030

在线出版日期：2013-05-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：431-441