This allows the composition of multiple automata in jani.
Classes
JaniComposition([composition_dict])
JaniComposition