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
Earn up to 16% annual interest with Nexo.
Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform.
Geographic restrictions, eligibility, and terms apply.
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.
