These files describe the formats of files used by the Tina tools:

Time Petri nets formats, input format of tina/struct/plan/nd:

net.txt  	.net 	Time Petri nets textual format
ndr.txt  	.ndr 	Time Petri nets graphic format
tpn.txt		.tpn 	Time Petri nets script format
pnml.txt	.pnml 	Time Petri nets pnml format

Transition system formats, output formats of tina:

aut.txt  	.aut 	Transition systems textual format (CADP format)
ktz.txt  	.ktz 	Kripke transition systems binary format (tina)
bcg.txt		.bcg 	Transition systems binary format (tina for CADP)
mec.txt		.mec 	Kripke transition systems textual format (tina for MEC4)

Miscellaneous:

adr.txt  	.adr 	Transition systems graphic format (nd)
ltl.txt  	.ltl 	Selt SE-LTL model checker commands (selt)
scn.txt		.scn 	Format of firing sequences and firing schedules,
			(selt, plan, nd stepper history files)
