<?xml version="1.0" encoding="UTF-8"?><!-- we test 'optimally enabled set', specifically that preemption works correctly --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="ecmascript">
  <datamodel>
   <data id="Var1" expr="0"/>
   </datamodel>
   
<state id="s0" initial="p0">
  <onentry>
     <raise event="event1"/>
     <send event="timeout" delay="1s"/>
    </onentry>
  <transition event="event2" target="fail"/>   
  <transition event="timeout" target="fail"/>
   
 <parallel id="p0">
 	
 	<state id="p0s1">
 		<transition event="event1"/>
 		<transition event="event2"/>
 		</state>
 
 <state id="p0s2">
   <transition event="event1" target="p0s1">
     <raise event="event2"/>
     </transition>
     
   </state>
   
 <state id="p0s3">
   <!-- this transition should be blocked by the one in p0s2-->
   <transition event="event1" target="fail"/>
   <!-- this transition will preempt the one that p0s2 inherits
   from an ancestor  -->
   <transition event="event2" target="s1"/>

   </state> 

<state id="p0s4">
	<!-- this transition never gets preempted, should fire twice -->
	<transition event="*">
		<assign location="Var1" expr="Var1 + 1"/>
		</transition>
	</state> 
 
</parallel>
</state>

<state id="s1">
  <transition cond="Var1==2" target="pass"/>
  <transition target="fail"/>
  </state>

<final id="pass"><onentry><log label="Outcome" expr="'pass'"/></onentry></final>
<final id="fail"><onentry><log label="Outcome" expr="'fail'"/></onentry></final>
</scxml>