| P
E D - a H I E R A R C H I C A L P E T R I
N E T E D I T O R |
|
O V E R V I E W |
|---|
The hierarchical Petri net editor PED provides comfortable and easy-to-use functionalities for the construction of hierarchical place/transition nets. An assignment of additional attributes like priorities, capacities, time durations and time intervals to places, transitions, and arcs is possible. By this way, many related Petri net classes, especially those which are analyzable with INA, are supported. This includes net classed with non-stochastic time assignments like time nets, timed nets, and duration interval nets.
The hierarchical concept supports both top-down (refinement) and bottom-up (coarsening) net design. An integrated hierarchie browser provides many editing and navigation features.
copy and
paste of selected net parts rotation and
alignment functionalities inhibitor
arcs, test arcs, reset arcs, many types of dotted and dashed arc types spitting and
merging of places and transitions a search
function to find net elements with specified attributes many editing
and export features are also available in the hierarchy browser coarse nodes
containing arbitrary subnets logical
nodes for communication between subnetsCurrently, the export to following analysis tools is supported:
Graphical export to
Postscript
code FrameMakerAdditionally, PED allows the invocation of self-written
export functions. In this way, you can use PED as a graphical
front end to almost every analysis and simulation Petri net tool.
|
D O C U M E N T A T I O N |
|---|
|
D O W N L O A D |
|---|
PED is free of charge for non-commercial use. Binary versions of PED Version 4.3 are available for
You need to:
Download the
binary appropriate for your architecture. Both
binaries are encoded by crypt. To obtain a key to decode the
code, you need to fill-out an user
information form containing a licence agreement, and submit your
request via email or yellow mail to one of the addresses below.If you have problems with crypt that goes with the PED distribution on your Linux box you can use Mcrypt instead. Use the following command:
mcrypt -d --bare -o scrypt -a enigma ped.crypt
E-mail to
ped(at)informatik(dot)tu-cottbus(dot)de
or write to
Prof. Dr.-Ing. Monika Heiner
Brandenburg Technical University at Cottbus
Faculty of Mathematics, Natural Sciences and Computer Science
Chair of Data Structures and Software Dependability
Postbox 10 13 44
D-03013 Cottbus (Germany)
|
|
|