Download page for ITS tools command line
Converter tool
This small tool can convert various dialects for Petri nets and properties to PNML standard for nets and MCC standard for properties.
Download the converter tool : Converter tool.
This tool is packaged as a Java 17 or better executable : run it with "java -jar fr.lip6.converter.jar".
Command line ITS-tools
Despite the ui integration of ITS-Tools with Eclipse being very nice, many scenarios involve calling the ITS-tools as part of a process,
thus are easier to write and maintain using the command line.
Plus some people just think eclipse is bloated and over-complex or have never used it, adopting it because of ITS-tools is too much.
However ITS-tools leverages many components of the eclipse platform, notably EMF and XText which made extracting our code a bit of an issue.
So due to popular demand, we are happy to present the ITS-tools command line support,
that allows to do everything we could from Eclipse, but using a plain command line and with minimal download/install hassle.
Download the its-cl ITS tools command line for Windows here : its-cl Windows (XP or later, x64).
Please note that for this windows build you need to invoke "eclipsec" command instead of "its-tools".
Download the its-cl ITS tools command line for MacOS here : its-cl OSX (Cocoa x64)
Please note that you need Java 17 or better to run these tools. Simply unzip and run "its-tools" command.
Current flags are relatively limited :
- -i FILE : specify input file, a full gal model (parameters, hierarchy, loops, properties) such as used within eclipse.
- Logic flags (only one at a time)
- -reach : check all Safety and Bounds properties of the input
- -ctl : check all CTL properties of the input
- -ltl : check all LTL properties of the input
-
-itsflags FLAGS : specify additional flags, passed as is to the actual model-checking tool. For instance
-itsflags "--trace-states -manywitness 10"
will display several counter examples.