The modern web-based Petri Net Editor for workflow modeling and analysis.
🎓 Built for Education — WoPeD Next brings Petri net modeling to the browser, making workflow analysis accessible to students, researchers, and professionals alike.
- Drag & Drop — Create places, transitions, and arcs with ease
- Workflow Operators — AND/XOR split & join for complex routing
- Subprocesses — Hierarchical modeling with drill-down navigation
- Smart Grid — Snap-to-grid alignment for clean diagrams
- Animated Simulation — Watch tokens flow through your process
- Step-by-Step — Manual or automatic execution
- Conflict Resolution — Handle non-deterministic choices
- Statistics — Track firings, states, and deadlocks
- Qualitative Analysis — Soundness checking, structure validation
- Quantitative Simulation — Time-based discrete event simulation
- Process Metrics — Complexity, density, and quality metrics
- Bottleneck Detection — Identify performance issues
- PNML Import/Export — Standard Petri net format
- JSON Support — Full model serialization
- Image Export — SVG and PNG for documentation
- 10 Templates — Educational example nets to get started
- Dark & Light Mode — Easy on the eyes, day or night
- Multilingual — English and German
- Responsive Panels — Collapsible sidebar for maximum canvas space
- Keyboard Shortcuts — Power user productivity
# Clone the repository
git clone https://github.com/TaminoFischer/woped-next.git
cd woped-next
# Install dependencies
npm install
# Start development server
npm run devOpen http://localhost:5173 and start modeling!
# Build and run with Docker Compose
docker compose up --build
# Access at http://localhost:8080| Editor | Token Game | Analysis |
|---|---|---|
 |
 |
 |
| Layer | Technology |
|---|---|
| Frontend | Vue.js 3, Composition API |
| Canvas | Konva.js via vue-konva |
| State | Pinia |
| i18n | vue-i18n |
| Build | Vite |
| Deploy | GitHub Pages, Docker + nginx |
- AGENTS.md — Project reference for developers and AI coding agents
- Architecture — System design and patterns
- Migration Status — Feature implementation progress
- Deployment — Build and deploy instructions
WoPeD (Workflow Petri Net Designer) is an educational tool for modeling and analyzing workflow processes using Petri nets. Originally developed as a Java Swing application at DHBW Karlsruhe, WoPeD Next is the modern web-based successor.
(●) ───► [ T1 ] ───► ( )
Place Transition Place
(1 token) (0 tokens)
- Places (circles) represent states or conditions
- Transitions (rectangles) represent activities or events
- Tokens (dots) represent the current state of the system
- Arcs connect places to transitions and vice versa
Contributions are welcome! Please read our contributing guidelines and submit pull requests.
- Live Demo — Try it in your browser
- Original WoPeD — The legacy Java application
- Petri Nets World — Learn more about Petri nets
Made with ❤️ for the Petri net community