New FTP-able Version of the PEP tool

License Agreements, Copyright, NO WARRANTY:: PEP is delivered without any warranty. It may be used for non-commercial purposes only. Otherwise an explicit permission is necessary. Of course, the copyright stays with us and we do not allow non-permitted redistribution of PEP or parts of PEP.

In addition, the following license agreements as well as copyright and usage information must be read and the instructions must be followed.; FC2Tools License Agreement; SMV License Agreement; SPIN Copyright and Usage Information

Documentation and Format Descriptions: User Documentation (up-to-date, but unfortunately not yet complete): User Documentation for Version 1.8j Documentation and User Guide (including theoretical background, but unfortunately not up-to-date): Documentation and User Guide Version 1.4 Format Descriptions: Description of the net formats of high-level and low-level Petri nets as well as of the different reference files used in this version

FTP-able Versions: Installation Description: Installation Notes FTP-able Version for the different operating systems: PEP Version 1.8j for Solaris 2.x WARNING: The following package may not work on every system, please use the one for glibc if possible! A new version with shared libs will be available soon. libc5 support will probably last longer (if ever)... PEP Version 1.8j for Linux with libc5 (shared libs) PEP Version 1.8j for Linux with glibc (statically linked) PEP Small update from 1.8i to 1.8j (for all operating systems) PEP Test Version 1.8g for Irix (SGI)

Tcl/Tk Versions: Just the binaries: Installation Notes Patched (executable) Linux version of Tcl7.6p2/Tk4.2p2 for libc5 systems Patched (executable) Linux version of Tcl7.6p2/Tk4.2p2 to be used only with the PEP version for Linux with glibc Patched (executable) Solaris version of Tcl7.6p2/Tk4.2p2 Patched (executable) Irix (SGI) version of Tcl7.6p2/Tk4.2p2 Complete patched versions: Installation Notes Patched (source) version of Tcl7.6p2 Patched (source) version of Tk4.2p2

Java and Liquid Reality Versions: In order to use the new 3D visualisation feature, JDK 1.0.2 and Liquid Reality have to be installed. Exactly these versions are needed and presently it does not run under Solaris 2.6. Please, use FTP search to download the corresponding files (listed below) from an ftp server. Correct Java versions: JDK-1_0_2-solaris2-sparc.tar.Z (for Solaris) JDK_common.1.0.2.pl2.tar.gz (for Linux part 1) JDK_static.1.0.2.pl2.tar.gz (for Linux part 2) Correct Liquid Reality versions: lr-sol10b17.tar.gz (for Solaris) lr-lnx10b17.tar.gz (for Linux) Please read the Installation Notes And, of course, read and follow the copyright and license instructions of the two products. Have a look at: Java page Liquid Reality page