1. Download the correct versions:

   For Linux:
    JDK_common.1.0.2.pl2.tar.gz
    JDK_static.1.0.2.pl2.tar.gz
    lr-lnx10b17.tar.gz

   For Solaris:
    JDK-1_0_2-solaris2-sparc.tar.Z
    lr-sol10b17.tar.gz

2. Extract the JDK* files (in a directory of your choice)
     using, for instance
       a) uncompress -d JDK-1_0_2-solaris2-sparc.tar.Z
       b) tar -xvf JDK-1_0_2-solaris2-sparc.tar
     or
       a) tar -xvzf JDK_common.1.0.2.pl2.tar.gz
       b) tar -xvzf JDK_static.1.0.2.pl2.tar.gz
   A directory `java' is created.

3. Change to that directory.

4. Move the Liquid reality file to this directory.

5. Extract the liquid reality file in this directory using, for instance:
     a) gip -d lr-sol10b17.tar.gz
     b) tar -xvf lr-sol10b17.tar
   or
     a) tar -xvzf lr-lnx10b17.tar.gz

Now the installation is done.  In order to use it, you have to set some
environment variables.  For instance, if you installed java under
/home/pep_test/java:
   (using bash)
      export PATH=/home/pep_test/java/bin:$PATH
      export JAVA_HOME=/home/pep_test/java
   (using csh)
      set path = ( /home/pep_test/java/bin $path )
      setenv JAVA_HOME "/home/pep_test/java"
We recommend to place these commands in your .cshrc or .bashrc
(or better, to edit the `pep' invocation script).

You can test the installation if you
1.  invoke `peptool' in the example directory,
2.  open the project `sem',
3.  compile B(PN)^2 -> HL Net -> LL Net -> Prefix (if this is not done)
4.  choose `open simulator' in the `File' menu,
5.  click on `VRML' in the simulator,
    (a window displaying a 3D scenario should be opened)
6.  click on `Open LL' in the simulator,
7.  choose either start in the simulator or `animate' in the LL net editor
    (this should start a 3D simulation).
The same can be done in the `elevator' Project.