2.3.2 Dateiextensionen

INA benutzt standardmäßig folgende Extensionen:

.pnt

Netzbeschreibung eines Platz/Transitions-Netzes (siehe Kapitel 2.3.4 ab Seite )

.cnt

Netzbeschreibung eines gefärbten Netzes (siehe Kapitel 2.3.4 ab Seite )

.mar

Markierung eines Netzes

.tim

Zeitintervalle der Transitionen bzw. Transitionsfarben

.tmd

Schaltdauer der Transitionen bzw. Transitionsfarben

.atm

Zeitintervalle der Bögen

.icp

Initiale Uhrenstellungen für Plätze

.ict

Initiale Uhrenstellungen für Transitionen

.pri

Prioritäten

.cap

Kapazitäten

.red

Reduktionsresultate

.exc

Reduktionsausnahmen

.val

Bewertungen

.inv

Invarianten

.hlp

Hilfsdatei mit unformatierte Invarianten

.res

Resultate allgemein

.tra

Trace (Weg) zu einem Zustand

.sta

Zustandsmenge

.cir

Kreise

.pdc

Prädikate

.ctl

CTL-Formeln

.prf

Beweise