GreatSPN1.7: Graphical editor and analyzer for timed and stochastic Petri nets