<?xml version="1.0" encoding="UTF-8"?>
<uml:Package xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="_FPwgMdhdEd-EooXtKWH3Ag">
  <elementImport xmi:id="_FVmCcNhdEd-EooXtKWH3Ag">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/>
  </elementImport>
  <elementImport xmi:id="_FVulUNhdEd-EooXtKWH3Ag">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
  </elementImport>
  <elementImport xmi:id="_FVulUdhdEd-EooXtKWH3Ag">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#UnlimitedNatural"/>
  </elementImport>
  <elementImport xmi:id="_FVulUthdEd-EooXtKWH3Ag">
    <importedElement xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
  </elementImport>
  <packagedElement xmi:type="uml:StateMachine" xmi:id="_LIGzoNhdEd-EooXtKWH3Ag" name="TrafficLight StateMachine">
    <region xmi:id="_LKv38NhdEd-EooXtKWH3Ag" name="Region">
      <subvertex xmi:type="uml:State" xmi:id="_Q_6iQNhiEd-EooXtKWH3Ag" name="Operational">
        <region xmi:id="_RADsMNhiEd-EooXtKWH3Ag" name="Region">
          <subvertex xmi:type="uml:State" xmi:id="_NrNCgNhdEd-EooXtKWH3Ag" name="Stop"/>
          <subvertex xmi:type="uml:Pseudostate" xmi:id="_MQIysNhdEd-EooXtKWH3Ag"/>
          <subvertex xmi:type="uml:State" xmi:id="_w_YlANhhEd-EooXtKWH3Ag" name="End of Stop"/>
          <subvertex xmi:type="uml:State" xmi:id="_zsGp8NhhEd-EooXtKWH3Ag" name="Go"/>
          <subvertex xmi:type="uml:State" xmi:id="_1o1cYNhhEd-EooXtKWH3Ag" name="Start of Stop"/>
          <transition xmi:id="_fWN5cNhiEd-EooXtKWH3Ag" source="_MQIysNhdEd-EooXtKWH3Ag" target="_NrNCgNhdEd-EooXtKWH3Ag"/>
          <transition xmi:id="_gUjJ8NhiEd-EooXtKWH3Ag" source="_NrNCgNhdEd-EooXtKWH3Ag" target="_w_YlANhhEd-EooXtKWH3Ag"/>
          <transition xmi:id="_j7A6UNhiEd-EooXtKWH3Ag" source="_w_YlANhhEd-EooXtKWH3Ag" target="_zsGp8NhhEd-EooXtKWH3Ag"/>
          <transition xmi:id="_mze8QNhiEd-EooXtKWH3Ag" source="_zsGp8NhhEd-EooXtKWH3Ag" target="_1o1cYNhhEd-EooXtKWH3Ag"/>
          <transition xmi:id="_nhyzwNhiEd-EooXtKWH3Ag" source="_1o1cYNhhEd-EooXtKWH3Ag" target="_NrNCgNhdEd-EooXtKWH3Ag"/>
        </region>
      </subvertex>
      <subvertex xmi:type="uml:State" xmi:id="_-j7SoNhiEd-EooXtKWH3Ag" name="Failed"/>
      <subvertex xmi:type="uml:Pseudostate" xmi:id="_EB8agNhjEd-EooXtKWH3Ag"/>
      <transition xmi:id="_y1KlcNhiEd-EooXtKWH3Ag" source="_-j7SoNhiEd-EooXtKWH3Ag" target="_Q_6iQNhiEd-EooXtKWH3Ag"/>
      <transition xmi:id="_zmwacNhiEd-EooXtKWH3Ag" source="_Q_6iQNhiEd-EooXtKWH3Ag" target="_-j7SoNhiEd-EooXtKWH3Ag"/>
      <transition xmi:id="_FfLNgNhjEd-EooXtKWH3Ag" source="_EB8agNhjEd-EooXtKWH3Ag" target="_-j7SoNhiEd-EooXtKWH3Ag"/>
    </region>
  </packagedElement>
</uml:Package>
