doc/estados.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="17.4,6.7"/>
  69       </dia:attribute>
  70       <dia:attribute name="obj_bb">
  71         <dia:rectangle val="17.4,6.7;21.4,8.5"/>
  72       </dia:attribute>
  73       <dia:attribute name="elem_corner">
  74         <dia:point val="17.4,6.7"/>
  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="19.4,7.8"/>
 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,11.15"/>
 114       </dia:attribute>
 115       <dia:attribute name="obj_bb">
 116         <dia:rectangle val="11,11.15;16.75,12.95"/>
 117       </dia:attribute>
 118       <dia:attribute name="elem_corner">
 119         <dia:point val="11,11.15"/>
 120       </dia:attribute>
 121       <dia:attribute name="elem_width">
 122         <dia:real val="5.75"/>
 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 Palitos#</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="13.875,12.25"/>
 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="17.15,15.55"/>
 159       </dia:attribute>
 160       <dia:attribute name="obj_bb">
 161         <dia:rectangle val="17.15,15.55;21.15,17.35"/>
 162       </dia:attribute>
 163       <dia:attribute name="elem_corner">
 164         <dia:point val="17.15,15.55"/>
 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="19.15,16.65"/>
 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="22.3,11.3"/>
 204       </dia:attribute>
 205       <dia:attribute name="obj_bb">
 206         <dia:rectangle val="22.3,11.3;27.65,13.1"/>
 207       </dia:attribute>
 208       <dia:attribute name="elem_corner">
 209         <dia:point val="22.3,11.3"/>
 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="24.975,12.4"/>
 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="18.85,2.2"/>
 249       </dia:attribute>
 250       <dia:attribute name="obj_bb">
 251         <dia:rectangle val="18.85,2.2;19.85,3.2"/>
 252       </dia:attribute>
 253       <dia:attribute name="elem_corner">
 254         <dia:point val="18.85,2.2"/>
 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="33.25,11.45"/>
 269       </dia:attribute>
 270       <dia:attribute name="obj_bb">
 271         <dia:rectangle val="33.25,11.45;34.75,12.95"/>
 272       </dia:attribute>
 273       <dia:attribute name="elem_corner">
 274         <dia:point val="33.25,11.45"/>
 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="19.35,3.2"/>
 289       </dia:attribute>
 290       <dia:attribute name="obj_bb">
 291         <dia:rectangle val="18.8993,3.14929;19.9007,6.75714"/>
 292       </dia:attribute>
 293       <dia:attribute name="conn_endpoints">
 294         <dia:point val="19.35,3.2"/>
 295         <dia:point val="19.4,6.7"/>
 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="17.4,7.6"/>
 317       </dia:attribute>
 318       <dia:attribute name="obj_bb">
 319         <dia:rectangle val="13.485,7.52929;17.4707,11.5378"/>
 320       </dia:attribute>
 321       <dia:attribute name="conn_endpoints">
 322         <dia:point val="17.4,7.6"/>
 323         <dia:point val="13.875,11.15"/>
 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="13.875,12.95"/>
 345       </dia:attribute>
 346       <dia:attribute name="obj_bb">
 347         <dia:rectangle val="13.8191,12.8793;17.3876,16.1075"/>
 348       </dia:attribute>
 349       <dia:attribute name="conn_endpoints">
 350         <dia:point val="13.875,12.95"/>
 351         <dia:point val="17,16.05"/>
 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:connections>
 368     </dia:object>
 369     <dia:object type="Standard - Arc" version="0" id="O9">
 370       <dia:attribute name="obj_pos">
 371         <dia:point val="21.15,16.45"/>
 372       </dia:attribute>
 373       <dia:attribute name="obj_bb">
 374         <dia:rectangle val="21.0794,12.6909;25.342,16.5017"/>
 375       </dia:attribute>
 376       <dia:attribute name="conn_endpoints">
 377         <dia:point val="21.15,16.45"/>
 378         <dia:point val="24.975,13.1"/>
 379       </dia:attribute>
 380       <dia:attribute name="curve_distance">
 381         <dia:real val="1"/>
 382       </dia:attribute>
 383       <dia:attribute name="end_arrow">
 384         <dia:enum val="22"/>
 385       </dia:attribute>
 386       <dia:attribute name="end_arrow_length">
 387         <dia:real val="0.5"/>
 388       </dia:attribute>
 389       <dia:attribute name="end_arrow_width">
 390         <dia:real val="0.5"/>
 391       </dia:attribute>
 392       <dia:connections>
 393         <dia:connection handle="0" to="O2" connection="4"/>
 394         <dia:connection handle="1" to="O3" connection="6"/>
 395       </dia:connections>
 396     </dia:object>
 397     <dia:object type="Standard - Arc" version="0" id="O10">
 398       <dia:attribute name="obj_pos">
 399         <dia:point val="24.975,11.3"/>
 400       </dia:attribute>
 401       <dia:attribute name="obj_bb">
 402         <dia:rectangle val="21.0057,7.21662;25.0457,11.3707"/>
 403       </dia:attribute>
 404       <dia:attribute name="conn_endpoints">
 405         <dia:point val="24.975,11.3"/>
 406         <dia:point val="21.4,7.6"/>
 407       </dia:attribute>
 408       <dia:attribute name="curve_distance">
 409         <dia:real val="1"/>
 410       </dia:attribute>
 411       <dia:attribute name="end_arrow">
 412         <dia:enum val="22"/>
 413       </dia:attribute>
 414       <dia:attribute name="end_arrow_length">
 415         <dia:real val="0.5"/>
 416       </dia:attribute>
 417       <dia:attribute name="end_arrow_width">
 418         <dia:real val="0.5"/>
 419       </dia:attribute>
 420       <dia:connections>
 421         <dia:connection handle="0" to="O3" connection="1"/>
 422         <dia:connection handle="1" to="O0" connection="4"/>
 423       </dia:connections>
 424     </dia:object>
 425     <dia:object type="Standard - Line" version="0" id="O11">
 426       <dia:attribute name="obj_pos">
 427         <dia:point val="27.65,12.2"/>
 428       </dia:attribute>
 429       <dia:attribute name="obj_bb">
 430         <dia:rectangle val="27.6,11.7;33.3,12.7"/>
 431       </dia:attribute>
 432       <dia:attribute name="conn_endpoints">
 433         <dia:point val="27.65,12.2"/>
 434         <dia:point val="33.25,12.2"/>
 435       </dia:attribute>
 436       <dia:attribute name="numcp">
 437         <dia:int val="1"/>
 438       </dia:attribute>
 439       <dia:attribute name="end_arrow">
 440         <dia:enum val="22"/>
 441       </dia:attribute>
 442       <dia:attribute name="end_arrow_length">
 443         <dia:real val="0.5"/>
 444       </dia:attribute>
 445       <dia:attribute name="end_arrow_width">
 446         <dia:real val="0.5"/>
 447       </dia:attribute>
 448       <dia:connections>
 449         <dia:connection handle="0" to="O3" connection="4"/>
 450         <dia:connection handle="1" to="O5" connection="3"/>
 451       </dia:connections>
 452     </dia:object>
 453     <dia:object type="Standard - Text" version="0" id="O12">
 454       <dia:attribute name="obj_pos">
 455         <dia:point val="24.75,8.8"/>
 456       </dia:attribute>
 457       <dia:attribute name="obj_bb">
 458         <dia:rectangle val="24.75,8.2;28.45,10"/>
 459       </dia:attribute>
 460       <dia:attribute name="text">
 461         <dia:composite type="text">
 462           <dia:attribute name="string">
 463             <dia:string>#Ambos Palitos
 464 Liberados#</dia:string>
 465           </dia:attribute>
 466           <dia:attribute name="font">
 467             <dia:font family="sans" style="0" name="Helvetica"/>
 468           </dia:attribute>
 469           <dia:attribute name="height">
 470             <dia:real val="0.80000000000000004"/>
 471           </dia:attribute>
 472           <dia:attribute name="pos">
 473             <dia:point val="24.75,8.8"/>
 474           </dia:attribute>
 475           <dia:attribute name="color">
 476             <dia:color val="#000000"/>
 477           </dia:attribute>
 478           <dia:attribute name="alignment">
 479             <dia:enum val="0"/>
 480           </dia:attribute>
 481         </dia:composite>
 482       </dia:attribute>
 483     </dia:object>
 484     <dia:object type="Standard - Text" version="0" id="O13">
 485       <dia:attribute name="obj_pos">
 486         <dia:point val="24.05,15.8"/>
 487       </dia:attribute>
 488       <dia:attribute name="obj_bb">
 489         <dia:rectangle val="24.05,15.2;28.25,17"/>
 490       </dia:attribute>
 491       <dia:attribute name="text">
 492         <dia:composite type="text">
 493           <dia:attribute name="string">
 494             <dia:string>#Transcurrio el
 495 tiempo de comer#</dia:string>
 496           </dia:attribute>
 497           <dia:attribute name="font">
 498             <dia:font family="sans" style="0" name="Helvetica"/>
 499           </dia:attribute>
 500           <dia:attribute name="height">
 501             <dia:real val="0.80000000000000004"/>
 502           </dia:attribute>
 503           <dia:attribute name="pos">
 504             <dia:point val="24.05,15.8"/>
 505           </dia:attribute>
 506           <dia:attribute name="color">
 507             <dia:color val="#000000"/>
 508           </dia:attribute>
 509           <dia:attribute name="alignment">
 510             <dia:enum val="0"/>
 511           </dia:attribute>
 512         </dia:composite>
 513       </dia:attribute>
 514     </dia:object>
 515     <dia:object type="Standard - Text" version="0" id="O14">
 516       <dia:attribute name="obj_pos">
 517         <dia:point val="10.9,15.7"/>
 518       </dia:attribute>
 519       <dia:attribute name="obj_bb">
 520         <dia:rectangle val="10.9,15.1;14.55,16.9"/>
 521       </dia:attribute>
 522       <dia:attribute name="text">
 523         <dia:composite type="text">
 524           <dia:attribute name="string">
 525             <dia:string>#Obtuvo ambos
 526 Palitos#</dia:string>
 527           </dia:attribute>
 528           <dia:attribute name="font">
 529             <dia:font family="sans" style="0" name="Helvetica"/>
 530           </dia:attribute>
 531           <dia:attribute name="height">
 532             <dia:real val="0.80000000000000004"/>
 533           </dia:attribute>
 534           <dia:attribute name="pos">
 535             <dia:point val="10.9,15.7"/>
 536           </dia:attribute>
 537           <dia:attribute name="color">
 538             <dia:color val="#000000"/>
 539           </dia:attribute>
 540           <dia:attribute name="alignment">
 541             <dia:enum val="0"/>
 542           </dia:attribute>
 543         </dia:composite>
 544       </dia:attribute>
 545     </dia:object>
 546     <dia:object type="Standard - Text" version="0" id="O15">
 547       <dia:attribute name="obj_pos">
 548         <dia:point val="10.85,7.8"/>
 549       </dia:attribute>
 550       <dia:attribute name="obj_bb">
 551         <dia:rectangle val="10.85,7.2;16.2,9"/>
 552       </dia:attribute>
 553       <dia:attribute name="text">
 554         <dia:composite type="text">
 555           <dia:attribute name="string">
 556             <dia:string>#Transcurrio el tiempo
 557 de pensar#</dia:string>
 558           </dia:attribute>
 559           <dia:attribute name="font">
 560             <dia:font family="sans" style="0" name="Helvetica"/>
 561           </dia:attribute>
 562           <dia:attribute name="height">
 563             <dia:real val="0.80000000000000004"/>
 564           </dia:attribute>
 565           <dia:attribute name="pos">
 566             <dia:point val="10.85,7.8"/>
 567           </dia:attribute>
 568           <dia:attribute name="color">
 569             <dia:color val="#000000"/>
 570           </dia:attribute>
 571           <dia:attribute name="alignment">
 572             <dia:enum val="0"/>
 573           </dia:attribute>
 574         </dia:composite>
 575       </dia:attribute>
 576     </dia:object>
 577     <dia:object type="Standard - Text" version="0" id="O16">
 578       <dia:attribute name="obj_pos">
 579         <dia:point val="29.7,10.55"/>
 580       </dia:attribute>
 581       <dia:attribute name="obj_bb">
 582         <dia:rectangle val="29.7,9.93;32.87,11.79"/>
 583       </dia:attribute>
 584       <dia:attribute name="text">
 585         <dia:composite type="text">
 586           <dia:attribute name="string">
 587             <dia:string>#Comio todas
 588 las rondas#</dia:string>
 589           </dia:attribute>
 590           <dia:attribute name="font">
 591             <dia:font family="sans" style="0" name="Helvetica"/>
 592           </dia:attribute>
 593           <dia:attribute name="height">
 594             <dia:real val="0.80000000000000004"/>
 595           </dia:attribute>
 596           <dia:attribute name="pos">
 597             <dia:point val="29.7,10.55"/>
 598           </dia:attribute>
 599           <dia:attribute name="color">
 600             <dia:color val="#000000"/>
 601           </dia:attribute>
 602           <dia:attribute name="alignment">
 603             <dia:enum val="0"/>
 604           </dia:attribute>
 605         </dia:composite>
 606       </dia:attribute>
 607     </dia:object>
 608     <dia:object type="Standard - Text" version="0" id="O17">
 609       <dia:attribute name="obj_pos">
 610         <dia:point val="8.5,1.7"/>
 611       </dia:attribute>
 612       <dia:attribute name="obj_bb">
 613         <dia:rectangle val="8.5,0.3;31.85,2.75"/>
 614       </dia:attribute>
 615       <dia:attribute name="text">
 616         <dia:composite type="text">
 617           <dia:attribute name="string">
 618             <dia:string>#Diagrama de Estados de un Filosofo#</dia:string>
 619           </dia:attribute>
 620           <dia:attribute name="font">
 621             <dia:font family="sans" style="0" name="Helvetica"/>
 622           </dia:attribute>
 623           <dia:attribute name="height">
 624             <dia:real val="2"/>
 625           </dia:attribute>
 626           <dia:attribute name="pos">
 627             <dia:point val="8.5,1.7"/>
 628           </dia:attribute>
 629           <dia:attribute name="color">
 630             <dia:color val="#000000"/>
 631           </dia:attribute>
 632           <dia:attribute name="alignment">
 633             <dia:enum val="0"/>
 634           </dia:attribute>
 635         </dia:composite>
 636       </dia:attribute>
 637     </dia:object>
 638   </dia:layer>
 639 </dia:diagram>