And edge defining the possible transition from one state to another in jani.
Classes
JaniEdge(edge_dict)
JaniEdge