Symbolic Representation of Directional Control Valves