*control_implicit_termination

*control_implicit_termination→* control_termination

keyword : termination、implicit、終止時間