tina_formats - file formats of the Tina ToolboxPart of Tina Toolbox for analysis of Petri nets and Time Petri nets (see also nd, tina, plan, struct, ktzio, selt).
Description
Examples
See Also
Authors
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
Time Transition System format, input format of tina/struct/plan (not yet supported by nd):
tts.txt .tts Time Transition System 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)
(see example files in the "net" directory of distributions).
nd, tina, plan, struct, ktzio, selt
Bernard Berthomieu, LAAS/CNRS, 2000-2010, Bernard.Berthomieu@laas.fr.
Tina Formats | tina_formats (n) | Version 2.9.10 |