WoPeD is a Java-based graphical workflow process editor, simulator and analysor using Petri Nets and supporting the PNML format.

Features

  • Petri net and workflow net editor
  • Resource editor
  • Token game simulator
  • Coverability graph generation
  • Semantical analysis (soundness check)
  • Quantitative analysis (capacity planning, quantitative simulation)
  • Java 11+ compatibility
  • AProMoRe repository interface
  • Natural Language import and export

Project Samples

Project Activity

See All Activity >