Graphical Interface for Representation of LTS