Workflow Petri net tool - WoPeD 1.0.0 has been released

Dear Petri-Netters,

it has taken some time - but we are proud to announce release 1.0.0 of WoPeD
("Workflow Petrinet Designer"), an easy-to-use, freely available, Java-written
tool for editing, managing, simulating and analyzing Workflow Petri nets using
the well-established "van der Aalst" notation. 

WoPeD is being developed at the University of Cooperative Education
(Berufsakademie) Karlsruhe. WoPeD can either be used as a classical
place-transition net editor or as a specialized workflow net editor with many
useful extensions.

WoPeD currently provides the following features:
- Graphical editor
- PNML file format for exchanging models with many other tools
- Configurable GUI with numerous "smart-editing" functions
- Anmated token game
- Resource modeling and resource mapping to tasks (NEW)
- Structural analysis: WF-net property, free-choice, well-structuredness, ...
(NEW) 
- Editor visualization of structural properties (NEW)
- Interface to Woflan for complete soundness check
 
More features are under development and are planned for future releases:
- Subprocess concept (coming soon...)
- Quantitative analysis
- Data perspective

More information including the download link can be found on the WoPeD website
http://www.woped.org.

All Petri net people who are working with Petri nets in the area of Business
Process Management are welcome to check out and try out WoPeD. Any sort of
feedback is very much appreciated and would help us to improve the tool.

Best regards

Thomas Freytag
_______________________________
Prof. Dr. Thomas Freytag
University of Cooperative Education 
Department of Computer Science
Erzbergerstrasse 121
D-76133 Karlsruhe
E-Mail: freytag@xxxxxxxxxxxxxxx
Web: www.thomas-freytag.de
Phone: +49-721-9735-937