Скачиваний:
20
Добавлен:
05.04.2013
Размер:
2.09 Кб
Скачать
CHANGES FROM V2.3 to V2.4 :

* tina : removed mode -A; renamed mode -U into -A;
* tina : speed improvements for modes -W, -Wm, -A
* nd : added print parameter box; improved transition attributes box;
* bug fixes;


CHANGES FROM V2.2 to V2.3 :

* generalized static intervals [from 2.3.6];
* name changes for tina options, -U/-P/-B become -P/-V/-U;
* faster implementation of tina -S, -Sa, -A, -U;
* tina -S, -Sa, -A, -U support unbounded LFTs;
* speed improvements for tina -R, -P, -V, -Q;
* bug fixes and minor improvements throughout;


CHANGES FROM V2.1 to V2.2 :

* new analysis capabilities for tina, added options:
-U : persistent set graph
-Qb, -Qp, -Qh : (experimental), merge persistent sets and covering steps
-B : (experimental) alternative to -A;
* speed improvements for options -S and -A.
* robustness improvements for nd, added syntactical checks
* added syntactical check tools for textual descriptions.


CHANGES FROM V2.0 to V2.1 :

* new analysis capabilities for tina, new command line, added options:
-R the (untimed) reachability graph
-C the coverability graph (cf. Karp/Miller)
-P the covering step graph (cf. Vernadat)
-W the state class graph (standard interpretation)
-Wm the state class graph (multi-enabledness interpretation)
-S the strong state class graph
-A the atomic state class graph
* new limit settings : optional bounds may be set on the markings of
places (-b n) and on multi-enablesness of transitions (-m n);
* added automata output option;

* numerous improvements of nd favoring robustness;
* may now edit either nets or automata (click help for details);
* nets or automata may be resized (click help for details);
* tools create their results in windows rather than files;
* added drawing capabilities through the draw/textify button.
Since it is difficult to obtain nice drawings for all nets or automata,
interfaces are builtin for three node placement engines : graphplace,
dot and neato (see file INSTALL). graphplace and dot are best for
drawing dags, neato is best for drawing graphs (with cycles).

Соседние файлы в папке doc