Added skeleton for the implementation of input output transition systems
Removed unused constructor
Started working on the implementation
Coded Abstract class for nondeterministic LTS
Fixed some warnings
Changed from generic I (inputs) to L (label)
Added interface for input/output labels
Added classes handling labels as inputs and outputs, for labelled
transition systems
Added DOT helper for LTS
Changed behaviour of newly defined labels when calling toString() method
Fixed a bug in the method that creates new transitions: the target state
was not set correctly.
Added an example for creating LTS