//此文件是根据2006年6月UPPAAL 4.0.1（版本2157）生成的/**/A[]（CoinValidator.have_c50||CoinValdator.havd_c100||Coin Validator.have_c150）&&w>0\暗示可用水/**/E<>w==0