S4PR网的极小信标计算方法

• 作者: 徐姗姗 朱丹 朱承丞 董利达
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: Petri网 柔性制造系统 信标 死锁预防
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 计算机技术
• 页码范围: 431-441
• 页数: 11页
• 分类号: TP278
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2013.03.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董利达		21	152	7.0	12.0
2	朱丹		10	76	4.0	8.0
3	徐姗姗		6	18	2.0	4.0
4	朱承丞		4	14	2.0	3.0