Throw an exception if the input has mismatching colors on the place of an arc and the expressions on the arc (i.e. variables and constants).
Likewise there should be a check that the guard of a transition has all the variables covered by expressions on the arcs.
Throw an exception if the input has mismatching colors on the place of an arc and the expressions on the arc (i.e. variables and constants).
Likewise there should be a check that the guard of a transition has all the variables covered by expressions on the arcs.