SoftwareTestNoRenshucho3.4.2 answer for => https://freddiefujiwara.github.io/smtc/?g=2ae0d5c0e2d7f30f8343bd9dbce67636#inputscript

SoftwareTestNoRenshucho3.4.2.txt

initial          => ホテル選択画面;                                                                                                                                                                                       
ホテル選択画面    => 宿泊日選択画面    : ホテル選択［空きあり］;                                                                                                                                                                                
宿泊日選択画面    => 宿泊者情報入力画面: 日程プラン［空きあり］;                                                                                                                                                                              
宿泊者情報入力画面 => 最終確認画面     : 宿泊者情報入力;                                                                                                                                                                                       
最終確認画面      => 予約確定画面      : 確定［空きあり］;                                                                                                                                                                                    
                                                                                                                                                                                                                   
宿泊日選択画面    => ホテル選択画面  [color="blue"] : キャンセル;                                                                                                                                                                        
宿泊者情報入力画面 => ホテル選択画面  [color="blue"] : キャンセル;                                                                                                                                                                      
最終確認画面      => ホテル選択画面  [color="blue"] : キャンセル;                                                                                                                                                                         
                                                                                                                                                                                                                   
予約失敗画面        => ホテル選択画面 [color="green"] : 再度選択する;                                                                                                                                                                        
宿泊日選択失敗画面  => 宿泊日選択画面 [color="green"] : 再度選択する;                                                                                                                                                                    
ホテル選択失敗画面  =>ホテル選択画面  [color="green"] : 再度選択する;                                                                                                                                                                     
                                                                                                                                                                                                                   
最終確認画面    => 予約失敗画面      [color="red"] : 確定［空きなし］;                                                                                                                                                                         
宿泊日選択画面  => 宿泊日選択失敗画面 [color="red"] : 日程プラン［空きなし］;                                                                                                                                                                 
ホテル選択画面  => ホテル選択失敗画面 [color="red"] : ホテル選択［空きなし］;