Yet Another Smart Process EditoR

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:

  Yasper 2 for .NET 2.0 Contact Us

The manual is not fully up to date yet (from page 45 onwards, screenshots are from older versions).