Revision control

++ <?xml version="1.0" encoding="UTF-8"?>
++ <!--
++ Copyright 2011-2012 Jacob Beard, INFICON, and other SCION contributors
++
++ Licensed under the Apache License, Version 2.0 (the "License");
++ you may not use this file except in compliance with the License.
++ You may obtain a copy of the License at
++
++
++ Unless required by applicable law or agreed to in writing, software
++ distributed under the License is distributed on an "AS IS" BASIS,
++ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
++ See the License for the specific language governing permissions and
++ limitations under the License.
++ -->
++ <!--
++ Illustrates one of the edge cases of these semantics. Because initial transition will be taken in its own small step, triggered event "s" will be "lost" - not availble in the next small step from b1. Will therefore end up in b3.
++ -->
++ <scxml
++ datamodel="ecmascript"
++ initial="a"
++ version="1.0">
++
++ <state id="a">
++ <transition target="b" event="t">
++ <raise event="s"/>
++ </transition>
++ </state>
++
++ <state id="b" initial="b1">
++ <state id="b1">
++ <transition event="s" target="b2"/>
++ <transition target="b3"/>
++ </state>
++
++ <state id="b2">
++ </state>
++
++ <state id="b3">
++ </state>
++ </state>
++ </scxml>
++
++
++