<?xml version="1.0" encoding="UTF-8" ?>
<romeo version="Romeo v3.10.4">
<TPN name="/home/did/recherche/tools/romeo-examples/trap.xml">
  <place id="1" identifier="P1" label="P1" initialMarking="1" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="271.0" y="391.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="2" identifier="P2" label="P2" initialMarking="0" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="391.0" y="391.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="3" identifier="P3" label="P3" initialMarking="0" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="511.0" y="391.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="4" identifier="P4" label="P4" initialMarking="0" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="631.0" y="391.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="5" identifier="Goal" label="Goal" initialMarking="0" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="751.0" y="391.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="6" identifier="P6" label="P6" initialMarking="1" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="271.0" y="301.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="7" identifier="P7" label="P7" initialMarking="0" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="391.0" y="301.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="8" identifier="P8" label="P8" initialMarking="1" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="436.0" y="256.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="9" identifier="Bad" label="Bad" initialMarking="0" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="556.0" y="256.0"/> 
         <deltaLabel deltax="10" deltay="10"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <transition id="1" identifier="move1" label="move1"  eft="1" lft="inf" eft_param="1" speed="1" priority="0" cost="0" unctrl="0" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="331.0" y="391.0"/> 
        <deltaLabel deltax="17.666666666666686" deltay="6.333333333333371"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <transition id="2" identifier="move2" label="move2"  eft="1" lft="inf" eft_param="1" speed="1" priority="0" cost="0" unctrl="0" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="451.0" y="391.0"/> 
        <deltaLabel deltax="11.666666666666686" deltay="8.666666666666629"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <transition id="3" identifier="move3" label="move3"  eft="1" lft="inf" eft_param="1" speed="1" priority="0" cost="0" unctrl="0" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="571.0" y="391.0"/> 
        <deltaLabel deltax="5.666666666666629" deltay="6.666666666666629"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <transition id="4" identifier="trap1" label="trap1"  eft="0" lft="0" lft_param="0" speed="1" priority="0" cost="0" unctrl="1" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="391.0" y="346.0"/> 
        <deltaLabel deltax="38.666666666666686" deltay="-13.111111111111086"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <transition id="5" identifier="move4" label="move4"  eft="1" lft="inf" eft_param="1" speed="1" priority="0" cost="0" unctrl="0" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="691.0" y="391.0"/> 
        <deltaLabel deltax="10.333333333333371" deltay="7.0"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <transition id="6" identifier="trap2" label="trap2"  eft="0" lft="0" lft_param="0" speed="1" priority="0" cost="0" unctrl="1" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="631.0" y="346.0"/> 
        <deltaLabel deltax="35.33333333333337" deltay="-10.666666666666629"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <transition id="9" identifier="trap_disable" label="trap_disable"  eft="0" lft="0" lft_param="0" speed="1" priority="0" cost="0" unctrl="0" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="331.0" y="271.0"/> 
        <deltaLabel deltax="17.555555555555543" deltay="-41.22222222222223"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <transition id="11" identifier="trap_period" label="trap_period"  eft="3" lft="4" eft_param="3" lft_param="4" speed="1" priority="0" cost="0" unctrl="1" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="331.0" y="301.0"/> 
        <deltaLabel deltax="0.5555555555554861" deltay="7.888888888888857"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <transition id="12" identifier="deadline" label="deadline"  eft="10" lft="10" eft_param="10" lft_param="10" speed="1" priority="0" cost="0" unctrl="1" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="496.0" y="256.0"/> 
        <deltaLabel deltax="20.22222222222223" deltay="-34.66666666666663"/> 
        <deltaGuard deltax="20" deltay="-20"/> 
        <deltaUpdate deltax="20" deltay="10"/> 
        <deltaSpeed deltax="-20" deltay="5"/> 
        <deltaCost deltax="-20" deltay="5"/> 
     </graphics> 
     <update><![CDATA[]]></update> 
  </transition> 

  <arc place="1" transition="1" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="2" transition="1" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <arc place="2" transition="2" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="3" transition="2" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <arc place="3" transition="3" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="4" transition="3" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <arc place="2" transition="4" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="7" transition="4" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="9" transition="4" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <arc place="4" transition="5" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="5" transition="5" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <arc place="7" transition="6" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="4" transition="6" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="9" transition="6" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <arc place="7" transition="9" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="6" transition="9" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <arc place="6" transition="11" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="7" transition="11" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <arc place="8" transition="12" type="PlaceTransition" weight="1" tokenColor="-1"  inhibitingCondition=""> 
    <nail xnail="0" ynail="0"/> 
    <graphics  color="0"> 
     </graphics> 
  </arc> 
 

  <arc place="9" transition="12" type="TransitionPlace" weight="1" tokenColor="-1"> 
     <nail xnail="0" ynail="0"/> 
     <graphics  color="0"> 
     </graphics> 
  </arc> 

  <timedCost></timedCost>

  <nbTokenColor>0</nbTokenColor>

  <declaration><![CDATA[// insert here your type definitions using C-like syntax

// insert here your function definitions 
// using C-like syntax

initially {

// insert here the state variables declarations 
// and possibly some code to initialize them 
// using C-like syntax
 
 }

]]></declaration>

  <project nbinput="0" openinput="0" nbinclude="0" >
 </project>

  <preferences> 
      <colorPlace  c0="SkyBlue2"  c1="gray"  c2="cyan"  c3="green"  c4="yellow"  c5="brown" /> 
 
      <colorTransition  c0="yellow"  c1="gray"  c2="cyan"  c3="green"  c4="SkyBlue2"  c5="brown" /> 
 
      <colorArc  c0="black"  c1="gray"  c2="blue"  c3="#beb760"  c4="#be5c7e"  c5="#46be90" /> 
 
  </preferences> 
 </TPN> 

  </romeo>
