QUBO Model Formulation Based on Petri Net Behavioral Description for Combinatorial Optimization Problems. - Keisuke Tokuhira; Morikazu Nakamura; Mitsunaga Kinjo; Katsuhiko Shimabukuro (ICO, 2022)