The beta4 is available.
Yes, PEP is still under development. And: We left the alpha stage!
Here are some of the highlights of PEP 2.0:
- Ported PEP to Windows(tm) using cygwin!
- Time Petri nets are supported in many tools including high- and lowlevel net editors,
algebras and analyser. There is now support for infinity as time bound: Write inf instead of a number.
- PEP features a graphical SDL editor. It's still under development but
may be useful if you don't have some hundreds of Dollars to spend on commercial tools.
- New analyser for linear programming verification with dramatic speed up.
- New analysers mcsmodels, PROD and DSSZ (CTL/LTL) included.
- Analyssers LoLA, romeo, tina supported.
- Completely rewritten interface to INA.
- Improved and reviewed GUI using Tcl/Tk 8.4 providing better
speed and usability with much less errors.
- I/O interface for PEP file formats redone using a single
library for easier integration of PEP file import and export.
- Support for PNML files for analysis tools (no editor support, yet). You will need libxml2 library for this!
- No license files anymore, PEP is Open Source under the GPL.
- And much more, just check it out !
-
-
User Documentation (for the older versions, not complete):
-
-
Documentation and User Guide (including theoretical background,
but unfortunately not up-to-date):
-
-
Format Descriptions:
-
PEP is now hosted at SourceForge!
Please download the files there.
The external tools used in PEP are available in a separate tar file. The new version 1.2.0 contains new model checker (DSSZ) and some new versions of previously contained tools. Please download the file corresponding to your system:
If you want to compile the tools on your own you should download the PEP sources, enter the externals directory and issue make download && make
Installation
If you'd like to check out new features of PEP or join the PEP team as a
tester you are encouraged to install this version, following this short guide:
- Download and extract the tar file.
A directory 'pep' containing the needed files will be created.
- Edit the file pep/bin/peptool to get the correct paths:
- Set the environment variable PEPHOME pointing to the directory 'pep'
just created.
- Set the environment variables TCL_LIBRARY and TK_LIBRARY to the directories containing
the correct version of init.tcl and tk.tcl (resp.).
You may find appropriate version of Tcl/Tk at Tcl Developer Xchange
- You need libxml2 on your system. If this library is not available, create your own and copy
libxml2.so into pep/bin.
- Now you should be able to invoke 'peptool' and use the new version of PEP.
If you encounter ANY problems regarding the installation and/or use of PEP
you should submit a bug report of support request on the SourceForge pages,
and you may in addition contact
PEP Development
directly.
A short introduction how to compile the sources is available.
Back to the home pages
Christian Stehno pep_help@informatik.uni-oldenburg.de, 28.05.2004
