Modeling and simulation of forced population displacement flows using colored Petri nets