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
Gen AI apps are built with MongoDB Atlas
MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
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.
