Generalized Stochastic Petri Net Based Simulation of IoT Supported Dynamic Navigation in Teaching Building Evacuation | IEEE Conference Publication | IEEE Xplore