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
License
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Other Useful Business Software
Already Paying for an RMM? Get 50% Off Splashtop AEM
Automated OS and third-party patching for Windows and macOS, CVE prioritization with AI patch summaries, and built-in remote control that also supports Linux. Qualifying organizations switching from another RMM get up to 50% off year one.
Rate This Project
Login To Rate This Project
User Reviews
-
4 out of 5 starsUseful Petri net editor with validation, token game and simulation. Has some memory and stability issues on larger models. Kept up to date and running in a landscape of forgotten research project ruins.
-
1 out of 5 starsThe program requires registration!Reply from WoPeD