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
License
BSD LicenseFollow WOLFGANG
Other Useful Business Software
Our Free Plans just got better! | Auth0
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
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.