WOLFGANG 1.0.3

@adlange adlange released this Jan 25, 2016 · 9 commits to master since this release

Changes:

  • added new PRISM rules
  • limited number of counter examples to 100
  • some minor bug fixes and changes

Downloads

WOLFGANG 1.0.2

@adlange adlange released this Sep 16, 2015 · 30 commits to master since this release

Changes:

  • added update notifier
  • give option to deactive file extension association and update notifier
  • fixed bug with editor properties

Downloads

WOLFGANG 1.0.1

@adlange adlange released this Sep 14, 2015 · 43 commits to master since this release

Changes:

  • added open file handler
  • added keyboard shortcuts
  • improved graphics toolbar and fixed bug when changing icon size
  • fixed project dependencies
  • some minor bug fixes

Downloads

WOLFGANG 1.0.0

@adlange adlange released this Jul 30, 2015 · 56 commits to master since this release

First final release of Wolfgang.

Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA library. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use Wolfgang to smoothly create the Petri net you want!

Downloads