INA

INA (Integrated Net Analyser) is a Petri Net Analysis Tool.

Environment:

MS-DOS, Sun-Unix

Origin:

FB Informatik, Humboldt-Universität Berlin, Germany

Kind of Nets supported:

Place/Transition Nets (P/T) and Coloured Petri Nets (CPN) with time and priorities

Functionalities:

Textual EDITOR
By hand SIMULATION
ANALYSIS:
- Analysis of STRUCTURAL PROPERTIES such as liveness, safeness, boundedness, coverability, conservativeness, deadlocks and traps, State Machine Decomposability
- Checks if the net is an Ordinary Petri Net, Free Choice, State Machine or a Marked Graph
- Computation of REACHABILITY GRAPH and COVERABILITY GRAPH
- P-/T-INVARIANTS
- Stubborn and Symmetric REDUCTIONS
- UNFOLDING of Coloured Petri Nets

Availability:

POLICY: DEMO-disk for MS-DOS available by anonymous ftp
CONTACT Prof. Dr. Peter Starke

References:

Tool description at DAIMI
P. H. Starke: Analyse von Petri-Netz-Modellen [sta90]
P. H. Starke: PAN/CPNA: Petri-Netz-Analyse-Werkzeuge [sta91]

Notes:

INA is a successor of the following tools: Petri Net Machine (1986), PAN (1988), CPNA (1989), ATNA (1991).