Flexible Manufacturing Systems Intralogistics: Dynamic Optimization of AGVs and Tool Sharing Using Coloured-Timed Petri Nets and Actor-Critic RL with Actions Masking
Sofiene Lassoued, Laxmikant Shrikant Bahetic, Nathalie Weiß-Borkowskib, Stefan Lierc, Andreas Schwunga
TL;DR
This work tackles the complex scheduling of flexible manufacturing systems (FMS) with constrained material handling via automated guided vehicles (AGVs) and tool sharing. It proposes a hybrid framework that combines Colored-Timed Petri Nets (CTPNs) with an actor-critic reinforcement learning approach using action masking (Maskable PPO) to manage the expanded action space. Key contributions include a modular PetriNet-based model, a gym-compatible large-scale Taillard-inspired benchmark, and a thorough ablation study confirming the roles of reward shaping, lookahead, and masking. Results show that the proposed PetriRL method matches traditional methods on small instances and substantially outperforms them on large-scale problems, with dramatic reductions in computation time and strong generalization across varied instance sizes, enabling dynamic adaptation to late orders and disturbances.
Abstract
Flexible Manufacturing Systems (FMS) are pivotal in optimizing production processes in today's rapidly evolving manufacturing landscape. This paper advances the traditional job shop scheduling problem by incorporating additional complexities through the simultaneous integration of automated guided vehicles (AGVs) and tool-sharing systems. We propose a novel approach that combines Colored-Timed Petri Nets (CTPNs) with actor-critic model-based reinforcement learning (MBRL), effectively addressing the multifaceted challenges associated with FMS. CTPNs provide a formal modeling structure and dynamic action masking, significantly reducing the action search space, while MBRL ensures adaptability to changing environments through the learned policy. Leveraging the advantages of MBRL, we incorporate a lookahead strategy for optimal positioning of AGVs, improving operational efficiency. Our approach was evaluated on small-sized public benchmarks and a newly developed large-scale benchmark inspired by the Taillard benchmark. The results show that our approach matches traditional methods on smaller instances and outperforms them on larger ones in terms of makespan while achieving a tenfold reduction in computation time. To ensure reproducibility, we propose a gym-compatible environment and an instance generator. Additionally, an ablation study evaluates the contribution of each framework component to its overall performance.
