A Decomposition Method for Optimal Firing Sequence Problems for First-order Hybrid Petri Nets. - Tatsushi Nishi; Kenichi Shimatani; Masahiro Inuiguchi (SMC, 2009)