Wolfgang
Overview
Entry last updated: 2015/8/26
Entry last validated: 2015/8/26
Tool homepage: https://github.com/iig-uni-freiburg/WOLFGANG
Tool availability: Free of charge
Tool Features
Petri Nets Supported (see also help on terminology)
- High-level Petri Nets
- Place/Transition Nets
Components (see also help on terminology)
- Graphical Editor
- Token Game Animation
- State Spaces
- Structural Analysis
- Interchange File Format
- Workflow Net Property Analysis, PNML Compliant
Environments
- PC, Linux
- Macintosh, Mac OS X
- Java
- MS Windows
Tool Description
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 library. 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!
Contact Information
Business Process Security Group
Institute of Computer Science and Social Studies, Department of Telematics, University of Freiburg
Friedrichstrasse 50
79098 Freiburg
Germany
Phone: +49 761 203 4964
Fax: +49 761 203 4929
E-mail: swat@iig.uni-freiburg.de
Other Remarks
The maintainers of this page