Add option to export Petri net a TINA file.