Classes
PlantUMLAutomata(jani_dict)
PlantUMLAutomata
This represents jani automata in plantuml format.