doc/estados_bis.dia

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
   3   <dia:diagramdata>
   4     <dia:attribute name="background">
   5       <dia:color val="#ffffff"/>
   6     </dia:attribute>
   7     <dia:attribute name="pagebreak">
   8       <dia:color val="#000099"/>
   9     </dia:attribute>
  10     <dia:attribute name="paper">
  11       <dia:composite type="paper">
  12         <dia:attribute name="name">
  13           <dia:string>#A4#</dia:string>
  14         </dia:attribute>
  15         <dia:attribute name="tmargin">
  16           <dia:real val="2.8222000598907471"/>
  17         </dia:attribute>
  18         <dia:attribute name="bmargin">
  19           <dia:real val="2.8222000598907471"/>
  20         </dia:attribute>
  21         <dia:attribute name="lmargin">
  22           <dia:real val="2.8222000598907471"/>
  23         </dia:attribute>
  24         <dia:attribute name="rmargin">
  25           <dia:real val="2.8222000598907471"/>
  26         </dia:attribute>
  27         <dia:attribute name="is_portrait">
  28           <dia:boolean val="true"/>
  29         </dia:attribute>
  30         <dia:attribute name="scaling">
  31           <dia:real val="1"/>
  32         </dia:attribute>
  33         <dia:attribute name="fitto">
  34           <dia:boolean val="false"/>
  35         </dia:attribute>
  36       </dia:composite>
  37     </dia:attribute>
  38     <dia:attribute name="grid">
  39       <dia:composite type="grid">
  40         <dia:attribute name="width_x">
  41           <dia:real val="1"/>
  42         </dia:attribute>
  43         <dia:attribute name="width_y">
  44           <dia:real val="1"/>
  45         </dia:attribute>
  46         <dia:attribute name="visible_x">
  47           <dia:int val="1"/>
  48         </dia:attribute>
  49         <dia:attribute name="visible_y">
  50           <dia:int val="1"/>
  51         </dia:attribute>
  52         <dia:composite type="color"/>
  53       </dia:composite>
  54     </dia:attribute>
  55     <dia:attribute name="color">
  56       <dia:color val="#d8e5e5"/>
  57     </dia:attribute>
  58     <dia:attribute name="guides">
  59       <dia:composite type="guides">
  60         <dia:attribute name="hguides"/>
  61         <dia:attribute name="vguides"/>
  62       </dia:composite>
  63     </dia:attribute>
  64   </dia:diagramdata>
  65   <dia:layer name="Fondo" visible="true">
  66     <dia:object type="UML - State" version="0" id="O0">
  67       <dia:attribute name="obj_pos">
  68         <dia:point val="23.5,5.95"/>
  69       </dia:attribute>
  70       <dia:attribute name="obj_bb">
  71         <dia:rectangle val="23.5,5.95;27.5,7.75"/>
  72       </dia:attribute>
  73       <dia:attribute name="elem_corner">
  74         <dia:point val="23.5,5.95"/>
  75       </dia:attribute>
  76       <dia:attribute name="elem_width">
  77         <dia:real val="4"/>
  78       </dia:attribute>
  79       <dia:attribute name="elem_height">
  80         <dia:real val="1.8"/>
  81       </dia:attribute>
  82       <dia:attribute name="line_colour">
  83         <dia:color val="#000000"/>
  84       </dia:attribute>
  85       <dia:attribute name="fill_colour">
  86         <dia:color val="#ffffff"/>
  87       </dia:attribute>
  88       <dia:attribute name="text">
  89         <dia:composite type="text">
  90           <dia:attribute name="string">
  91             <dia:string>#Pensando#</dia:string>
  92           </dia:attribute>
  93           <dia:attribute name="font">
  94             <dia:font family="sans" style="0" name="Helvetica"/>
  95           </dia:attribute>
  96           <dia:attribute name="height">
  97             <dia:real val="0.80000000000000004"/>
  98           </dia:attribute>
  99           <dia:attribute name="pos">
 100             <dia:point val="25.5,7.05"/>
 101           </dia:attribute>
 102           <dia:attribute name="color">
 103             <dia:color val="#000000"/>
 104           </dia:attribute>
 105           <dia:attribute name="alignment">
 106             <dia:enum val="1"/>
 107           </dia:attribute>
 108         </dia:composite>
 109       </dia:attribute>
 110     </dia:object>
 111     <dia:object type="UML - State" version="0" id="O1">
 112       <dia:attribute name="obj_pos">
 113         <dia:point val="11.15,12.2"/>
 114       </dia:attribute>
 115       <dia:attribute name="obj_bb">
 116         <dia:rectangle val="11.15,12.2;18.85,14"/>
 117       </dia:attribute>
 118       <dia:attribute name="elem_corner">
 119         <dia:point val="11.15,12.2"/>
 120       </dia:attribute>
 121       <dia:attribute name="elem_width">
 122         <dia:real val="7.7000000000000002"/>
 123       </dia:attribute>
 124       <dia:attribute name="elem_height">
 125         <dia:real val="1.8"/>
 126       </dia:attribute>
 127       <dia:attribute name="line_colour">
 128         <dia:color val="#000000"/>
 129       </dia:attribute>
 130       <dia:attribute name="fill_colour">
 131         <dia:color val="#ffffff"/>
 132       </dia:attribute>
 133       <dia:attribute name="text">
 134         <dia:composite type="text">
 135           <dia:attribute name="string">
 136             <dia:string>#Obteniendo Palito Derecho#</dia:string>
 137           </dia:attribute>
 138           <dia:attribute name="font">
 139             <dia:font family="sans" style="0" name="Helvetica"/>
 140           </dia:attribute>
 141           <dia:attribute name="height">
 142             <dia:real val="0.80000000000000004"/>
 143           </dia:attribute>
 144           <dia:attribute name="pos">
 145             <dia:point val="15,13.3"/>
 146           </dia:attribute>
 147           <dia:attribute name="color">
 148             <dia:color val="#000000"/>
 149           </dia:attribute>
 150           <dia:attribute name="alignment">
 151             <dia:enum val="1"/>
 152           </dia:attribute>
 153         </dia:composite>
 154       </dia:attribute>
 155     </dia:object>
 156     <dia:object type="UML - State" version="0" id="O2">
 157       <dia:attribute name="obj_pos">
 158         <dia:point val="31.8,18.45"/>
 159       </dia:attribute>
 160       <dia:attribute name="obj_bb">
 161         <dia:rectangle val="31.8,18.45;35.8,20.25"/>
 162       </dia:attribute>
 163       <dia:attribute name="elem_corner">
 164         <dia:point val="31.8,18.45"/>
 165       </dia:attribute>
 166       <dia:attribute name="elem_width">
 167         <dia:real val="4"/>
 168       </dia:attribute>
 169       <dia:attribute name="elem_height">
 170         <dia:real val="1.8"/>
 171       </dia:attribute>
 172       <dia:attribute name="line_colour">
 173         <dia:color val="#000000"/>
 174       </dia:attribute>
 175       <dia:attribute name="fill_colour">
 176         <dia:color val="#ffffff"/>
 177       </dia:attribute>
 178       <dia:attribute name="text">
 179         <dia:composite type="text">
 180           <dia:attribute name="string">
 181             <dia:string>#Comiendo#</dia:string>
 182           </dia:attribute>
 183           <dia:attribute name="font">
 184             <dia:font family="sans" style="0" name="Helvetica"/>
 185           </dia:attribute>
 186           <dia:attribute name="height">
 187             <dia:real val="0.80000000000000004"/>
 188           </dia:attribute>
 189           <dia:attribute name="pos">
 190             <dia:point val="33.8,19.55"/>
 191           </dia:attribute>
 192           <dia:attribute name="color">
 193             <dia:color val="#000000"/>
 194           </dia:attribute>
 195           <dia:attribute name="alignment">
 196             <dia:enum val="1"/>
 197           </dia:attribute>
 198         </dia:composite>
 199       </dia:attribute>
 200     </dia:object>
 201     <dia:object type="UML - State" version="0" id="O3">
 202       <dia:attribute name="obj_pos">
 203         <dia:point val="35,12.25"/>
 204       </dia:attribute>
 205       <dia:attribute name="obj_bb">
 206         <dia:rectangle val="35,12.25;40.35,14.05"/>
 207       </dia:attribute>
 208       <dia:attribute name="elem_corner">
 209         <dia:point val="35,12.25"/>
 210       </dia:attribute>
 211       <dia:attribute name="elem_width">
 212         <dia:real val="5.3499999999999996"/>
 213       </dia:attribute>
 214       <dia:attribute name="elem_height">
 215         <dia:real val="1.8"/>
 216       </dia:attribute>
 217       <dia:attribute name="line_colour">
 218         <dia:color val="#000000"/>
 219       </dia:attribute>
 220       <dia:attribute name="fill_colour">
 221         <dia:color val="#ffffff"/>
 222       </dia:attribute>
 223       <dia:attribute name="text">
 224         <dia:composite type="text">
 225           <dia:attribute name="string">
 226             <dia:string>#Liberando Palitos#</dia:string>
 227           </dia:attribute>
 228           <dia:attribute name="font">
 229             <dia:font family="sans" style="0" name="Helvetica"/>
 230           </dia:attribute>
 231           <dia:attribute name="height">
 232             <dia:real val="0.80000000000000004"/>
 233           </dia:attribute>
 234           <dia:attribute name="pos">
 235             <dia:point val="37.675,13.35"/>
 236           </dia:attribute>
 237           <dia:attribute name="color">
 238             <dia:color val="#000000"/>
 239           </dia:attribute>
 240           <dia:attribute name="alignment">
 241             <dia:enum val="1"/>
 242           </dia:attribute>
 243         </dia:composite>
 244       </dia:attribute>
 245     </dia:object>
 246     <dia:object type="UML - State Term" version="0" id="O4">
 247       <dia:attribute name="obj_pos">
 248         <dia:point val="24.95,3.7"/>
 249       </dia:attribute>
 250       <dia:attribute name="obj_bb">
 251         <dia:rectangle val="24.95,3.7;25.95,4.7"/>
 252       </dia:attribute>
 253       <dia:attribute name="elem_corner">
 254         <dia:point val="24.95,3.7"/>
 255       </dia:attribute>
 256       <dia:attribute name="elem_width">
 257         <dia:real val="1"/>
 258       </dia:attribute>
 259       <dia:attribute name="elem_height">
 260         <dia:real val="1"/>
 261       </dia:attribute>
 262       <dia:attribute name="is_final">
 263         <dia:boolean val="false"/>
 264       </dia:attribute>
 265     </dia:object>
 266     <dia:object type="UML - State Term" version="0" id="O5">
 267       <dia:attribute name="obj_pos">
 268         <dia:point val="43,12.4"/>
 269       </dia:attribute>
 270       <dia:attribute name="obj_bb">
 271         <dia:rectangle val="43,12.4;44.5,13.9"/>
 272       </dia:attribute>
 273       <dia:attribute name="elem_corner">
 274         <dia:point val="43,12.4"/>
 275       </dia:attribute>
 276       <dia:attribute name="elem_width">
 277         <dia:real val="1.5"/>
 278       </dia:attribute>
 279       <dia:attribute name="elem_height">
 280         <dia:real val="1.5"/>
 281       </dia:attribute>
 282       <dia:attribute name="is_final">
 283         <dia:boolean val="true"/>
 284       </dia:attribute>
 285     </dia:object>
 286     <dia:object type="Standard - Line" version="0" id="O6">
 287       <dia:attribute name="obj_pos">
 288         <dia:point val="25.45,4.7"/>
 289       </dia:attribute>
 290       <dia:attribute name="obj_bb">
 291         <dia:rectangle val="24.9984,4.64804;26.0016,6.01994"/>
 292       </dia:attribute>
 293       <dia:attribute name="conn_endpoints">
 294         <dia:point val="25.45,4.7"/>
 295         <dia:point val="25.5,5.95"/>
 296       </dia:attribute>
 297       <dia:attribute name="numcp">
 298         <dia:int val="1"/>
 299       </dia:attribute>
 300       <dia:attribute name="end_arrow">
 301         <dia:enum val="22"/>
 302       </dia:attribute>
 303       <dia:attribute name="end_arrow_length">
 304         <dia:real val="0.5"/>
 305       </dia:attribute>
 306       <dia:attribute name="end_arrow_width">
 307         <dia:real val="0.5"/>
 308       </dia:attribute>
 309       <dia:connections>
 310         <dia:connection handle="0" to="O4" connection="6"/>
 311         <dia:connection handle="1" to="O0" connection="1"/>
 312       </dia:connections>
 313     </dia:object>
 314     <dia:object type="Standard - Arc" version="0" id="O7">
 315       <dia:attribute name="obj_pos">
 316         <dia:point val="23.5,6.85"/>
 317       </dia:attribute>
 318       <dia:attribute name="obj_bb">
 319         <dia:rectangle val="14.6913,6.78105;23.5689,12.6498"/>
 320       </dia:attribute>
 321       <dia:attribute name="conn_endpoints">
 322         <dia:point val="23.5,6.85"/>
 323         <dia:point val="15,12.2"/>
 324       </dia:attribute>
 325       <dia:attribute name="curve_distance">
 326         <dia:real val="1"/>
 327       </dia:attribute>
 328       <dia:attribute name="end_arrow">
 329         <dia:enum val="22"/>
 330       </dia:attribute>
 331       <dia:attribute name="end_arrow_length">
 332         <dia:real val="0.5"/>
 333       </dia:attribute>
 334       <dia:attribute name="end_arrow_width">
 335         <dia:real val="0.5"/>
 336       </dia:attribute>
 337       <dia:connections>
 338         <dia:connection handle="0" to="O0" connection="3"/>
 339         <dia:connection handle="1" to="O1" connection="1"/>
 340       </dia:connections>
 341     </dia:object>
 342     <dia:object type="Standard - Arc" version="0" id="O8">
 343       <dia:attribute name="obj_pos">
 344         <dia:point val="15,14"/>
 345       </dia:attribute>
 346       <dia:attribute name="obj_bb">
 347         <dia:rectangle val="14.9496,13.9306;19.0229,19.6503"/>
 348       </dia:attribute>
 349       <dia:attribute name="conn_endpoints">
 350         <dia:point val="15,14"/>
 351         <dia:point val="18.58,19.33"/>
 352       </dia:attribute>
 353       <dia:attribute name="curve_distance">
 354         <dia:real val="1"/>
 355       </dia:attribute>
 356       <dia:attribute name="end_arrow">
 357         <dia:enum val="22"/>
 358       </dia:attribute>
 359       <dia:attribute name="end_arrow_length">
 360         <dia:real val="0.5"/>
 361       </dia:attribute>
 362       <dia:attribute name="end_arrow_width">
 363         <dia:real val="0.5"/>
 364       </dia:attribute>
 365       <dia:connections>
 366         <dia:connection handle="0" to="O1" connection="6"/>
 367         <dia:connection handle="1" to="O20" connection="3"/>
 368       </dia:connections>
 369     </dia:object>
 370     <dia:object type="Standard - Arc" version="0" id="O9">
 371       <dia:attribute name="obj_pos">
 372         <dia:point val="35.8,19.35"/>
 373       </dia:attribute>
 374       <dia:attribute name="obj_bb">
 375         <dia:rectangle val="35.7362,13.8361;37.9851,19.4138"/>
 376       </dia:attribute>
 377       <dia:attribute name="conn_endpoints">
 378         <dia:point val="35.8,19.35"/>
 379         <dia:point val="37.675,14.05"/>
 380       </dia:attribute>
 381       <dia:attribute name="curve_distance">
 382         <dia:real val="1"/>
 383       </dia:attribute>
 384       <dia:attribute name="end_arrow">
 385         <dia:enum val="22"/>
 386       </dia:attribute>
 387       <dia:attribute name="end_arrow_length">
 388         <dia:real val="0.5"/>
 389       </dia:attribute>
 390       <dia:attribute name="end_arrow_width">
 391         <dia:real val="0.5"/>
 392       </dia:attribute>
 393       <dia:connections>
 394         <dia:connection handle="0" to="O2" connection="4"/>
 395         <dia:connection handle="1" to="O3" connection="6"/>
 396       </dia:connections>
 397     </dia:object>
 398     <dia:object type="Standard - Arc" version="0" id="O10">
 399       <dia:attribute name="obj_pos">
 400         <dia:point val="37.675,12.25"/>
 401       </dia:attribute>
 402       <dia:attribute name="obj_bb">
 403         <dia:rectangle val="27.2214,6.3849;37.7426,12.3176"/>
 404       </dia:attribute>
 405       <dia:attribute name="conn_endpoints">
 406         <dia:point val="37.675,12.25"/>
 407         <dia:point val="27.5,6.85"/>
 408       </dia:attribute>
 409       <dia:attribute name="curve_distance">
 410         <dia:real val="1"/>
 411       </dia:attribute>
 412       <dia:attribute name="end_arrow">
 413         <dia:enum val="22"/>
 414       </dia:attribute>
 415       <dia:attribute name="end_arrow_length">
 416         <dia:real val="0.5"/>
 417       </dia:attribute>
 418       <dia:attribute name="end_arrow_width">
 419         <dia:real val="0.5"/>
 420       </dia:attribute>
 421       <dia:connections>
 422         <dia:connection handle="0" to="O3" connection="1"/>
 423         <dia:connection handle="1" to="O0" connection="4"/>
 424       </dia:connections>
 425     </dia:object>
 426     <dia:object type="Standard - Line" version="0" id="O11">
 427       <dia:attribute name="obj_pos">
 428         <dia:point val="40.35,13.15"/>
 429       </dia:attribute>
 430       <dia:attribute name="obj_bb">
 431         <dia:rectangle val="40.3,12.65;43.05,13.65"/>
 432       </dia:attribute>
 433       <dia:attribute name="conn_endpoints">
 434         <dia:point val="40.35,13.15"/>
 435         <dia:point val="43,13.15"/>
 436       </dia:attribute>
 437       <dia:attribute name="numcp">
 438         <dia:int val="1"/>
 439       </dia:attribute>
 440       <dia:attribute name="end_arrow">
 441         <dia:enum val="22"/>
 442       </dia:attribute>
 443       <dia:attribute name="end_arrow_length">
 444         <dia:real val="0.5"/>
 445       </dia:attribute>
 446       <dia:attribute name="end_arrow_width">
 447         <dia:real val="0.5"/>
 448       </dia:attribute>
 449       <dia:connections>
 450         <dia:connection handle="0" to="O3" connection="4"/>
 451         <dia:connection handle="1" to="O5" connection="3"/>
 452       </dia:connections>
 453     </dia:object>
 454     <dia:object type="Standard - Text" version="0" id="O12">
 455       <dia:attribute name="obj_pos">
 456         <dia:point val="31.85,7.2"/>
 457       </dia:attribute>
 458       <dia:attribute name="obj_bb">
 459         <dia:rectangle val="31.85,6.58;35.57,8.44"/>
 460       </dia:attribute>
 461       <dia:attribute name="text">
 462         <dia:composite type="text">
 463           <dia:attribute name="string">
 464             <dia:string>#Ambos Palitos
 465 Liberados#</dia:string>
 466           </dia:attribute>
 467           <dia:attribute name="font">
 468             <dia:font family="sans" style="0" name="Helvetica"/>
 469           </dia:attribute>
 470           <dia:attribute name="height">
 471             <dia:real val="0.80000000000000004"/>
 472           </dia:attribute>
 473           <dia:attribute name="pos">
 474             <dia:point val="31.85,7.2"/>
 475           </dia:attribute>
 476           <dia:attribute name="color">
 477             <dia:color val="#000000"/>
 478           </dia:attribute>
 479           <dia:attribute name="alignment">
 480             <dia:enum val="0"/>
 481           </dia:attribute>
 482         </dia:composite>
 483       </dia:attribute>
 484     </dia:object>
 485     <dia:object type="Standard - Text" version="0" id="O13">
 486       <dia:attribute name="obj_pos">
 487         <dia:point val="38.65,16.95"/>
 488       </dia:attribute>
 489       <dia:attribute name="obj_bb">
 490         <dia:rectangle val="38.65,16.33;42.87,18.19"/>
 491       </dia:attribute>
 492       <dia:attribute name="text">
 493         <dia:composite type="text">
 494           <dia:attribute name="string">
 495             <dia:string>#Transcurrio el
 496 tiempo de comer#</dia:string>
 497           </dia:attribute>
 498           <dia:attribute name="font">
 499             <dia:font family="sans" style="0" name="Helvetica"/>
 500           </dia:attribute>
 501           <dia:attribute name="height">
 502             <dia:real val="0.80000000000000004"/>
 503           </dia:attribute>
 504           <dia:attribute name="pos">
 505             <dia:point val="38.65,16.95"/>
 506           </dia:attribute>
 507           <dia:attribute name="color">
 508             <dia:color val="#000000"/>
 509           </dia:attribute>
 510           <dia:attribute name="alignment">
 511             <dia:enum val="0"/>
 512           </dia:attribute>
 513         </dia:composite>
 514       </dia:attribute>
 515     </dia:object>
 516     <dia:object type="Standard - Text" version="0" id="O14">
 517       <dia:attribute name="obj_pos">
 518         <dia:point val="12.2,18.15"/>
 519       </dia:attribute>
 520       <dia:attribute name="obj_bb">
 521         <dia:rectangle val="12.2,17.53;15.77,19.39"/>
 522       </dia:attribute>
 523       <dia:attribute name="text">
 524         <dia:composite type="text">
 525           <dia:attribute name="string">
 526             <dia:string>#Obtuvo Palito
 527 Derecho#</dia:string>
 528           </dia:attribute>
 529           <dia:attribute name="font">
 530             <dia:font family="sans" style="0" name="Helvetica"/>
 531           </dia:attribute>
 532           <dia:attribute name="height">
 533             <dia:real val="0.80000000000000004"/>
 534           </dia:attribute>
 535           <dia:attribute name="pos">
 536             <dia:point val="12.2,18.15"/>
 537           </dia:attribute>
 538           <dia:attribute name="color">
 539             <dia:color val="#000000"/>
 540           </dia:attribute>
 541           <dia:attribute name="alignment">
 542             <dia:enum val="0"/>
 543           </dia:attribute>
 544         </dia:composite>
 545       </dia:attribute>
 546     </dia:object>
 547     <dia:object type="Standard - Text" version="0" id="O15">
 548       <dia:attribute name="obj_pos">
 549         <dia:point val="14.1,7.95"/>
 550       </dia:attribute>
 551       <dia:attribute name="obj_bb">
 552         <dia:rectangle val="14.1,7.33;19.47,9.19"/>
 553       </dia:attribute>
 554       <dia:attribute name="text">
 555         <dia:composite type="text">
 556           <dia:attribute name="string">
 557             <dia:string>#Transcurrio el tiempo
 558 de pensar#</dia:string>
 559           </dia:attribute>
 560           <dia:attribute name="font">
 561             <dia:font family="sans" style="0" name="Helvetica"/>
 562           </dia:attribute>
 563           <dia:attribute name="height">
 564             <dia:real val="0.80000000000000004"/>
 565           </dia:attribute>
 566           <dia:attribute name="pos">
 567             <dia:point val="14.1,7.95"/>
 568           </dia:attribute>
 569           <dia:attribute name="color">
 570             <dia:color val="#000000"/>
 571           </dia:attribute>
 572           <dia:attribute name="alignment">
 573             <dia:enum val="0"/>
 574           </dia:attribute>
 575         </dia:composite>
 576       </dia:attribute>
 577     </dia:object>
 578     <dia:object type="Standard - Text" version="0" id="O16">
 579       <dia:attribute name="obj_pos">
 580         <dia:point val="40.5,11.15"/>
 581       </dia:attribute>
 582       <dia:attribute name="obj_bb">
 583         <dia:rectangle val="40.5,10.53;43.67,12.39"/>
 584       </dia:attribute>
 585       <dia:attribute name="text">
 586         <dia:composite type="text">
 587           <dia:attribute name="string">
 588             <dia:string>#Comio todas
 589 las rondas#</dia:string>
 590           </dia:attribute>
 591           <dia:attribute name="font">
 592             <dia:font family="sans" style="0" name="Helvetica"/>
 593           </dia:attribute>
 594           <dia:attribute name="height">
 595             <dia:real val="0.80000000000000004"/>
 596           </dia:attribute>
 597           <dia:attribute name="pos">
 598             <dia:point val="40.5,11.15"/>
 599           </dia:attribute>
 600           <dia:attribute name="color">
 601             <dia:color val="#000000"/>
 602           </dia:attribute>
 603           <dia:attribute name="alignment">
 604             <dia:enum val="0"/>
 605           </dia:attribute>
 606         </dia:composite>
 607       </dia:attribute>
 608     </dia:object>
 609     <dia:object type="Standard - Text" version="0" id="O17">
 610       <dia:attribute name="obj_pos">
 611         <dia:point val="15.3,3.3"/>
 612       </dia:attribute>
 613       <dia:attribute name="obj_bb">
 614         <dia:rectangle val="15.3,1.9;45.7,4.35"/>
 615       </dia:attribute>
 616       <dia:attribute name="text">
 617         <dia:composite type="text">
 618           <dia:attribute name="string">
 619             <dia:string>#Diagrama de Estados de un Filosofo y su Palito#</dia:string>
 620           </dia:attribute>
 621           <dia:attribute name="font">
 622             <dia:font family="sans" style="0" name="Helvetica"/>
 623           </dia:attribute>
 624           <dia:attribute name="height">
 625             <dia:real val="2"/>
 626           </dia:attribute>
 627           <dia:attribute name="pos">
 628             <dia:point val="15.3,3.3"/>
 629           </dia:attribute>
 630           <dia:attribute name="color">
 631             <dia:color val="#000000"/>
 632           </dia:attribute>
 633           <dia:attribute name="alignment">
 634             <dia:enum val="0"/>
 635           </dia:attribute>
 636         </dia:composite>
 637       </dia:attribute>
 638     </dia:object>
 639     <dia:object type="Standard - Arc" version="0" id="O18">
 640       <dia:attribute name="obj_pos">
 641         <dia:point val="18.85,13.1"/>
 642       </dia:attribute>
 643       <dia:attribute name="obj_bb">
 644         <dia:rectangle val="18.7998,13.0406;35.0515,13.6502"/>
 645       </dia:attribute>
 646       <dia:attribute name="conn_endpoints">
 647         <dia:point val="18.85,13.1"/>
 648         <dia:point val="35,13.15"/>
 649       </dia:attribute>
 650       <dia:attribute name="curve_distance">
 651         <dia:real val="-0.029047440750900509"/>
 652       </dia:attribute>
 653       <dia:attribute name="end_arrow">
 654         <dia:enum val="22"/>
 655       </dia:attribute>
 656       <dia:attribute name="end_arrow_length">
 657         <dia:real val="0.5"/>
 658       </dia:attribute>
 659       <dia:attribute name="end_arrow_width">
 660         <dia:real val="0.5"/>
 661       </dia:attribute>
 662       <dia:connections>
 663         <dia:connection handle="0" to="O1" connection="4"/>
 664         <dia:connection handle="1" to="O3" connection="3"/>
 665       </dia:connections>
 666     </dia:object>
 667     <dia:object type="Standard - Text" version="0" id="O19">
 668       <dia:attribute name="obj_pos">
 669         <dia:point val="23.53,11.78"/>
 670       </dia:attribute>
 671       <dia:attribute name="obj_bb">
 672         <dia:rectangle val="23.53,11.16;27.4,13.02"/>
 673       </dia:attribute>
 674       <dia:attribute name="text">
 675         <dia:composite type="text">
 676           <dia:attribute name="string">
 677             <dia:string>#Palito Derecho
 678 Ocupado#</dia:string>
 679           </dia:attribute>
 680           <dia:attribute name="font">
 681             <dia:font family="sans" style="0" name="Helvetica"/>
 682           </dia:attribute>
 683           <dia:attribute name="height">
 684             <dia:real val="0.80000000000000004"/>
 685           </dia:attribute>
 686           <dia:attribute name="pos">
 687             <dia:point val="23.53,11.78"/>
 688           </dia:attribute>
 689           <dia:attribute name="color">
 690             <dia:color val="#000000"/>
 691           </dia:attribute>
 692           <dia:attribute name="alignment">
 693             <dia:enum val="0"/>
 694           </dia:attribute>
 695         </dia:composite>
 696       </dia:attribute>
 697     </dia:object>
 698     <dia:object type="UML - State" version="0" id="O20">
 699       <dia:attribute name="obj_pos">
 700         <dia:point val="18.58,18.43"/>
 701       </dia:attribute>
 702       <dia:attribute name="obj_bb">
 703         <dia:rectangle val="18.58,18.43;26.48,20.23"/>
 704       </dia:attribute>
 705       <dia:attribute name="elem_corner">
 706         <dia:point val="18.58,18.43"/>
 707       </dia:attribute>
 708       <dia:attribute name="elem_width">
 709         <dia:real val="7.9000000000000004"/>
 710       </dia:attribute>
 711       <dia:attribute name="elem_height">
 712         <dia:real val="1.8"/>
 713       </dia:attribute>
 714       <dia:attribute name="line_colour">
 715         <dia:color val="#000000"/>
 716       </dia:attribute>
 717       <dia:attribute name="fill_colour">
 718         <dia:color val="#ffffff"/>
 719       </dia:attribute>
 720       <dia:attribute name="text">
 721         <dia:composite type="text">
 722           <dia:attribute name="string">
 723             <dia:string>#Obteniendo Palito Izquierdo#</dia:string>
 724           </dia:attribute>
 725           <dia:attribute name="font">
 726             <dia:font family="sans" style="0" name="Helvetica"/>
 727           </dia:attribute>
 728           <dia:attribute name="height">
 729             <dia:real val="0.80000000000000004"/>
 730           </dia:attribute>
 731           <dia:attribute name="pos">
 732             <dia:point val="22.53,19.53"/>
 733           </dia:attribute>
 734           <dia:attribute name="color">
 735             <dia:color val="#000000"/>
 736           </dia:attribute>
 737           <dia:attribute name="alignment">
 738             <dia:enum val="1"/>
 739           </dia:attribute>
 740         </dia:composite>
 741       </dia:attribute>
 742     </dia:object>
 743     <dia:object type="Standard - Arc" version="0" id="O21">
 744       <dia:attribute name="obj_pos">
 745         <dia:point val="26.48,19.33"/>
 746       </dia:attribute>
 747       <dia:attribute name="obj_bb">
 748         <dia:rectangle val="26.4298,18.8498;31.8519,19.4509"/>
 749       </dia:attribute>
 750       <dia:attribute name="conn_endpoints">
 751         <dia:point val="26.48,19.33"/>
 752         <dia:point val="31.8,19.35"/>
 753       </dia:attribute>
 754       <dia:attribute name="curve_distance">
 755         <dia:real val="0.060525888082463883"/>
 756       </dia:attribute>
 757       <dia:attribute name="end_arrow">
 758         <dia:enum val="22"/>
 759       </dia:attribute>
 760       <dia:attribute name="end_arrow_length">
 761         <dia:real val="0.5"/>
 762       </dia:attribute>
 763       <dia:attribute name="end_arrow_width">
 764         <dia:real val="0.5"/>
 765       </dia:attribute>
 766       <dia:connections>
 767         <dia:connection handle="0" to="O20" connection="4"/>
 768         <dia:connection handle="1" to="O2" connection="3"/>
 769       </dia:connections>
 770     </dia:object>
 771     <dia:object type="Standard - Text" version="0" id="O22">
 772       <dia:attribute name="obj_pos">
 773         <dia:point val="27.48,20.48"/>
 774       </dia:attribute>
 775       <dia:attribute name="obj_bb">
 776         <dia:rectangle val="27.48,19.86;31.05,21.72"/>
 777       </dia:attribute>
 778       <dia:attribute name="text">
 779         <dia:composite type="text">
 780           <dia:attribute name="string">
 781             <dia:string>#Obtuvo Palito
 782 Izquierdo#</dia:string>
 783           </dia:attribute>
 784           <dia:attribute name="font">
 785             <dia:font family="sans" style="0" name="Helvetica"/>
 786           </dia:attribute>
 787           <dia:attribute name="height">
 788             <dia:real val="0.80000000000000004"/>
 789           </dia:attribute>
 790           <dia:attribute name="pos">
 791             <dia:point val="27.48,20.48"/>
 792           </dia:attribute>
 793           <dia:attribute name="color">
 794             <dia:color val="#000000"/>
 795           </dia:attribute>
 796           <dia:attribute name="alignment">
 797             <dia:enum val="0"/>
 798           </dia:attribute>
 799         </dia:composite>
 800       </dia:attribute>
 801     </dia:object>
 802     <dia:object type="Standard - Arc" version="0" id="O23">
 803       <dia:attribute name="obj_pos">
 804         <dia:point val="26.48,18.43"/>
 805       </dia:attribute>
 806       <dia:attribute name="obj_bb">
 807         <dia:rectangle val="26.4127,13.5825;35.2731,18.4973"/>
 808       </dia:attribute>
 809       <dia:attribute name="conn_endpoints">
 810         <dia:point val="26.48,18.43"/>
 811         <dia:point val="35,14.05"/>
 812       </dia:attribute>
 813       <dia:attribute name="curve_distance">
 814         <dia:real val="-0.029047440750900509"/>
 815       </dia:attribute>
 816       <dia:attribute name="end_arrow">
 817         <dia:enum val="22"/>
 818       </dia:attribute>
 819       <dia:attribute name="end_arrow_length">
 820         <dia:real val="0.5"/>
 821       </dia:attribute>
 822       <dia:attribute name="end_arrow_width">
 823         <dia:real val="0.5"/>
 824       </dia:attribute>
 825       <dia:connections>
 826         <dia:connection handle="0" to="O20" connection="2"/>
 827         <dia:connection handle="1" to="O3" connection="5"/>
 828       </dia:connections>
 829     </dia:object>
 830     <dia:object type="Standard - Text" version="0" id="O24">
 831       <dia:attribute name="obj_pos">
 832         <dia:point val="26.58,15.38"/>
 833       </dia:attribute>
 834       <dia:attribute name="obj_bb">
 835         <dia:rectangle val="26.58,14.76;30.5,16.62"/>
 836       </dia:attribute>
 837       <dia:attribute name="text">
 838         <dia:composite type="text">
 839           <dia:attribute name="string">
 840             <dia:string>#Palito Izquierdo
 841 Ocupado#</dia:string>
 842           </dia:attribute>
 843           <dia:attribute name="font">
 844             <dia:font family="sans" style="0" name="Helvetica"/>
 845           </dia:attribute>
 846           <dia:attribute name="height">
 847             <dia:real val="0.80000000000000004"/>
 848           </dia:attribute>
 849           <dia:attribute name="pos">
 850             <dia:point val="26.58,15.38"/>
 851           </dia:attribute>
 852           <dia:attribute name="color">
 853             <dia:color val="#000000"/>
 854           </dia:attribute>
 855           <dia:attribute name="alignment">
 856             <dia:enum val="0"/>
 857           </dia:attribute>
 858         </dia:composite>
 859       </dia:attribute>
 860     </dia:object>
 861   </dia:layer>
 862 </dia:diagram>