ktz_format - Binary 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 ktz format is the binary format for kripke transition system (kts) of tina. That compact format is the input format of selt (the tina SE-LTL model checker) and other forthcoming tools.
(description to be provided).
(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 | ktz_format (n) | Version 2.9.10 |