GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets