Download Renew 4.2

Renew is licensed under the GNU Lesser Public License (LGPL), for details see our license terms. By downloading Renew you agree to this terms.

Running Renew requires a Java 17 runtime environment (JRE). The installation instructions contain hints where you can find a suitable Java virtual machine.

Base, Source and Plugins

Renew is currently available in version 4.2 (since August 15, 2025).

You can also download old versions of Renew. However those are no longer supported.

Documentation

The main documentation is the user guide. It offers information on installing, upgrading and the release history, introduces the reference nets formalism from a practical perspective with many examples and provides in-depth treatment of the Renew tool.

Renew Packages

Renew IDE

(experimental)
This package augments the Base package by adding the following plugins: ImageNetDiff, MiniMap, NavigatorDiff, NavigatorVC, NavigatorGit, FAFormalism, FA-base, FS.

UHH, Inf
Impressum

Back to the Renew homepage

Last modified: Friday, 15 August 2025 at 15:37 UTC by webmaster@renew.de