有效变迁覆盖在死锁预防策略中的应用
死锁问题一直是制造系统在自动化领域的一个重要研究课题。目前大多数研究者利用Petri网为自动制造系统建模。而Petri网中的siphon与资源变迁回路是表征Petri网活性的两类重要结构特征。有效变迁覆盖是由满足一定条件的极大完备资源变迁回路组成的子集，能为系统设计活性Petri网控制器。根据严格极小siphon与极大完备资源变迁回路的一一对应关系，本文对于任意给定的一个严格极小siphon子集，通过将其转化为一个有效变迁覆盖，能为系统设计出一个活性Petri网控制器，且控制器规模较小。最后通过一个例子解释了本文所提出的死锁预防策略。
制造系统 Petri网 死锁控制机制 资源变迁回路
刘慧霞 邢科义 韩立斌 王峰
西安交通大学, 系统工程研究所, 西安, 710049
国内会议
厦门
中文
1-7
2012-08-01（万方平台首次上网日期，不代表论文的发表时间）