用于 P 时间事件图一致性验证的无限优先图

优先约束是用于建模时间依赖性的不等式。1958 年，Gallai 证明了一个有限的优先约束系统存在解，当且仅当其对应的优先图不包含正权回路。我们证明该结果可自然推广至无限约束的情形。随后，我们分析了两类特定的无限优先图——$\mathbb{N}$-周期图和最终周期图——并证明其相关约束解的存在性可在强多项式时间内验证。所得算法在 P 时间事件图中找到了应用，P 时间事件图是 P 时间 Petri 网的一个子类，能够建模任务需在给定时间窗口内执行的循环调度生产系统。