Tina Toolbox Changelog

What's new in Tina Toolbox 3.4.4

Jan 6, 2016
  • tts exceptions are now handled by sift and play rather than by tts libraries, with more helpful error messages.

New in Tina Toolbox 3.4.0 (Jul 10, 2015)

  • The pnml parser is now much faster;
  • When requested to compute semiflows on places, the struct tool now prints the ponderated initial marking for each place invariant, following each semiflow. An additional flag has been added to struct, -safe, that checks using semiflows a sufficient condition for safeness of the net;
  • The experimental symbolic mode of sift (sift -Z, relying on set decision diagrams) has been moved to a forthcoming tool dedicated to decision diagram based methods (tedd).
  • The nd editor provides a support for annotations in graphic descriptions, for both nets and automata, and in textual net descriptions, see files nets/annotations_examples/* in the distribution for some examples.

New in Tina Toolbox 3.3.0 (Aug 27, 2014)

  • Functionally identical to 3.2.2 but slightly faster thanks to some optimizations of memory management. Some minor fixes to the nd editor.

New in Tina Toolbox 3.2.2 (Jun 17, 2014)

  • The graphic editor benefits of some improvements, notably: graphic descriptions can now be printed in pdf format.
  • graphic transformations have been added to menu Edit (h/v flips, rotations, zooming).

New in Tina Toolbox 3.2.0 (Nov 14, 2013)

  • The toolbox underwent a major refactoring work following the recent introduction of several tools. The new source organization favors modularity and ease of maintenance; performances should be similar or slightly better than those of version 3.1.0;
  • Other changes include:
  • Some algorithmic improvements of the timed modes of tool sift. Also added ktz output for modes -M/-E (state classes under time domains inclusion). In such modes, the ktz file only captures states (but no paths), each with a loop for each transition firable from the state. This allows one to check reachability and quasi-liveness properties on such constructions using the muse model checker;
  • Discrete time constructions in tina and sift (modes -D and -F) now allow strict interval bounds;
  • Updated pnml parser/printer; the tools reading pnml should now be able to read all single-page P/T pnml files;
  • All uncovered bugs have been fixed;

New in Tina Toolbox 3.1.0 (Jan 8, 2013)

  • Mostly a maintenance release.
  • Improved computation of fixpoints in muse model checker. Fixed mode -A of tina (could disagree with mode -U). Added conversion from ktz to concurrency workbench format to ktzio. Minor fixes in nd.

New in Tina Toolbox 3.0.6 (Nov 16, 2012)

  • Fixed compression bug in sift affecting modes -D and -F[1];