ltl_format - selt command files formatPart 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
ltl is the format of files accepted as use input by the selt model-checker. Check the selt manual page for a full description.
(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 | ltl_format (n) | Version 2.9.10 |