pnt2pnk
Petri Net Kernel component for reading INA Petri net files

Copyright (C) 2002 Stephan Roch (roch@informatik.hu-berlin.de)
                   Michael Weber (mjweber@users.sourceforge.net)

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License (http://www.gnu.org/) for more details.

You should have received a copy of the GNU General Public License 
along with the Petri Net Kernel (see gpl.txt); if not please contact
Michael Weber (mjweber@users.sourceforge.net).


Purpose
-------

The component InaInOut.[java|class] can be used to load and save those
files to be read or written by the Petri net tool INA. Thus, INA files 
can be transformed to PNML with the help of the PNK.

INA is a tool package supporting the analysis of e.g. Place/Transition Nets.

The example PNK tool pnt2pnmlApp.xml reads and writes both INA files and PNML
files.  Furthermore, it adds graphical information to INA Petri nets by
using the PNK component DoNetLayout.


Links
-----

http://www.informatik.hu-berlin.de/top/pnk    -- Petri Net Kernel
http://www.informatik.hu-berlin.de/lehrstuehle/automaten/ina/
                                              -- Integrated Net Analyzer (INA)
http://www.informatik.hu-berlin.de/top/pnml/  -- Petri Net Markup Language


Files
-----

   README.pnt2pnk
                  - this file
   toolSpecifications/pnt2pnmlApp.xml
                  - an example PNK tool using the new component
   sampleNets/prodcons.pnt
                  - an example INA file
   pnt2pnk.sh
                  - shell script for starting the PNK with the
                    tool specification implemented in pnt2pnmlApp.xml
   de/huberlin/informatik/pnk/appControl/InaInOut.class
                  - the component's class file
   de/huberlin/informatik/pnk/appControl/InaInOut.java
                  - the component's source file
   pnt2pnk.doc/*
                  - API documentation for InaInOut


Install
-------

- Download pnt2pnk.zip
- Extract the archive


Run the eaxample PNK tool
-------------------------

Invoke the shell script pnt2pnk.sh.

If it fails, please try to call java directly:

  $> java -jar PNK2classes.jar toolSpecifications/pnt2pnmlApp.xml


Usage
-----

The PNK component InaInOut can be used as a file format in each PNK tool
which deals with Place/Transition nets. The PNK net type PTNet described
in netTypeSpecifications/PTNet.xml is such a net type which can be used
together with InaInOut.


Documentation
-------------

Please have a look at the API documentation for InaInOut in the
directory pnk2pnt.doc.