この資料をSMS送信: Supervisory control of quantitative Petri nets for fixed‐initial‐credit energy problems using a game structure