aut_format - Textual format for Labelled transition systemsPart 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
The aut format is the lts description format of the Aldebaran tool of the CADP toolset (see the CADP documents).
Notes
The .aut format does not allow double quotes (") to appear in labels. In addition tina forbids backquotes () in .aut labels. Backquotes are used by tina to encode lists of properties into single
(see example files in the "net" directory of distributions).
tina_formats, nd, tina, plan, struct, ktzio, selt
Bernard Berthomieu, LAAS/CNRS, 2000-2010, Bernard.Berthomieu@laas.fr.
Tina Formats | aut_format (n) | Version 2.9.10 |