<cfmps>
    <pmpg>
        <id>P</id>
        <states>
            <state>
                <id>0</id>
                <attributes>
                    <isInitial>true</isInitial>
                </attributes>
            </state>
            <state>
                <id>1</id>
            </state>
            <state>
                <id>2</id>
            </state>
            <state>
                <id>end</id>
            </state>
        </states>
        <transitions>
            <transition>
                <sourceId>0</sourceId>
                <targetId>1</targetId>
                <label>a</label>
                <attributes>
                    <isMust>true</isMust>
                </attributes>
            </transition>
            <transition>
                <sourceId>0</sourceId>
                <targetId>end</targetId>
                <label>c</label>
                <attributes>
                    <isMust>true</isMust>
                </attributes>
            </transition>
            <transition>
                <sourceId>1</sourceId>
                <targetId>2</targetId>
                <label>P</label>
                <attributes>
                    <isMust>true</isMust>
                    <isProcedural>true</isProcedural>
                </attributes>
            </transition>
            <transition>
                <sourceId>2</sourceId>
                <targetId>end</targetId>
                <label>b</label>
                <attributes>
                    <isMust>true</isMust>
                </attributes>
            </transition>
        </transitions>
    </pmpg>
</cfmps>