一个简化的高铁售票系统的规格说明如下： ●乘客未使用系统前系统处于“等待”状态，屏幕显示沿线各车站的站名。 ●乘客选择了到达站并按下[购票]键之后，系统进入“待付款”状态，屏幕显示票价，等待乘客付款。 ●如果乘客在限时之内付款，系统进入“出票”状态，打印并吐出相应车票，同时找回余额，然后系统重置回到“等待”状态。 ●如果乘客在限时之内未付款之前按下[取消]键取消购票，系统进入“等待”状态。 ●如果乘客在限时之内没有付款，系统进入“超时”状态，显示“超时”“取消购票”等信息，然后系统重置回到“等待”状态。 ●如果乘客在拿到车票后要求退票，在“等待”状态下按下[退票]键，系统进入“查证”状态。 ●如果查证成功，系统进入“退票”状态。回收车票，退回票款，然后系统重置回到“等待”状态；如果查证不成功，系统进入“警告”状态，屏幕显示“车票无效”信息，然后系统重置回到“等待”状态。 计算该状态转换图的圈复杂度并给出基本测试路径。