In the Advanced Course on Petri Nets 2010, Yasper was used for designing and executing Petri nets. See a presentation on Yasper.
Not version 1.0 was used, which is still offered on Yasper's homepage, but version 2.0:
The manual is not fully up to date yet (from page 45 onwards, screenshots are from older versions).