段替え作業を考慮したフローショップスケジューリング問題のペトリネットモデリングとQUBO定式化

摘要

段替え作業を考慮した生産スケージューリング問題に対する時間カラーペトリネットモデルに基づくQUBOモデルの定式化手法を提案する。提案手法は組合せ最適化問題をモデル化したペトリネットモデルから，発火規則に基づく制約，問題依存の制約，および目的関数に対応するハミルトニアンとして定式化することが可能である。段替え作業など複雑な制約を直接定式化することは経験的スキルが必要であるが，提案手法を利用すればドメイン知識のみでQUBOモデルの定式化が可能となる。