as2fm.jani_generator.jani_entries.jani_composition

This allows the composition of multiple automata in jani.

Classes

JaniComposition([composition_dict])