http://docs.oasis-open.org/wsdm/2004/12/muws/wsdm-muws-part2.xsd
element PreviousState

Model

<PreviousState>
(any element from any namespace)?
</PreviousState>

Disallowed substitutions (block)

none (extensions, restrictions and substitutions are allowed)

Substitution group exclusion (final)

none (extensions and restrictions are allowed)

Content Type

declared with type StateType
element-only content, not nillable.

Usage

This element can be the root element of XML instance documents.
This element can be the child of element StateTransition.