A tool for flexible planning of rescur routes

摘要

In this paper we foucs on a simulation and model checking tool GRA for planning rescue routes. GRA is based on the layered transport graph algorithms combined with model-checking techniques. Three main steps are distinguished: construction of transport graphs for the area, insertion of the set of constraints for the after-catastrophe transport graphs, and planning rescue routes concerning imposed constraints.