inaControl

Petri Net Kernel application for analysing Place/Transition Nets with the 
help of the Petri net tool INA

Copyright (C) 2004 Yvonne Gabriel (gabriel@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 application InaControl.[java|class] can be used to analyse Place/Transition Nets by the Petri net tool INA. It only works together with the component pnt2pnk (Download: http://www.informatik.hu-berlin.de/top/pnk/download/applications/pnt2pnk.zip; old versions are defective!) and with the INACommandFileGenerator (Download: http://www.informatik.hu-berlin.de/top/download/ICFG.zip).

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

The example PNK tool InaApp.xml reads and writes both INA files and PNML
files and analyses nets via INA.


Links
-----

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

Files
-----

   README.inaControl		- this file
   config/InaControl.properties
                  - property-file for InaControl
   de/huberlin/informatik/pnk/app/InaControl*.class
                  - the applications class files
   de/huberlin/informatik/pnk/app/InaControl.java
                  - the applications source files
   de/huberlin/informatik/pnk/app/InaControlProps.class
                  - class file for reading properties
   de/huberlin/informatik/pnk/app/InaControlProps.java
                  - source file for reading properties
   InaControl.doc/*     - API documentation for InaControl
   sampleNets/InaBsp.pnml
                  - an example Place/Transition Net in PNML
   sampleNets/InaBsp.pnt
                  - same net in INA-file-format
   toolSpecifications/InaApp.xml
                  - an example PNK tool using the new application


Install
-------

- Download INAtool.zip
- Extract the archive into same directory as PNK
- Adapt path-declarations in file config/InaControl.properties


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

Call java as follows:
$> java -jar PNK2classes.jar toolSpecifications/InaApp.xml


Usage
-----

The PNK application InaControl can be used in PNK tools
which deal with Place/Transition nets (for example nets of type
PTNet which is described in netTypeSpecifications/PTNet.xml) and
contain the component pnt2pnk. The INACommandFileGeneratot must
be installed in the same directory as the PNK (so they have de/huberlin/informatik in common).


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

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