3c), or by using an OR logic symbol (Fig. 3d). Fourth, when the numbers of combinatorial states and associated state transitions are too large to be represented within the diagram, such a sub ...