The package below contains the coffee machine network of automata from the paper, in all four variants. To download MoMuT::TA (including some examples with single timed automata), please visit the download section. Note that the current release only works in 64bit Windows.
To run an example, use a command similar to the following, that executes the tool on coffee_3 (the coffee machine with three choices) with maximum depht 5.
java -jar MoMuT-TA.jar -d 5 -det outputfile.xml coffee_3.xml
It might also be advisable to increase the java heap space with an “-Xmx” command.
The examples can be downloaded here.