Errata exists for this version of the document.
The types defined in this annex are illustrated in Figure B.3. The MyFiniteStateMachineType is a minimal example which illustrates how these Types can be used to describe a StateMachine. See OPC 10000-9 and OPC 10000-10 for additional examples of StateMachines.