| <?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> |
