Using WoPeD

Q: Which Java version is needed to run WoPeD?

A: On all supported platforms, WoPeD requires Java 6 or higher to be launched.

Q: Does WoPeD support place/transition nets?

A:  Yes. WoPeD can edit, analyze and simulate regular place/transition nets. The editor supports also other net classes but by restricting yourself to plain nets (and just ignoring all workflow-net-based extensions), WoPeD can serve as a normal Petri net tool.

Q: Does WoPeD support high level nets?

A:  No. WoPeD currently does not support high level nets like predicate/transition or colored Petri nets.

Q: Does WoPeD support workflow nets?

A:  Yes. WoPeD supports all features defined by Wil van der Aalst in his book on Workflow Management. This includes control flow elements (operators, triggers), algorithms to check soundness and other structural and behavioral correctness properties, as well as extensions needed for quantitative analysis like resource modeling (roles and groups), service times, arrival rate and other performance-related parameters.

Q: Does WoPeD support arc weights?

A:  No. WoPeD currently does only support single (not annotated) arc weights. It might not be a big task to add this feature – so anyone who feels motivated to do it, please contact the WoPeD team.

Q: Does WoPeD support hierarchical nets?

A:  Yes. WoPeD does support subprocesses which can be defined behind a special transition (= subprocess symbol). However, subprocess usage is only supported in the “single-entry-single-exit” mode, i. e. a subprocess transition (and thus also the subprocess itself) must have exactly one input place and exactly one output place. This restricts the modeling power but guarantees that all correctness proofs (e. g. soundness or workflow net property) can be applied using hierarchy-based preservation rules.

Q: Which languages does WoPeD support?

A:  WoPeD currently supports English and German. However, if you feel motivated to add support for your own mother tongue, please contact the WoPeD team.

Q: Which import and export formats does WoPeD support?

A:  WoPeD supports import and export of PNML as specified in the official standard. WoPeD adds “toolspecific” information which will be ignored by other tools. The same happens the other way round. So far it is known that WoPeD can import PNML files from ProM, Pipe2 and ePNK, presumably more. Apart from this, WoPeD can export nets to TPN (Woflan‘s native format) and to several graphical formats (PNG, GIF, JPG). In an upcoming version, it is intended that WoPeD is able to transparently load and save process descriptions stored within an AProMoRe repository.