Supplementary Data for: Mechanism-informed graph reinforcement learning for resource-constrained maintenance scheduling in IFMIF-DONES

This dataset contains the supplementary material supporting the manuscript "Mechanism-informed graph reinforcement learning for resource-constrained maintenance scheduling in IFMIF-DONES". It includes the Master Sequence of Operations (best-observed SOP) generated by the GCN-TD3 optimizer to achieve the 71.43-hour makespan, alongside the full 145-transition High-Level Petri Net topological definitions for the IFMIF-DONES short beam stop (SBS).