论文部分内容阅读
基于资源顺序提出了一种多项式复杂度的死锁控制策略,保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性。首先对系统Petri网模型求取操作库所的资源需求量,在任意一组资源顺序的偏序下,调整操作库所的最大资源需求量,然后对每个资源添加控制保证系统资源不会进入循环等待,从而保证系统不会进入死锁状态。通过实例验证,该策略避免了求取信标,在保证系统活性的基础上明显降低了计算复杂度。