jbeard4

procedure enterStates(enabledTransitions):
    statesToEnter = new OrderedSet()
    statesForDefaultEntry = new OrderedSet()
    for t in enabledTransitions:
        if t.target:
            LCA = findLCA([t.source].append(getTargetStates(t.target)))
            
            addStatesToEnter(getTargetStates(t.target),LCA,statesToEnter,statesForDefaultEntry)

            if isParallelState(LCA):

jbeard4

<scxml xmlns="http://www.w3.org/2005/07/scxml" profile="ecmascript" version="1.0" name="scxmlRoot">
	<initial>
		 <transition target="P"/>
	</initial>

	<parallel id="P">
		 <history id="H" type="deep"/>

		 <state id="A" initial="A1">
			<state id="A1">

jbeard4

<scxml xmlns="http://www.w3.org/2005/07/scxml" profile="ecmascript" version="1.0" name="scxmlRoot">
	<initial>
		 <transition target="A2 B2"/>
	</initial>

	<parallel id="P">

		 <state id="A" initial="A1">
			  <state id="A1"/>

jbeard4

procedure addStatesToEnter(s,root,statesToEnter,statesForDefaultEntry):
    if isHistoryState(s):
         if historyValue[s.id]:
             for s0 in historyValue[s.id]:
                  addStatesToEnter(s0,getParent(s),statesToEnter,statesForDefaultEntry)
         else:
             for t in s.transition:
                 for s0 in getTargetStates(t.target):
                     addStatesToEnter(s0,getParent(s),statesToEnter,statesForDefaultEntry)
    else:

jbeard4

<scxml initial="p">

	<parallel id="p">

		<history id="h">
			<transition target="A.2 B.2"/>
		</history>

		<state id="A" initial="A.1">
			<state id="A.1"/>