<?xml version="1.0" encoding="UTF-8"?>
<scxml xmlns="http://www.w3.org/2005/07/scxml" version="1.0" initial="SUBMITTED">
  <state id="SUBMITTED">
    <transition target="PAID" event="OrderEvents.PAY"/>
    <transition target="CANCELED" event="OrderEvents.CANCEL" cond="λ"/>
    <transition target="SUBMITTED" event="OrderEvents.ABCD"/>
    <transition target="PAID2" cond="λ">
      <!-- order=0 -->
    </transition>
    <transition target="PAID3">
      <!-- order=1 -->
    </transition>
  </state>
  <state id="PAID">
    <transition target="FULFILLED" event="OrderEvents.FULFILL"/>
    <transition target="CANCELED" event="OrderEvents.CANCEL"/>
    <transition target="PAID1" cond="λ">
      <!-- order=0 -->
    </transition>
    <transition target="PAID2" cond="guard1">
      <!-- order=1 -->
    </transition>
    <transition target="HAPPEN" cond="λ">
      <!-- order=2 -->
    </transition>
    <transition target="PAID3">
      <!-- order=3 -->
    </transition>
  </state>
  <state id="FULFILLED">
  </state>
  <state id="CANCELED">
  </state>
  <state id="PAID2">
    <transition target="CANCELED"/>
  </state>
  <state id="PAID3">
    <transition target="CANCELED"/>
  </state>
  <state id="PAID1">
    <transition target="PAID1" event="OrderEvents.ABCD"/>
  </state>
  <state id="HAPPEN">
  </state>
</scxml>

