MCC 2024 stable

A release (almost) aligned with the MCC submission in 2024.

ITS-Tools stable release 02-2024

Requires Java 17.
Use the binary package to obtain the update site and command line versions (all platforms).

ITSTools stable release, 2023-03

A stable release aligned with MCC submission for 2023.

ITSTools stable release, 2022-10

Version aligned with eclipse 2022-09 simultaneous release.
Contains some small patches for errors detected in MCC2022 and a few new features for the command line such as "--analyze-sensitivity" and "--reduce MODE".

Release also contains its-tools command-line version for all three supported platforms (linux/win/osx)

ITS-Tools stable release, 2022-05

A stable release consistent with MCC 2022 @ Petri nets competition submission.

This "release" contains an eclipse update site, download, decompress then point your "Eclipse->Help->Install New software" to the decompressed folder.