P I n A ' s home page

last updated: April 03, 2007

Index:

general description
related papers
download and execution
related software (export)
bug reports

G e n e r a l D e s c r i p t i o n

PInA is a software tool for computation and analysis of invariants of place/transition nets.

The tool is the result of a joined project between the research groups

"Bioinformatics", FB V, Technical University of Applied Sciences (TFH) Berlin,
"Data Structures and Software Dependability", Dep. of Computer Science, Brandenburg University of Technology (BTU) in Cottbus, and
"Network Analysis", Leibniz Institute of Plant Genetics and Crop Plant Research (IPK) in Gatersleben.

The tool is in use for the verification of technical systems, especially software-based systems, as well as for the validation of natural systems, i.e. biochemcial networks as metabolic, signal transduction, gene regulatory networks, compare [poster "overview on the research activities of our working group"].

Main Features

computation of p- and t-invariants
statistical analysis
computation of dependent transition sets/MCT-sets, see related papers
cluster analysis
imports/exports from/to other tools, see related software

R e l a t e d P a p e r s

Winder, K.:
Invariant-supported Petri Net Structuring (in German), 2006
Sackmann, A.; Heiner, M.; Koch, I.:
Application of Petri net based analysis techniques to signal transduction pathways, 2006

D o w n l o a d and E x e c u t i o n

download PInA.zip (03.04.2007)
decompress the downloaded file in any folder
add the path to the file PinaProject.jar to the CLASSPATH
run PInA with: java -jar PinaProject.jar

R e l a t e d S o f t w a r e

Snoopy - our hierarchical Petri net editor. Snoopy is able to visualize given node sets (e.g. place/transition invariants, dependent transition sets, MCT-sets).
WiDA - Wilmascope for Distance Analysis - can be used to evaluate t-invariants.
WiDA is based on Wilmascope and has been developed at the IPK Gatersleben.
INA - the Integrated Net Analyzer - is used to analyze the Petri nets produced by Snoopy. The tool has been developed at the Humboldt University in Berlin, Dep. of Computer Science, "automata theory" over about 20 years. So it shouldn't be a big suprise that it comes along with a pure ASCII user interface only. PInA can read invariants computed by INA or compute the invariants on its own.
- INA for Windows
- INA for Linux
- INA manual (not necessarily required)
Recommendations for Windows users:
- rename INAwin32.exe to ina.exe
- write the ina.exe to the same folder as snoopy.exe or better: add the directory, where ina.exe is located, to the PATH system variable
- start INA in the command line of the DOS window by typing ina.exe

C o n t a c t

pina(at)informatik(dot)tu-cottbus(dot)de