Signed Renew - The Signed Reference Net Workshop

​Renew is a high-level Petri net simulator written in Java. This file tells you the most rudimentary information about Renew. It should suffice to get Renew running and to extract the full documentation from the archives.

Here we provide a download for reviewers: TODO

Installation

Before you can use ​Renew, you must have Java 11 or higher installed. If you have not done this yet, we suggest that you get the latest Java Development Kit from ​Oracle-Java or from ​AdoptOpenJDK where versions for Windows, Linux, MacOS are available. ​Renew only requries the Java Runtime Environment (JRE), but it is no longer distributed separately.

There are many other platforms that cannot be listed here. For the installation of the Java platforms, please refer to the instructions that come with the executables. ​Renew is a full Java application, not an applet, and it is not intended to be used from WWW browsers like Mozilla or Internet Explorer. You must install a up to date standalone Java.

This release currently onyl contains the manual start option.

You can always start ​Renew manually, which is not very difficult after all.

java -p path/to/renew4.0:path/to/renew4.0/libs -m path/to/renew4.0/de.renew.loader gui

will start the renew editor, if the archive was extracted to /path/to. Depending on your system you may need to issue a different command. When in the /path/to/renew4.0 directory, relative paths may shorten this command to

java -p .:libs -m de.renew.loader gui

The documentation contains a few hints on alternative commands or settings to start the application.

Further reading

For more information about the signature part of this release read the doc/NetSignerPlugin.md and the doc/SignatureCheckPlugin.md. These introduce the two plugins which make this release the Signed ​Renew .

Some examples which highlight the features of this release are described in doc/NetSignerExample.md and the doc/SignatureCheckExample.md.

Consult the file ​Renew User Guide for more information about the usage of ​Renew and the syntax and semantics of reference nets.