GridSPN: a Grid-based non-Markovian Petri nets tool