The package Pep2Pnk.tgz includes the modules to: - import PEP files into the PNK - export PNK nets into PEP files. It contains following files: ST_Spec_LLPep.py HL_Spec_MNet.py simulateLLPep.py ParsePep.py ParseHLPep.py importPep.py importHLPep.py exportPep.py exportHLPep.py WritePep.py LLPep.py HLPep.py Readme.txt There are also some PEP and PNK nets in the sub directory Samples. The modules are written by Mike Wernicke (wernicke@informatik.hu-berlin.de). There is a documentation (in german) of the modules under http://www.informatik.hu-berlin.de/top/pnk/literatur.html Installation: Please install python and the PNK (version 2.0.3 or higher) first. You will find further informations about the PNK under http://www.informatik.hu-berlin.de/top/pnk Copy the file Pep2Pnk.tgz in a directory of your choice (e.g. ~/PNK/Application/PEP) and uncompress it by the command: tar xzvf Pep2Pnk.tgz. If you want to use these Modules from everywhere you have to add this directory to your PATH and PYTHONPATH environment variables. Add a symbolic link of the excecutable python to /usr/local/bin/python . Applications: There are two window based applications called LLPep and HLPep. These applications use the PNK editor for displaying the actual PNK net. The application LLPep is for imports and exports of low level nets. Usage of LLPep: LLPep.py [specification] or python LLPep.py [specification] where specification - declares the used PNK specification, default is the specification ST_Spec_LLPep from this package. The application HLPepFor is for imports and exports of high level nets. Usage of HLPep: HLPep.py [specification] or python HLPep.py [specification] where specification - declares the used PNK specification, default is the specification HLG_MNet_Specification from this package. There are four applications running without any user interaction, they may be used in shell scripts. Warning: Any graphical information will be lost in the new files using these applications ! The import of a PEP low level net could be done by : importPep.py pepfile [pnknetz [specification]] or python importPep.py pepfile [pnknetz [specification]] where pepfile - is the name of the file (including the path) of the PEP net to import from, pnknetz - is the name of the file (including the path) of the PNK net which is to create, an existing one will be overwritten, default is "Test.net", specification - declares the used PNK specification, default is the specification ST_Spec_LLPep from this package. The export to a PEP low level net could be done by : exportPep.py pnknetz [pepfile [specification]] or python exportPep.py pnknetz [pepfile [specification]] where pnknetz - is the name of the file (including the path) of the PNK net to export from, pepfile - is the name of the file (including the path) of the PEP net which is to create, an existing one will be overwritten, default ist "Test.ll_net", specification - declares the used PNK specification, has to be the one which the PNK net was created with, default is the specification ST_Spec_LLPep from this package. The import of a PEP high level net could be done by : importHLPep.py pepfile [pnknetz [specification]] or python importHLPep.py pepfile [pnknetz [specification]] where pepfile - is the name of the file (including the path) of the PEP net to import from, pnknetz - is the name of the file (including the path) of the PNK net which is to create, an existing one will be overwritten, default is "Test.net", specification - declares the used PNK specification, default is the specification HLG_MNet_Specification from this package. The export to a PEP high level net could be done by : exportHLPep.py pnknetz [pepfile [specification]] or python exportHLPep.py pnknetz [pepfile [specification]] where pnknetz - is the name of the file (including the path) of the PNK net to export from, pepfile - is the name of the file (including the path) of the PEP net which is to create, an existing one will be overwritten, default ist "Test.ll_net", specification - declares the used PNK specification, has to be the one which the PNK net was created with, default is the specification HLG_MNet_Specification from this package. Interface: There are some interface functions for programers who want to use these modules in their own programs. To parse a PEP low level file you can use the module ParsePep.py. Import the module to your Python code by import ParsePep and where you want to read the file call pep_net = ParsePep.ParseLLPep (pep_filename) where pep_filename - is the name of the file (including the path) of the PEP net to parse into pep_net. To parse a PEP high level file you can use the module ParseHLPep.py. Import the module to your Python code by import ParseHLPep and where you want to read the file call pep_net = ParseHLPep.ParseHLPep (pep_filename) where pep_filename - is the name of the file (including the path) of the PEP net to parse into pep_net. If you want to use the created object pep_net you will to have a deeper look at the module and the classes defined in. To import a PEP low level net into a PNK net you can use the module importPep.py. To import a PEP high level net into a PNK net you can use the module importHLPep.py. Import the module to your Python code by import importPep or import importHLPep (for importing a high level net) and import the net with importPep.import_pep_ST(net, filename) or importHLPep.import_pep_HL(net, filename) where net - is the PNK net to fill, there is no test wether the net is empty filename - is the name of the file (including the path) of the PEP net to import from To export a PNK low level net into a PEP net you can use the module exportPep.py. To export a PNK high level net into a PEP net you can use the module exportHLPep.py. Import the module to your Python code by import exportPep or import exportHLPep (for exporting an high level net) and export the net with exportPep.export_pep_ST(net, filename) exportHLPep.export_pep_HL(net, filename) where net - is the PNK net to export from, filename - is the name of the file (including the path) of the PEP net which is to create, an existing one will be overwritten.