mec_format - Textual format for Kripke 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 mec format is the kts description format of the Mec4 model checker.
Notes
mec only allows alphanumeric labels (a letter followed by letters, digits or _) to appear as state or transition properties. tina will refuse to generate .mec descriptions if place or transition names are not legal mec property identifiers.
(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 | mec_format (n) | Version 2.9.10 |