GridSPN: a grid-based non Markovian Petri nets tool | IEEE Conference Publication | IEEE Xplore