GreatTeach: a tool for teaching (stochastic) Petri nets