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

.pdl

Verweilzeiten der Marken auf den Plätzen bzw. Platzfarben

.itm

Initiale Uhrenstellungen

.pri

Prioritäten

.cap

Kapazitäten

.red

Reduktionsresultate

.exc

Reduktionsausnahmen

.res

Resultate allgemein

.inv

Invarianten

.hlp

Hilfsdatei mit unformatierte Invarianten

.gra

Graphen

.tre

Bäume

.val

Bewertungen