Browse Code
Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use Wolfgang to smoothly create the Petri net you want!
A user guide and a documentation can be found under http://doku.telematik.uni-freiburg.de/wolfgang.
Features
- Petri net modelling and simulation
- Check for workflow specific net properties
- Both P/T-nets and CPNs are supported
- Import/export from and to PNML
Project Samples
License
BSD LicenseFollow WOLFGANG
Other Useful Business Software
AI-powered service management for IT and enterprise teams
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Rate This Project
Login To Rate This Project
User Reviews
-
Easy to use and lightweight Petri net editor for place/transition nets and colored Petri nets (CPN) with property check capabilities for validity, boundedness, and some workflow net properties.