2.3.2 File extensions

By default, INA uses the following extensions:

.pnt

Net description of a place/transition net (see chapter 2.3.4 starting on page )

.cnt

Net description of a coloured net (see chapter 2.3.4 starting on page )

.mar

Marking of a net

.tim

Time intervals of transitions or transition colours

.tmd

Firing durations of transitions or transition colours

.atm

Time intervals of arcs

.icp

Initial clock positions for places

.ict

Initial clock positions for transitions

.pri

Priorities

.cap

Capacities

.red

Reduction results

.exc

Reduction exceptions

.val

Values

.inv

Invariants

.hlp

Auxiliary file with unformatted invariants

.res

General results

.tra

Trace (path) to a state

.sta

Set of states

.cir

Circuits

.pdc

Predicates

.ctl

CTL-formulae

.prf

Proofs