Projects



Changes between Initial Version and Version 1 of SignatureCheck


Ignore:
Timestamp:
Feb 7, 2021, 7:28:55 PM (4 years ago)
Author:
moldt
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TabularUnified SignatureCheck

    v1 v1  
     1= Signed Renew - The Signed Reference Net Workshop =
     2
     3[http://renew.de Renew] is a high-level Petri net simulator written in Java.
     4This file tells you the most rudimentary information about Renew.
     5It should suffice to get Renew running and to extract the full documentation from the archives.
     6
     7== Installation ==
     8
     9Before you can use [http://renew.de Renew], you must have Java 11 or higher installed.
     10If 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
     13There are many other platforms that cannot be listed here.
     14For 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.
     16You must install a up to date standalone Java.
     17
     18This release currently onyl contains the manual start option.
     19
     20You 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
     24will start the renew editor, if the archive was extracted to /path/to.
     25Depending on your system you may need to issue a different command.
     26When 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
     30The documentation contains a few hints on alternative commands or settings to start the application.
     31
     32== Further reading ==
     33
     34For more information about the signature part of this release read the doc/NetSignerPlugin.md and the doc/SignatureCheckPlugin.md.
     35These introduce the two plugins which make this release the Signed [http://renew.de Renew] .
     36
     37Some examples which highlight the features of this release are described in doc/NetSignerExample.md and the doc/SignatureCheckExample.md.
     38
     39Consult 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.