cps/frameworktests/org.eclipse.viatra.examples.cps.tests/models/instances/dangling.cyberphysicalsystem

<?xml version="1.0" encoding="ASCII"?>
<cps:CyberPhysicalSystem
    xmi:version="2.0"
    xmlns:xmi="http://www.omg.org/XMI"
    xmlns:cps="http://org.eclipse.viatra/model/cps"
    identifier="testModel6504822858552">
  <appTypes
      identifier="simple.cps.app.FirstAppClass0">
    <instances
        identifier="simple.cps.app.FirstAppClass0.inst0"
        allocatedTo="simple.cps.host.SecondHostClass0.inst1"/>
    <instances
        identifier="simple.cps.app.FirstAppClass0.inst1"
        allocatedTo="simple.cps.host.SecondHostClass0.inst1"/>
    <behavior
        identifier="simple.cps.app.FirstAppClass0.sm0"
        initial="simple.cps.app.FirstAppClass0.sm0.s0">
      <states
          identifier="simple.cps.app.FirstAppClass0.sm0.s0">
        <outgoingTransitions
            identifier="simple.cps.app.FirstAppClass0.sm0.s0.t0"
            action="waitForSignal(6)">
          <targetState
              href="UNRESOLVABLE.cyberphysicalsystem#simple.cps.app.FirstAppClass0.sm0.s3"/>
        </outgoingTransitions>
        <outgoingTransitions
            identifier="simple.cps.app.FirstAppClass0.sm0.s0.t3"
            targetState="simple.cps.app.FirstAppClass0.sm0.s4"
            action="waitForSignal(3)"/>
      </states>
      <states
          identifier="simple.cps.app.FirstAppClass0.sm0.s1"/>
      <states
          identifier="simple.cps.app.FirstAppClass0.sm0.s2">
        <outgoingTransitions
            identifier="simple.cps.app.FirstAppClass0.sm0.s2.t1"
            targetState="simple.cps.app.FirstAppClass0.sm0.s1"
            action="waitForSignal(7)"/>
      </states>
      <states
          identifier="simple.cps.app.FirstAppClass0.sm0.s3">
        <outgoingTransitions
            identifier="simple.cps.app.FirstAppClass0.sm0.s3.t2"
            targetState="simple.cps.app.FirstAppClass0.sm0.s2"
            action="waitForSignal(7)"/>
      </states>
      <states
          identifier="simple.cps.app.FirstAppClass0.sm0.s4"/>
      <states
          identifier="simple.cps.app.FirstAppClass0.sm0.s5"/>
    </behavior>
  </appTypes>
  <appTypes
      identifier="simple.cps.app.SecondAppClass0">
    <instances
        identifier="simple.cps.app.SecondAppClass0.inst0"
        allocatedTo="simple.cps.host.SecondHostClass0.inst2"/>
    <behavior
        identifier="simple.cps.app.SecondAppClass0.sm0"
        initial="simple.cps.app.SecondAppClass0.sm0.s0">
      <states
          identifier="simple.cps.app.SecondAppClass0.sm0.s0">
        <outgoingTransitions
            identifier="simple.cps.app.SecondAppClass0.sm0.s0.t1"
            targetState="simple.cps.app.SecondAppClass0.sm0.s2"
            action="waitForSignal(7)"/>
        <outgoingTransitions
            identifier="simple.cps.app.SecondAppClass0.sm0.s0.t2"
            targetState="simple.cps.app.SecondAppClass0.sm0.s1"
            action="waitForSignal(7)"/>
      </states>
      <states
          identifier="simple.cps.app.SecondAppClass0.sm0.s1">
        <outgoingTransitions
            identifier="simple.cps.app.SecondAppClass0.sm0.s1.t4"
            targetState="simple.cps.app.SecondAppClass0.sm0.s2"/>
      </states>
      <states
          identifier="simple.cps.app.SecondAppClass0.sm0.s2">
        <outgoingTransitions
            identifier="simple.cps.app.SecondAppClass0.sm0.s2.t0"
            targetState="simple.cps.app.SecondAppClass0.sm0.s0"/>
        <outgoingTransitions
            identifier="simple.cps.app.SecondAppClass0.sm0.s2.t3"
            targetState="simple.cps.app.SecondAppClass0.sm0.s1"/>
      </states>
    </behavior>
  </appTypes>
  <requests
      identifier="">
    <requirements
        identifier="ReqMandatory"
        count="1"
        type="simple.cps.app.FirstAppClass0"
        applications="simple.cps.app.FirstAppClass0.inst0"/>
    <requirements
        identifier="ReqOptional"
        type="simple.cps.app.FirstAppClass0"
        applications="simple.cps.app.FirstAppClass0.inst1"
        mandatory="false"/>
  </requests>
  <hostTypes
      identifier="simple.cps.host.FirstHostClass0">
    <instances
        identifier="simple.cps.host.FirstHostClass0.inst0"
        nodeIp="simple.cps.host.FirstHostClass0.inst0"/>
    <instances
        identifier="simple.cps.host.FirstHostClass0.inst1"
        nodeIp="simple.cps.host.FirstHostClass0.inst1"/>
    <instances
        identifier="simple.cps.host.FirstHostClass0.inst2"
        nodeIp="simple.cps.host.FirstHostClass0.inst2"/>
    <instances
        identifier="simple.cps.host.FirstHostClass0.inst3"
        nodeIp="simple.cps.host.FirstHostClass0.inst3"/>
    <instances
        identifier="simple.cps.host.FirstHostClass0.inst4"
        nodeIp="simple.cps.host.FirstHostClass0.inst4"/>
  </hostTypes>
  <hostTypes
      identifier="simple.cps.host.SecondHostClass0">
    <instances
        identifier="simple.cps.host.SecondHostClass0.inst0"
        nodeIp="simple.cps.host.SecondHostClass0.inst0"
        communicateWith="simple.cps.host.FirstHostClass0.inst3 simple.cps.host.FirstHostClass0.inst1 simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst0 simple.cps.host.FirstHostClass0.inst4"/>
    <instances
        identifier="simple.cps.host.SecondHostClass0.inst1"
        nodeIp="simple.cps.host.SecondHostClass0.inst1"
        applications="simple.cps.app.FirstAppClass0.inst0 simple.cps.app.FirstAppClass0.inst1"
        communicateWith="simple.cps.host.FirstHostClass0.inst4 simple.cps.host.FirstHostClass0.inst1 simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst0 simple.cps.host.FirstHostClass0.inst3"/>
    <instances
        identifier="simple.cps.host.SecondHostClass0.inst2"
        nodeIp="simple.cps.host.SecondHostClass0.inst2"
        applications="simple.cps.app.SecondAppClass0.inst0"
        communicateWith="simple.cps.host.FirstHostClass0.inst3 simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst0 simple.cps.host.FirstHostClass0.inst4 simple.cps.host.FirstHostClass0.inst1"/>
    <instances
        identifier="simple.cps.host.SecondHostClass0.inst3"
        nodeIp="simple.cps.host.SecondHostClass0.inst3"
        communicateWith="simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst1 simple.cps.host.FirstHostClass0.inst0 simple.cps.host.FirstHostClass0.inst4 simple.cps.host.FirstHostClass0.inst3"/>
    <instances
        identifier="simple.cps.host.SecondHostClass0.inst4"
        nodeIp="simple.cps.host.SecondHostClass0.inst4"
        communicateWith="simple.cps.host.FirstHostClass0.inst3 simple.cps.host.FirstHostClass0.inst2 simple.cps.host.FirstHostClass0.inst1 simple.cps.host.FirstHostClass0.inst4 simple.cps.host.FirstHostClass0.inst0"/>
  </hostTypes>
</cps:CyberPhysicalSystem>