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:
Availability:
References:
Notes:
INA is a successor of the following tools: Petri Net Machine (1986), PAN (1988), CPNA (1989), ATNA (1991).

Tool List Home