| 1 | = Signed Renew - The Signed Reference Net Workshop = |
| 2 | |
| 3 | [http://renew.de Renew] is a high-level Petri net simulator written in Java. |
| 4 | This file tells you the most rudimentary information about Renew. |
| 5 | It should suffice to get Renew running and to extract the full documentation from the archives. |
| 6 | |
| 7 | == Installation == |
| 8 | |
| 9 | Before you can use [http://renew.de Renew], you must have Java 11 or higher installed. |
| 10 | If you have not done this yet, we suggest that you get the latest Java Development Kit from [https://www.oracle.com/java/ Oracle-Java] or from [https://adoptopenjdk.net/ AdoptOpenJDK] where versions for Windows, Linux, MacOS are available. |
| 11 | [http://renew.de Renew] only requries the Java Runtime Environment (JRE), but it is no longer distributed separately. |
| 12 | |
| 13 | There are many other platforms that cannot be listed here. |
| 14 | For the installation of the Java platforms, please refer to the instructions that come with the executables. |
| 15 | [http://renew.de 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. |
| 16 | You must install a up to date standalone Java. |
| 17 | |
| 18 | This release currently onyl contains the manual start option. |
| 19 | |
| 20 | You can always start [http://renew.de Renew] manually, which is not very difficult after all. |
| 21 | |
| 22 | java -p path/to/renew4.0:path/to/renew4.0/libs -m path/to/renew4.0/de.renew.loader gui |
| 23 | |
| 24 | will start the renew editor, if the archive was extracted to /path/to. |
| 25 | Depending on your system you may need to issue a different command. |
| 26 | When in the /path/to/renew4.0 directory, relative paths may shorten this command to |
| 27 | |
| 28 | java -p .:libs -m de.renew.loader gui |
| 29 | |
| 30 | The documentation contains a few hints on alternative commands or settings to start the application. |
| 31 | |
| 32 | == Further reading == |
| 33 | |
| 34 | For more information about the signature part of this release read the doc/NetSignerPlugin.md and the doc/SignatureCheckPlugin.md. |
| 35 | These introduce the two plugins which make this release the Signed [http://renew.de Renew] . |
| 36 | |
| 37 | Some examples which highlight the features of this release are described in doc/NetSignerExample.md and the doc/SignatureCheckExample.md. |
| 38 | |
| 39 | Consult the file [http://renew.de Renew] User Guide for more information about the usage of [http://renew.de Renew] and the syntax and semantics of reference nets. |