<?xml version="1.0" encoding="UTF-8" ?>
<romeo version="Romeo v3.10.2">
<TPN name="/Users/olivier/Documents/IRCCyN/romeo/examples/aaTrucEncours/Train2024/SED2025/ExDuCours.xml">
  <place id="1" identifier="P1" label="P1" initialMarking="1" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="121" y="91"/> 
         <deltaLabel deltax="19.0" deltay="-18.0"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="2" identifier="P2" label="P2" initialMarking="1" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="211.0" y="91.0"/> 
         <deltaLabel deltax="18.0" deltay="-20.0"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <place id="3" identifier="P3" label="P3" initialMarking="1" eft="0" lft="inf"> 
      <graphics color="0"> 
         <position x="301.0" y="91.0"/> 
         <deltaLabel deltax="21.0" deltay="-20.0"/> 
      </graphics> 
      <scheduling gamma="0" omega="0"/> 
  </place> 

  <transition id="1" identifier="T1" label="T1"  eft="3" lft="5" eft_param="a" lft_param="a" speed="1" priority="0" cost="0" unctrl="0" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="121" y="151"/> 
        <deltaLabel deltax="-22.999142367066895" 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="2" identifier="T2" label="T2"  eft="7" lft="9" eft_param="7" lft_param="9" speed="1" priority="0" cost="0" unctrl="0" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="211.0" y="151.0"/> 
        <deltaLabel deltax="10" deltay="10"/> 
        <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="T4" label="T4"  eft="4" lft="6" eft_param="4" lft_param="6" speed="1" priority="0" cost="0" unctrl="0" obs="1"  guard=""> 
     <graphics color="0"> 
        <position x="301.0" y="151.0"/> 
        <deltaLabel deltax="39.0" deltay="-16.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> 

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

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

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

  <misc>
     <constraint left="a" op="LowerOrEqual" right="5"/>
  </misc>

  <timedCost></timedCost>

  <nbTokenColor>0</nbTokenColor>

  <declaration><![CDATA[]]></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>
