Manual Reference Pages  - tina_formats (n)

NAME

tina_formats - file formats of the Tina Toolbox

Part of Tina Toolbox for analysis of Petri nets and Time Petri nets (see also nd, tina, plan, struct, ktzio, selt).

CONTENTS

Description
Examples
See Also
Authors

DESCRIPTION

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)

EXAMPLES

(see example files in the "net" directory of distributions).

SEE ALSO

nd, tina, plan, struct, ktzio, selt

AUTHORS

Bernard Berthomieu, LAAS/CNRS, 2000-2010, Bernard.Berthomieu@laas.fr.


Tina Formats tina_formats (n) Version 2.9.10
Generated by manServer 1.07 from formats/tina_formats.n using man macros.