Petri net-based QUBO Model Formulation for Multi-Resource Flow-Shop Scheduling Problems. - Ryota Uechi; Morikazu Nakamura; Tadashi Shiroma; Takayuki Nakachi (CANDARW, 2024)