Download
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
License
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Other Useful Business Software
Enterprise-grade ITSM, for every business
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Rate This Project
Login To Rate This Project
User Reviews
-
Useful 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.
-
The program requires registration!Reply from WoPeDPosted 2021-11-10
This is not the case, the registration is only necessary if you want to join the user community.