基于位置计时 Petri 网与基准可达图的灵活制造系统调度
系统与控制
2025-05-20 v1 系统与控制
摘要
调度是提高灵活制造系统性能的关键决策过程。位置计时 Petri 网提供了一种对此类系统进行形式化建模和分析的方法。通过生成可达图并结合智能搜索算法，可找到从初始状态到目标状态的操作序列。然而，随着系统规模的增加，可达图呈指数级增长，这是现有方法在大型系统调度中的主要挑战。为此，我们发展了一种高效的改进型束搜索算法，基于称为基准可达图的紧凑可达图表示进行优化，以最小化 makespan。我们方法的核心思想是将基准标记及其对应的转换序列组成一个状态，并基于资源空闲时间评估该状态的成本。实验结果表明，在几个基准系统上进行的实验显示，所开发的方法在确保解质量的同时提高了搜索效率，与现有方法相比表现更佳。
引用
@article{arxiv.2505.12862,
title = {Scheduling of Flexible Manufacturing Systems Based on Place-Timed Petri Nets and Basis Reachability Graphs},
author = {Zhou He and Ning Li and Ning Ran and Liang Li},
journal= {arXiv preprint arXiv:2505.12862},
year = {2025}
}