State of evaluation:
eval
Submission Category:
department project
Discipline:
computer science
The program is mainly used in:
Petri nets, distributed algorithms, concurrent sys
Programming Environment based on Petri nets
PEP is designed for academia and safety critical industries tographically support concurrent system development. Combining modelling,simulation and verification of Petri nets and programs is unique.
Name:
Grahlmann
First Name:
Bernd
Institution:
Universit”t Hildesheim, Institut f¸r Informatik
Street:
Marienburger Platz 22
Zip-Code:
D-31141
City:
Hildesheim
Country
Germany
Phone:
(+49) 05121 / 883 - 760 (-740)
Fax:
(+49) 05121 / 860 475
E-Mail:
bernd@informatik.uni-hildesheim.de
Hard- and software needed to run the program:
Computer type and processor:
SUN Sparc or PC (486 or higher)
Graphic device:
Some features of the tool can only be appreciated with a color device.
RAM:
16 MByte or more
Harddisk space:
10 MByte + Data (for one version)
Other harware needed:
Operating system and shell:
SUN OS 4.1.3 / Solaris 2.3 or 2.4 / Linux
Other software needed:
Tcl 7.4 with patch p1 and p2, Tk 4.0 with patch p1, Tcl-DP 3.2
Remarks:
SUN: PEP uses the X version provided by Openwindowswith 4.1.3: If you do not have 4.1.3_U1 you need libc.so.1.9Linux: PEP is compiled with the S.u.S.E distribution (August 1995) using X11R6. It wa
as tested on some other distributions with X11R6.
