Modeling and simulation of cascade reservoirs flood control system based on hybrid stochastic timed Petri nets | IEEE Conference Publication | IEEE Xplore