SYNET
: a Petri-net synthesis tool.
TGV
: a tool for the generation of conformance test suites for protocols.
UMLAUT
: the Unified Modeling Language All pUrposes Transformer.
