Currently the applications developed with AToM3 are included with the distribution. They include generated tools for DFAs, NFAs, Petri Nets, DFDs GPSS, among others.