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






