home *** CD-ROM | disk | FTP | other *** search
/ PC World 2002 September / PCWorld_2002-09_cd.bin / Software / TemaCD / dia / dia-0.90-1-setup.exe / samples / grafcet.dia / grafcet
Extensible Markup Language  |  2002-05-18  |  114KB  |  3,373 lines
  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="paper">
  8.       <dia:composite type="paper">
  9.         <dia:attribute name="name">
  10.           <dia:string>#A4#</dia:string>
  11.         </dia:attribute>
  12.         <dia:attribute name="tmargin">
  13.           <dia:real val="2.82"/>
  14.         </dia:attribute>
  15.         <dia:attribute name="bmargin">
  16.           <dia:real val="2.82"/>
  17.         </dia:attribute>
  18.         <dia:attribute name="lmargin">
  19.           <dia:real val="2.82"/>
  20.         </dia:attribute>
  21.         <dia:attribute name="rmargin">
  22.           <dia:real val="2.82"/>
  23.         </dia:attribute>
  24.         <dia:attribute name="is_portrait">
  25.           <dia:boolean val="true"/>
  26.         </dia:attribute>
  27.         <dia:attribute name="scaling">
  28.           <dia:real val="0.99"/>
  29.         </dia:attribute>
  30.         <dia:attribute name="fitto">
  31.           <dia:boolean val="false"/>
  32.         </dia:attribute>
  33.       </dia:composite>
  34.     </dia:attribute>
  35.     <dia:attribute name="grid">
  36.       <dia:composite type="grid">
  37.         <dia:attribute name="width_x">
  38.           <dia:real val="1"/>
  39.         </dia:attribute>
  40.         <dia:attribute name="width_y">
  41.           <dia:real val="1"/>
  42.         </dia:attribute>
  43.         <dia:attribute name="visible_x">
  44.           <dia:int val="1"/>
  45.         </dia:attribute>
  46.         <dia:attribute name="visible_y">
  47.           <dia:int val="1"/>
  48.         </dia:attribute>
  49.       </dia:composite>
  50.     </dia:attribute>
  51.     <dia:attribute name="guides">
  52.       <dia:composite type="guides">
  53.         <dia:attribute name="hguides"/>
  54.         <dia:attribute name="vguides"/>
  55.       </dia:composite>
  56.     </dia:attribute>
  57.   </dia:diagramdata>
  58.   <dia:layer name="Background" visible="true">
  59.     <dia:object type="GRAFCET - Step" version="0" id="O0">
  60.       <dia:attribute name="obj_pos">
  61.         <dia:point val="3,-2.25"/>
  62.       </dia:attribute>
  63.       <dia:attribute name="obj_bb">
  64.         <dia:rectangle val="2.75,-2.5;7.25,2.5"/>
  65.       </dia:attribute>
  66.       <dia:attribute name="elem_corner">
  67.         <dia:point val="3,-2.25"/>
  68.       </dia:attribute>
  69.       <dia:attribute name="elem_width">
  70.         <dia:real val="4"/>
  71.       </dia:attribute>
  72.       <dia:attribute name="elem_height">
  73.         <dia:real val="4"/>
  74.       </dia:attribute>
  75.       <dia:attribute name="id">
  76.         <dia:string>#0#</dia:string>
  77.       </dia:attribute>
  78.       <dia:attribute name="type">
  79.         <dia:enum val="1"/>
  80.       </dia:attribute>
  81.       <dia:attribute name="active">
  82.         <dia:boolean val="false"/>
  83.       </dia:attribute>
  84.       <dia:attribute name="font">
  85.         <dia:font name="Helvetica-Bold"/>
  86.       </dia:attribute>
  87.       <dia:attribute name="font_size">
  88.         <dia:real val="1"/>
  89.       </dia:attribute>
  90.       <dia:attribute name="font_color">
  91.         <dia:color val="#000000"/>
  92.       </dia:attribute>
  93.       <dia:attribute name="north_pos">
  94.         <dia:point val="5,-2.25"/>
  95.       </dia:attribute>
  96.       <dia:attribute name="south_pos">
  97.         <dia:point val="5,2.5"/>
  98.       </dia:attribute>
  99.       <dia:connections>
  100.         <dia:connection handle="8" to="O0" connection="0"/>
  101.         <dia:connection handle="9" to="O1" connection="0"/>
  102.       </dia:connections>
  103.     </dia:object>
  104.     <dia:object type="GRAFCET - Transition" version="0" id="O1">
  105.       <dia:attribute name="obj_pos">
  106.         <dia:point val="4,1.75"/>
  107.       </dia:attribute>
  108.       <dia:attribute name="obj_bb">
  109.         <dia:rectangle val="3.95,1.7;11.1092,3.8"/>
  110.       </dia:attribute>
  111.       <dia:attribute name="elem_corner">
  112.         <dia:point val="4,1.75"/>
  113.       </dia:attribute>
  114.       <dia:attribute name="elem_width">
  115.         <dia:real val="2"/>
  116.       </dia:attribute>
  117.       <dia:attribute name="elem_height">
  118.         <dia:real val="2"/>
  119.       </dia:attribute>
  120.       <dia:attribute name="receptivity">
  121.         <dia:string>#start_cycle#</dia:string>
  122.       </dia:attribute>
  123.       <dia:attribute name="rcep_font">
  124.         <dia:font name="Helvetica-Bold"/>
  125.       </dia:attribute>
  126.       <dia:attribute name="rcep_fontheight">
  127.         <dia:real val="0.8"/>
  128.       </dia:attribute>
  129.       <dia:attribute name="rcep_color">
  130.         <dia:color val="#000000"/>
  131.       </dia:attribute>
  132.       <dia:attribute name="north_pos">
  133.         <dia:point val="5,1.75"/>
  134.       </dia:attribute>
  135.       <dia:attribute name="south_pos">
  136.         <dia:point val="5,3"/>
  137.       </dia:attribute>
  138.       <dia:connections>
  139.         <dia:connection handle="8" to="O0" connection="1"/>
  140.         <dia:connection handle="9" to="O1" connection="1"/>
  141.       </dia:connections>
  142.     </dia:object>
  143.     <dia:object type="GRAFCET - Step" version="0" id="O2">
  144.       <dia:attribute name="obj_pos">
  145.         <dia:point val="3,3.75"/>
  146.       </dia:attribute>
  147.       <dia:attribute name="obj_bb">
  148.         <dia:rectangle val="2.95,3;7.05,7.8"/>
  149.       </dia:attribute>
  150.       <dia:attribute name="elem_corner">
  151.         <dia:point val="3,3.75"/>
  152.       </dia:attribute>
  153.       <dia:attribute name="elem_width">
  154.         <dia:real val="4"/>
  155.       </dia:attribute>
  156.       <dia:attribute name="elem_height">
  157.         <dia:real val="4"/>
  158.       </dia:attribute>
  159.       <dia:attribute name="id">
  160.         <dia:string>#1#</dia:string>
  161.       </dia:attribute>
  162.       <dia:attribute name="type">
  163.         <dia:enum val="4"/>
  164.       </dia:attribute>
  165.       <dia:attribute name="active">
  166.         <dia:boolean val="false"/>
  167.       </dia:attribute>
  168.       <dia:attribute name="font">
  169.         <dia:font name="Helvetica-Bold"/>
  170.       </dia:attribute>
  171.       <dia:attribute name="font_size">
  172.         <dia:real val="1"/>
  173.       </dia:attribute>
  174.       <dia:attribute name="font_color">
  175.         <dia:color val="#000000"/>
  176.       </dia:attribute>
  177.       <dia:attribute name="north_pos">
  178.         <dia:point val="5,3"/>
  179.       </dia:attribute>
  180.       <dia:attribute name="south_pos">
  181.         <dia:point val="5,7.75"/>
  182.       </dia:attribute>
  183.       <dia:connections>
  184.         <dia:connection handle="8" to="O1" connection="1"/>
  185.         <dia:connection handle="9" to="O2" connection="1"/>
  186.       </dia:connections>
  187.     </dia:object>
  188.     <dia:object type="GRAFCET - Action" version="0" id="O3">
  189.       <dia:attribute name="obj_pos">
  190.         <dia:point val="6.5,5.75"/>
  191.       </dia:attribute>
  192.       <dia:attribute name="obj_bb">
  193.         <dia:rectangle val="6.45,4.7;11.7308,7.04"/>
  194.       </dia:attribute>
  195.       <dia:attribute name="conn_endpoints">
  196.         <dia:point val="6.5,5.75"/>
  197.         <dia:point val="8,5.75"/>
  198.       </dia:attribute>
  199.       <dia:attribute name="text">
  200.         <dia:composite type="text">
  201.           <dia:attribute name="string">
  202.             <dia:string>#Wash#</dia:string>
  203.           </dia:attribute>
  204.           <dia:attribute name="font">
  205.             <dia:font name="Helvetica-Bold"/>
  206.           </dia:attribute>
  207.           <dia:attribute name="height">
  208.             <dia:real val="0.8"/>
  209.           </dia:attribute>
  210.           <dia:attribute name="pos">
  211.             <dia:point val="8.48,5.99"/>
  212.           </dia:attribute>
  213.           <dia:attribute name="color">
  214.             <dia:color val="#000000"/>
  215.           </dia:attribute>
  216.           <dia:attribute name="alignment">
  217.             <dia:enum val="0"/>
  218.           </dia:attribute>
  219.         </dia:composite>
  220.       </dia:attribute>
  221.       <dia:attribute name="macro_call">
  222.         <dia:boolean val="true"/>
  223.       </dia:attribute>
  224.       <dia:connections>
  225.         <dia:connection handle="0" to="O2" connection="2"/>
  226.       </dia:connections>
  227.     </dia:object>
  228.     <dia:object type="GRAFCET - Transition" version="0" id="O4">
  229.       <dia:attribute name="obj_pos">
  230.         <dia:point val="4,7.75"/>
  231.       </dia:attribute>
  232.       <dia:attribute name="obj_bb">
  233.         <dia:rectangle val="3.95,7.7;6.4716,9.8"/>
  234.       </dia:attribute>
  235.       <dia:attribute name="elem_corner">
  236.         <dia:point val="4,7.75"/>
  237.       </dia:attribute>
  238.       <dia:attribute name="elem_width">
  239.         <dia:real val="2"/>
  240.       </dia:attribute>
  241.       <dia:attribute name="elem_height">
  242.         <dia:real val="2"/>
  243.       </dia:attribute>
  244.       <dia:attribute name="receptivity">
  245.         <dia:string>#=1#</dia:string>
  246.       </dia:attribute>
  247.       <dia:attribute name="rcep_font">
  248.         <dia:font name="Helvetica-Bold"/>
  249.       </dia:attribute>
  250.       <dia:attribute name="rcep_fontheight">
  251.         <dia:real val="0.8"/>
  252.       </dia:attribute>
  253.       <dia:attribute name="rcep_color">
  254.         <dia:color val="#000000"/>
  255.       </dia:attribute>
  256.       <dia:attribute name="north_pos">
  257.         <dia:point val="5,7.75"/>
  258.       </dia:attribute>
  259.       <dia:attribute name="south_pos">
  260.         <dia:point val="5,9"/>
  261.       </dia:attribute>
  262.       <dia:connections>
  263.         <dia:connection handle="8" to="O2" connection="1"/>
  264.         <dia:connection handle="9" to="O4" connection="1"/>
  265.       </dia:connections>
  266.     </dia:object>
  267.     <dia:object type="GRAFCET - Step" version="0" id="O5">
  268.       <dia:attribute name="obj_pos">
  269.         <dia:point val="3,9.75"/>
  270.       </dia:attribute>
  271.       <dia:attribute name="obj_bb">
  272.         <dia:rectangle val="2.95,9;7.05,13.8"/>
  273.       </dia:attribute>
  274.       <dia:attribute name="elem_corner">
  275.         <dia:point val="3,9.75"/>
  276.       </dia:attribute>
  277.       <dia:attribute name="elem_width">
  278.         <dia:real val="4"/>
  279.       </dia:attribute>
  280.       <dia:attribute name="elem_height">
  281.         <dia:real val="4"/>
  282.       </dia:attribute>
  283.       <dia:attribute name="id">
  284.         <dia:string>#2#</dia:string>
  285.       </dia:attribute>
  286.       <dia:attribute name="type">
  287.         <dia:enum val="4"/>
  288.       </dia:attribute>
  289.       <dia:attribute name="active">
  290.         <dia:boolean val="false"/>
  291.       </dia:attribute>
  292.       <dia:attribute name="font">
  293.         <dia:font name="Helvetica-Bold"/>
  294.       </dia:attribute>
  295.       <dia:attribute name="font_size">
  296.         <dia:real val="1"/>
  297.       </dia:attribute>
  298.       <dia:attribute name="font_color">
  299.         <dia:color val="#000000"/>
  300.       </dia:attribute>
  301.       <dia:attribute name="north_pos">
  302.         <dia:point val="5,9"/>
  303.       </dia:attribute>
  304.       <dia:attribute name="south_pos">
  305.         <dia:point val="5,13.75"/>
  306.       </dia:attribute>
  307.       <dia:connections>
  308.         <dia:connection handle="8" to="O4" connection="1"/>
  309.         <dia:connection handle="9" to="O5" connection="1"/>
  310.       </dia:connections>
  311.     </dia:object>
  312.     <dia:object type="GRAFCET - Action" version="0" id="O6">
  313.       <dia:attribute name="obj_pos">
  314.         <dia:point val="6.5,11.75"/>
  315.       </dia:attribute>
  316.       <dia:attribute name="obj_bb">
  317.         <dia:rectangle val="6.45,10.7;11.7308,13.04"/>
  318.       </dia:attribute>
  319.       <dia:attribute name="conn_endpoints">
  320.         <dia:point val="6.5,11.75"/>
  321.         <dia:point val="8,11.75"/>
  322.       </dia:attribute>
  323.       <dia:attribute name="text">
  324.         <dia:composite type="text">
  325.           <dia:attribute name="string">
  326.             <dia:string>#Rinse#</dia:string>
  327.           </dia:attribute>
  328.           <dia:attribute name="font">
  329.             <dia:font name="Helvetica-Bold"/>
  330.           </dia:attribute>
  331.           <dia:attribute name="height">
  332.             <dia:real val="0.8"/>
  333.           </dia:attribute>
  334.           <dia:attribute name="pos">
  335.             <dia:point val="8.48,11.99"/>
  336.           </dia:attribute>
  337.           <dia:attribute name="color">
  338.             <dia:color val="#000000"/>
  339.           </dia:attribute>
  340.           <dia:attribute name="alignment">
  341.             <dia:enum val="0"/>
  342.           </dia:attribute>
  343.         </dia:composite>
  344.       </dia:attribute>
  345.       <dia:attribute name="macro_call">
  346.         <dia:boolean val="true"/>
  347.       </dia:attribute>
  348.       <dia:connections>
  349.         <dia:connection handle="0" to="O5" connection="2"/>
  350.       </dia:connections>
  351.     </dia:object>
  352.     <dia:object type="GRAFCET - Transition" version="0" id="O7">
  353.       <dia:attribute name="obj_pos">
  354.         <dia:point val="4,13.75"/>
  355.       </dia:attribute>
  356.       <dia:attribute name="obj_bb">
  357.         <dia:rectangle val="3.95,13.7;6.4716,15.8"/>
  358.       </dia:attribute>
  359.       <dia:attribute name="elem_corner">
  360.         <dia:point val="4,13.75"/>
  361.       </dia:attribute>
  362.       <dia:attribute name="elem_width">
  363.         <dia:real val="2"/>
  364.       </dia:attribute>
  365.       <dia:attribute name="elem_height">
  366.         <dia:real val="2"/>
  367.       </dia:attribute>
  368.       <dia:attribute name="receptivity">
  369.         <dia:string>#=1#</dia:string>
  370.       </dia:attribute>
  371.       <dia:attribute name="rcep_font">
  372.         <dia:font name="Helvetica-Bold"/>
  373.       </dia:attribute>
  374.       <dia:attribute name="rcep_fontheight">
  375.         <dia:real val="0.8"/>
  376.       </dia:attribute>
  377.       <dia:attribute name="rcep_color">
  378.         <dia:color val="#000000"/>
  379.       </dia:attribute>
  380.       <dia:attribute name="north_pos">
  381.         <dia:point val="5,13.75"/>
  382.       </dia:attribute>
  383.       <dia:attribute name="south_pos">
  384.         <dia:point val="5,15"/>
  385.       </dia:attribute>
  386.       <dia:connections>
  387.         <dia:connection handle="8" to="O5" connection="1"/>
  388.         <dia:connection handle="9" to="O7" connection="1"/>
  389.       </dia:connections>
  390.     </dia:object>
  391.     <dia:object type="GRAFCET - Step" version="0" id="O8">
  392.       <dia:attribute name="obj_pos">
  393.         <dia:point val="3,15.75"/>
  394.       </dia:attribute>
  395.       <dia:attribute name="obj_bb">
  396.         <dia:rectangle val="2.95,15;7.05,19.8"/>
  397.       </dia:attribute>
  398.       <dia:attribute name="elem_corner">
  399.         <dia:point val="3,15.75"/>
  400.       </dia:attribute>
  401.       <dia:attribute name="elem_width">
  402.         <dia:real val="4"/>
  403.       </dia:attribute>
  404.       <dia:attribute name="elem_height">
  405.         <dia:real val="4"/>
  406.       </dia:attribute>
  407.       <dia:attribute name="id">
  408.         <dia:string>#3#</dia:string>
  409.       </dia:attribute>
  410.       <dia:attribute name="type">
  411.         <dia:enum val="4"/>
  412.       </dia:attribute>
  413.       <dia:attribute name="active">
  414.         <dia:boolean val="false"/>
  415.       </dia:attribute>
  416.       <dia:attribute name="font">
  417.         <dia:font name="Helvetica-Bold"/>
  418.       </dia:attribute>
  419.       <dia:attribute name="font_size">
  420.         <dia:real val="1"/>
  421.       </dia:attribute>
  422.       <dia:attribute name="font_color">
  423.         <dia:color val="#000000"/>
  424.       </dia:attribute>
  425.       <dia:attribute name="north_pos">
  426.         <dia:point val="5,15"/>
  427.       </dia:attribute>
  428.       <dia:attribute name="south_pos">
  429.         <dia:point val="5,19.75"/>
  430.       </dia:attribute>
  431.       <dia:connections>
  432.         <dia:connection handle="8" to="O7" connection="1"/>
  433.         <dia:connection handle="9" to="O8" connection="1"/>
  434.       </dia:connections>
  435.     </dia:object>
  436.     <dia:object type="GRAFCET - Transition" version="0" id="O9">
  437.       <dia:attribute name="obj_pos">
  438.         <dia:point val="4,19.75"/>
  439.       </dia:attribute>
  440.       <dia:attribute name="obj_bb">
  441.         <dia:rectangle val="3.95,19.7;6.4716,21.8"/>
  442.       </dia:attribute>
  443.       <dia:attribute name="elem_corner">
  444.         <dia:point val="4,19.75"/>
  445.       </dia:attribute>
  446.       <dia:attribute name="elem_width">
  447.         <dia:real val="2"/>
  448.       </dia:attribute>
  449.       <dia:attribute name="elem_height">
  450.         <dia:real val="2"/>
  451.       </dia:attribute>
  452.       <dia:attribute name="receptivity">
  453.         <dia:string>#=1#</dia:string>
  454.       </dia:attribute>
  455.       <dia:attribute name="rcep_font">
  456.         <dia:font name="Helvetica-Bold"/>
  457.       </dia:attribute>
  458.       <dia:attribute name="rcep_fontheight">
  459.         <dia:real val="0.8"/>
  460.       </dia:attribute>
  461.       <dia:attribute name="rcep_color">
  462.         <dia:color val="#000000"/>
  463.       </dia:attribute>
  464.       <dia:attribute name="north_pos">
  465.         <dia:point val="5,19.75"/>
  466.       </dia:attribute>
  467.       <dia:attribute name="south_pos">
  468.         <dia:point val="5,21"/>
  469.       </dia:attribute>
  470.       <dia:connections>
  471.         <dia:connection handle="8" to="O8" connection="1"/>
  472.         <dia:connection handle="9" to="O9" connection="1"/>
  473.       </dia:connections>
  474.     </dia:object>
  475.     <dia:object type="GRAFCET - Action" version="0" id="O10">
  476.       <dia:attribute name="obj_pos">
  477.         <dia:point val="6.5,17.75"/>
  478.       </dia:attribute>
  479.       <dia:attribute name="obj_bb">
  480.         <dia:rectangle val="6.45,16.7;13.2004,19.04"/>
  481.       </dia:attribute>
  482.       <dia:attribute name="conn_endpoints">
  483.         <dia:point val="6.5,17.75"/>
  484.         <dia:point val="8,17.75"/>
  485.       </dia:attribute>
  486.       <dia:attribute name="text">
  487.         <dia:composite type="text">
  488.           <dia:attribute name="string">
  489.             <dia:string>#Spin dry#</dia:string>
  490.           </dia:attribute>
  491.           <dia:attribute name="font">
  492.             <dia:font name="Helvetica-Bold"/>
  493.           </dia:attribute>
  494.           <dia:attribute name="height">
  495.             <dia:real val="0.8"/>
  496.           </dia:attribute>
  497.           <dia:attribute name="pos">
  498.             <dia:point val="8.48,17.99"/>
  499.           </dia:attribute>
  500.           <dia:attribute name="color">
  501.             <dia:color val="#000000"/>
  502.           </dia:attribute>
  503.           <dia:attribute name="alignment">
  504.             <dia:enum val="0"/>
  505.           </dia:attribute>
  506.         </dia:composite>
  507.       </dia:attribute>
  508.       <dia:attribute name="macro_call">
  509.         <dia:boolean val="true"/>
  510.       </dia:attribute>
  511.       <dia:connections>
  512.         <dia:connection handle="0" to="O8" connection="2"/>
  513.       </dia:connections>
  514.     </dia:object>
  515.     <dia:object type="GRAFCET - Arc" version="0" id="O11">
  516.       <dia:attribute name="obj_pos">
  517.         <dia:point val="5,21"/>
  518.       </dia:attribute>
  519.       <dia:attribute name="obj_bb">
  520.         <dia:rectangle val="0.65,-4.6;5.35,22.1"/>
  521.       </dia:attribute>
  522.       <dia:attribute name="orth_points">
  523.         <dia:point val="5,21"/>
  524.         <dia:point val="5,21.75"/>
  525.         <dia:point val="1,21.75"/>
  526.         <dia:point val="1,-4.25"/>
  527.         <dia:point val="5,-4.25"/>
  528.         <dia:point val="5,-2.25"/>
  529.       </dia:attribute>
  530.       <dia:attribute name="orth_orient">
  531.         <dia:enum val="1"/>
  532.         <dia:enum val="0"/>
  533.         <dia:enum val="1"/>
  534.         <dia:enum val="0"/>
  535.         <dia:enum val="1"/>
  536.       </dia:attribute>
  537.       <dia:attribute name="uparrow">
  538.         <dia:boolean val="true"/>
  539.       </dia:attribute>
  540.       <dia:connections>
  541.         <dia:connection handle="0" to="O9" connection="1"/>
  542.         <dia:connection handle="1" to="O0" connection="0"/>
  543.       </dia:connections>
  544.     </dia:object>
  545.     <dia:object type="GRAFCET - Step" version="0" id="O12">
  546.       <dia:attribute name="obj_pos">
  547.         <dia:point val="29,-5"/>
  548.       </dia:attribute>
  549.       <dia:attribute name="obj_bb">
  550.         <dia:rectangle val="28.95,-5.05;33.05,-0.95"/>
  551.       </dia:attribute>
  552.       <dia:attribute name="elem_corner">
  553.         <dia:point val="29,-5"/>
  554.       </dia:attribute>
  555.       <dia:attribute name="elem_width">
  556.         <dia:real val="4"/>
  557.       </dia:attribute>
  558.       <dia:attribute name="elem_height">
  559.         <dia:real val="4"/>
  560.       </dia:attribute>
  561.       <dia:attribute name="id">
  562.         <dia:string>#E1#</dia:string>
  563.       </dia:attribute>
  564.       <dia:attribute name="type">
  565.         <dia:enum val="2"/>
  566.       </dia:attribute>
  567.       <dia:attribute name="active">
  568.         <dia:boolean val="false"/>
  569.       </dia:attribute>
  570.       <dia:attribute name="font">
  571.         <dia:font name="Helvetica-Bold"/>
  572.       </dia:attribute>
  573.       <dia:attribute name="font_size">
  574.         <dia:real val="1"/>
  575.       </dia:attribute>
  576.       <dia:attribute name="font_color">
  577.         <dia:color val="#000000"/>
  578.       </dia:attribute>
  579.       <dia:attribute name="north_pos">
  580.         <dia:point val="31,-5"/>
  581.       </dia:attribute>
  582.       <dia:attribute name="south_pos">
  583.         <dia:point val="31,-1"/>
  584.       </dia:attribute>
  585.       <dia:connections>
  586.         <dia:connection handle="8" to="O12" connection="0"/>
  587.         <dia:connection handle="9" to="O12" connection="1"/>
  588.       </dia:connections>
  589.     </dia:object>
  590.     <dia:object type="GRAFCET - Transition" version="0" id="O13">
  591.       <dia:attribute name="obj_pos">
  592.         <dia:point val="30,-1"/>
  593.       </dia:attribute>
  594.       <dia:attribute name="obj_bb">
  595.         <dia:rectangle val="29.95,-1.05;38.482,1.05"/>
  596.       </dia:attribute>
  597.       <dia:attribute name="elem_corner">
  598.         <dia:point val="30,-1"/>
  599.       </dia:attribute>
  600.       <dia:attribute name="elem_width">
  601.         <dia:real val="2"/>
  602.       </dia:attribute>
  603.       <dia:attribute name="elem_height">
  604.         <dia:real val="2"/>
  605.       </dia:attribute>
  606.       <dia:attribute name="receptivity">
  607.         <dia:string>#enough water#</dia:string>
  608.       </dia:attribute>
  609.       <dia:attribute name="rcep_font">
  610.         <dia:font name="Helvetica-Bold"/>
  611.       </dia:attribute>
  612.       <dia:attribute name="rcep_fontheight">
  613.         <dia:real val="0.8"/>
  614.       </dia:attribute>
  615.       <dia:attribute name="rcep_color">
  616.         <dia:color val="#000000"/>
  617.       </dia:attribute>
  618.       <dia:attribute name="north_pos">
  619.         <dia:point val="31,-1"/>
  620.       </dia:attribute>
  621.       <dia:attribute name="south_pos">
  622.         <dia:point val="31,0.85"/>
  623.       </dia:attribute>
  624.       <dia:connections>
  625.         <dia:connection handle="8" to="O12" connection="1"/>
  626.         <dia:connection handle="9" to="O14" connection="4"/>
  627.       </dia:connections>
  628.     </dia:object>
  629.     <dia:object type="GRAFCET - Vergent" version="0" id="O14">
  630.       <dia:attribute name="obj_pos">
  631.         <dia:point val="24,1"/>
  632.       </dia:attribute>
  633.       <dia:attribute name="obj_bb">
  634.         <dia:rectangle val="23.925,0.775;38.075,1.225"/>
  635.       </dia:attribute>
  636.       <dia:attribute name="conn_endpoints">
  637.         <dia:point val="24,1"/>
  638.         <dia:point val="38,1"/>
  639.       </dia:attribute>
  640.       <dia:attribute name="cpl_north">
  641.         <dia:int val="1"/>
  642.       </dia:attribute>
  643.       <dia:attribute name="cpl_south">
  644.         <dia:int val="1"/>
  645.       </dia:attribute>
  646.       <dia:attribute name="vtype">
  647.         <dia:enum val="1"/>
  648.       </dia:attribute>
  649.     </dia:object>
  650.     <dia:object type="GRAFCET - Transition" version="0" id="O15">
  651.       <dia:attribute name="obj_pos">
  652.         <dia:point val="24,6"/>
  653.       </dia:attribute>
  654.       <dia:attribute name="obj_bb">
  655.         <dia:rectangle val="23.95,5.95;30.2908,8.05"/>
  656.       </dia:attribute>
  657.       <dia:attribute name="elem_corner">
  658.         <dia:point val="24,6"/>
  659.       </dia:attribute>
  660.       <dia:attribute name="elem_width">
  661.         <dia:real val="2"/>
  662.       </dia:attribute>
  663.       <dia:attribute name="elem_height">
  664.         <dia:real val="2"/>
  665.       </dia:attribute>
  666.       <dia:attribute name="receptivity">
  667.         <dia:string>#X100/20'#</dia:string>
  668.       </dia:attribute>
  669.       <dia:attribute name="rcep_font">
  670.         <dia:font name="Helvetica-Bold"/>
  671.       </dia:attribute>
  672.       <dia:attribute name="rcep_fontheight">
  673.         <dia:real val="0.8"/>
  674.       </dia:attribute>
  675.       <dia:attribute name="rcep_color">
  676.         <dia:color val="#000000"/>
  677.       </dia:attribute>
  678.       <dia:attribute name="north_pos">
  679.         <dia:point val="25,6"/>
  680.       </dia:attribute>
  681.       <dia:attribute name="south_pos">
  682.         <dia:point val="25,8"/>
  683.       </dia:attribute>
  684.       <dia:connections>
  685.         <dia:connection handle="8" to="O22" connection="1"/>
  686.         <dia:connection handle="9" to="O16" connection="0"/>
  687.       </dia:connections>
  688.     </dia:object>
  689.     <dia:object type="GRAFCET - Step" version="0" id="O16">
  690.       <dia:attribute name="obj_pos">
  691.         <dia:point val="23,8"/>
  692.       </dia:attribute>
  693.       <dia:attribute name="obj_bb">
  694.         <dia:rectangle val="22.95,7.95;27.05,12.05"/>
  695.       </dia:attribute>
  696.       <dia:attribute name="elem_corner">
  697.         <dia:point val="23,8"/>
  698.       </dia:attribute>
  699.       <dia:attribute name="elem_width">
  700.         <dia:real val="4"/>
  701.       </dia:attribute>
  702.       <dia:attribute name="elem_height">
  703.         <dia:real val="4"/>
  704.       </dia:attribute>
  705.       <dia:attribute name="id">
  706.         <dia:string>#101#</dia:string>
  707.       </dia:attribute>
  708.       <dia:attribute name="type">
  709.         <dia:enum val="0"/>
  710.       </dia:attribute>
  711.       <dia:attribute name="active">
  712.         <dia:boolean val="false"/>
  713.       </dia:attribute>
  714.       <dia:attribute name="font">
  715.         <dia:font name="Helvetica-Bold"/>
  716.       </dia:attribute>
  717.       <dia:attribute name="font_size">
  718.         <dia:real val="1"/>
  719.       </dia:attribute>
  720.       <dia:attribute name="font_color">
  721.         <dia:color val="#000000"/>
  722.       </dia:attribute>
  723.       <dia:attribute name="north_pos">
  724.         <dia:point val="25,8"/>
  725.       </dia:attribute>
  726.       <dia:attribute name="south_pos">
  727.         <dia:point val="25,12"/>
  728.       </dia:attribute>
  729.       <dia:connections>
  730.         <dia:connection handle="8" to="O16" connection="0"/>
  731.         <dia:connection handle="9" to="O16" connection="1"/>
  732.       </dia:connections>
  733.     </dia:object>
  734.     <dia:object type="GRAFCET - Vergent" version="0" id="O17">
  735.       <dia:attribute name="obj_pos">
  736.         <dia:point val="24,19"/>
  737.       </dia:attribute>
  738.       <dia:attribute name="obj_bb">
  739.         <dia:rectangle val="23.925,18.775;38.075,19.225"/>
  740.       </dia:attribute>
  741.       <dia:attribute name="conn_endpoints">
  742.         <dia:point val="24,19"/>
  743.         <dia:point val="38,19"/>
  744.       </dia:attribute>
  745.       <dia:attribute name="cpl_north">
  746.         <dia:int val="1"/>
  747.       </dia:attribute>
  748.       <dia:attribute name="cpl_south">
  749.         <dia:int val="1"/>
  750.       </dia:attribute>
  751.       <dia:attribute name="vtype">
  752.         <dia:enum val="1"/>
  753.       </dia:attribute>
  754.     </dia:object>
  755.     <dia:object type="GRAFCET - Step" version="0" id="O18">
  756.       <dia:attribute name="obj_pos">
  757.         <dia:point val="29,21"/>
  758.       </dia:attribute>
  759.       <dia:attribute name="obj_bb">
  760.         <dia:rectangle val="28.95,20.95;33.05,25.05"/>
  761.       </dia:attribute>
  762.       <dia:attribute name="elem_corner">
  763.         <dia:point val="29,21"/>
  764.       </dia:attribute>
  765.       <dia:attribute name="elem_width">
  766.         <dia:real val="4"/>
  767.       </dia:attribute>
  768.       <dia:attribute name="elem_height">
  769.         <dia:real val="4"/>
  770.       </dia:attribute>
  771.       <dia:attribute name="id">
  772.         <dia:string>#S1#</dia:string>
  773.       </dia:attribute>
  774.       <dia:attribute name="type">
  775.         <dia:enum val="3"/>
  776.       </dia:attribute>
  777.       <dia:attribute name="active">
  778.         <dia:boolean val="false"/>
  779.       </dia:attribute>
  780.       <dia:attribute name="font">
  781.         <dia:font name="Helvetica-Bold"/>
  782.       </dia:attribute>
  783.       <dia:attribute name="font_size">
  784.         <dia:real val="1"/>
  785.       </dia:attribute>
  786.       <dia:attribute name="font_color">
  787.         <dia:color val="#000000"/>
  788.       </dia:attribute>
  789.       <dia:attribute name="north_pos">
  790.         <dia:point val="31,21"/>
  791.       </dia:attribute>
  792.       <dia:attribute name="south_pos">
  793.         <dia:point val="31,25"/>
  794.       </dia:attribute>
  795.       <dia:connections>
  796.         <dia:connection handle="8" to="O18" connection="0"/>
  797.         <dia:connection handle="9" to="O18" connection="1"/>
  798.       </dia:connections>
  799.     </dia:object>
  800.     <dia:object type="GRAFCET - Transition" version="0" id="O19">
  801.       <dia:attribute name="obj_pos">
  802.         <dia:point val="30,19"/>
  803.       </dia:attribute>
  804.       <dia:attribute name="obj_bb">
  805.         <dia:rectangle val="29.95,18.95;32.4716,21.05"/>
  806.       </dia:attribute>
  807.       <dia:attribute name="elem_corner">
  808.         <dia:point val="30,19"/>
  809.       </dia:attribute>
  810.       <dia:attribute name="elem_width">
  811.         <dia:real val="2"/>
  812.       </dia:attribute>
  813.       <dia:attribute name="elem_height">
  814.         <dia:real val="2"/>
  815.       </dia:attribute>
  816.       <dia:attribute name="receptivity">
  817.         <dia:string>#=1#</dia:string>
  818.       </dia:attribute>
  819.       <dia:attribute name="rcep_font">
  820.         <dia:font name="Helvetica-Bold"/>
  821.       </dia:attribute>
  822.       <dia:attribute name="rcep_fontheight">
  823.         <dia:real val="0.8"/>
  824.       </dia:attribute>
  825.       <dia:attribute name="rcep_color">
  826.         <dia:color val="#000000"/>
  827.       </dia:attribute>
  828.       <dia:attribute name="north_pos">
  829.         <dia:point val="31,19.15"/>
  830.       </dia:attribute>
  831.       <dia:attribute name="south_pos">
  832.         <dia:point val="31,21"/>
  833.       </dia:attribute>
  834.       <dia:connections>
  835.         <dia:connection handle="8" to="O17" connection="5"/>
  836.         <dia:connection handle="9" to="O18" connection="0"/>
  837.       </dia:connections>
  838.     </dia:object>
  839.     <dia:object type="GRAFCET - Step" version="0" id="O20">
  840.       <dia:attribute name="obj_pos">
  841.         <dia:point val="35,2"/>
  842.       </dia:attribute>
  843.       <dia:attribute name="obj_bb">
  844.         <dia:rectangle val="34.95,1.15;39.05,6.05"/>
  845.       </dia:attribute>
  846.       <dia:attribute name="elem_corner">
  847.         <dia:point val="35,2"/>
  848.       </dia:attribute>
  849.       <dia:attribute name="elem_width">
  850.         <dia:real val="4"/>
  851.       </dia:attribute>
  852.       <dia:attribute name="elem_height">
  853.         <dia:real val="4"/>
  854.       </dia:attribute>
  855.       <dia:attribute name="id">
  856.         <dia:string>#110#</dia:string>
  857.       </dia:attribute>
  858.       <dia:attribute name="type">
  859.         <dia:enum val="0"/>
  860.       </dia:attribute>
  861.       <dia:attribute name="active">
  862.         <dia:boolean val="false"/>
  863.       </dia:attribute>
  864.       <dia:attribute name="font">
  865.         <dia:font name="Helvetica-Bold"/>
  866.       </dia:attribute>
  867.       <dia:attribute name="font_size">
  868.         <dia:real val="1"/>
  869.       </dia:attribute>
  870.       <dia:attribute name="font_color">
  871.         <dia:color val="#000000"/>
  872.       </dia:attribute>
  873.       <dia:attribute name="north_pos">
  874.         <dia:point val="37,1.15"/>
  875.       </dia:attribute>
  876.       <dia:attribute name="south_pos">
  877.         <dia:point val="37,6"/>
  878.       </dia:attribute>
  879.       <dia:connections>
  880.         <dia:connection handle="8" to="O14" connection="3"/>
  881.         <dia:connection handle="9" to="O20" connection="1"/>
  882.       </dia:connections>
  883.     </dia:object>
  884.     <dia:object type="GRAFCET - Action" version="0" id="O21">
  885.       <dia:attribute name="obj_pos">
  886.         <dia:point val="32.5,-3"/>
  887.       </dia:attribute>
  888.       <dia:attribute name="obj_bb">
  889.         <dia:rectangle val="32.45,-4.05;44.5076,-1.71"/>
  890.       </dia:attribute>
  891.       <dia:attribute name="conn_endpoints">
  892.         <dia:point val="32.5,-3"/>
  893.         <dia:point val="34.5,-3"/>
  894.       </dia:attribute>
  895.       <dia:attribute name="text">
  896.         <dia:composite type="text">
  897.           <dia:attribute name="string">
  898.             <dia:string>#Fill tank with water#</dia:string>
  899.           </dia:attribute>
  900.           <dia:attribute name="font">
  901.             <dia:font name="Helvetica-Bold"/>
  902.           </dia:attribute>
  903.           <dia:attribute name="height">
  904.             <dia:real val="0.8"/>
  905.           </dia:attribute>
  906.           <dia:attribute name="pos">
  907.             <dia:point val="34.66,-2.76"/>
  908.           </dia:attribute>
  909.           <dia:attribute name="color">
  910.             <dia:color val="#000000"/>
  911.           </dia:attribute>
  912.           <dia:attribute name="alignment">
  913.             <dia:enum val="0"/>
  914.           </dia:attribute>
  915.         </dia:composite>
  916.       </dia:attribute>
  917.       <dia:attribute name="macro_call">
  918.         <dia:boolean val="false"/>
  919.       </dia:attribute>
  920.       <dia:connections>
  921.         <dia:connection handle="0" to="O12" connection="2"/>
  922.       </dia:connections>
  923.     </dia:object>
  924.     <dia:object type="GRAFCET - Step" version="0" id="O22">
  925.       <dia:attribute name="obj_pos">
  926.         <dia:point val="23,2"/>
  927.       </dia:attribute>
  928.       <dia:attribute name="obj_bb">
  929.         <dia:rectangle val="22.95,1.15;27.05,6.05"/>
  930.       </dia:attribute>
  931.       <dia:attribute name="elem_corner">
  932.         <dia:point val="23,2"/>
  933.       </dia:attribute>
  934.       <dia:attribute name="elem_width">
  935.         <dia:real val="4"/>
  936.       </dia:attribute>
  937.       <dia:attribute name="elem_height">
  938.         <dia:real val="4"/>
  939.       </dia:attribute>
  940.       <dia:attribute name="id">
  941.         <dia:string>#100#</dia:string>
  942.       </dia:attribute>
  943.       <dia:attribute name="type">
  944.         <dia:enum val="0"/>
  945.       </dia:attribute>
  946.       <dia:attribute name="active">
  947.         <dia:boolean val="false"/>
  948.       </dia:attribute>
  949.       <dia:attribute name="font">
  950.         <dia:font name="Helvetica-Bold"/>
  951.       </dia:attribute>
  952.       <dia:attribute name="font_size">
  953.         <dia:real val="1"/>
  954.       </dia:attribute>
  955.       <dia:attribute name="font_color">
  956.         <dia:color val="#000000"/>
  957.       </dia:attribute>
  958.       <dia:attribute name="north_pos">
  959.         <dia:point val="25,1.15"/>
  960.       </dia:attribute>
  961.       <dia:attribute name="south_pos">
  962.         <dia:point val="25,6"/>
  963.       </dia:attribute>
  964.       <dia:connections>
  965.         <dia:connection handle="8" to="O14" connection="2"/>
  966.         <dia:connection handle="9" to="O22" connection="1"/>
  967.       </dia:connections>
  968.     </dia:object>
  969.     <dia:object type="GRAFCET - Transition" version="0" id="O23">
  970.       <dia:attribute name="obj_pos">
  971.         <dia:point val="24,12"/>
  972.       </dia:attribute>
  973.       <dia:attribute name="obj_bb">
  974.         <dia:rectangle val="23.95,11.95;32.8604,14.05"/>
  975.       </dia:attribute>
  976.       <dia:attribute name="elem_corner">
  977.         <dia:point val="24,12"/>
  978.       </dia:attribute>
  979.       <dia:attribute name="elem_width">
  980.         <dia:real val="2"/>
  981.       </dia:attribute>
  982.       <dia:attribute name="elem_height">
  983.         <dia:real val="2"/>
  984.       </dia:attribute>
  985.       <dia:attribute name="receptivity">
  986.         <dia:string>#no more water#</dia:string>
  987.       </dia:attribute>
  988.       <dia:attribute name="rcep_font">
  989.         <dia:font name="Helvetica-Bold"/>
  990.       </dia:attribute>
  991.       <dia:attribute name="rcep_fontheight">
  992.         <dia:real val="0.8"/>
  993.       </dia:attribute>
  994.       <dia:attribute name="rcep_color">
  995.         <dia:color val="#000000"/>
  996.       </dia:attribute>
  997.       <dia:attribute name="north_pos">
  998.         <dia:point val="25,12"/>
  999.       </dia:attribute>
  1000.       <dia:attribute name="south_pos">
  1001.         <dia:point val="25,13.25"/>
  1002.       </dia:attribute>
  1003.       <dia:connections>
  1004.         <dia:connection handle="8" to="O16" connection="1"/>
  1005.         <dia:connection handle="9" to="O23" connection="1"/>
  1006.       </dia:connections>
  1007.     </dia:object>
  1008.     <dia:object type="GRAFCET - Step" version="0" id="O24">
  1009.       <dia:attribute name="obj_pos">
  1010.         <dia:point val="23,14"/>
  1011.       </dia:attribute>
  1012.       <dia:attribute name="obj_bb">
  1013.         <dia:rectangle val="22.95,13.25;27.05,18.85"/>
  1014.       </dia:attribute>
  1015.       <dia:attribute name="elem_corner">
  1016.         <dia:point val="23,14"/>
  1017.       </dia:attribute>
  1018.       <dia:attribute name="elem_width">
  1019.         <dia:real val="4"/>
  1020.       </dia:attribute>
  1021.       <dia:attribute name="elem_height">
  1022.         <dia:real val="4"/>
  1023.       </dia:attribute>
  1024.       <dia:attribute name="id">
  1025.         <dia:string>#102#</dia:string>
  1026.       </dia:attribute>
  1027.       <dia:attribute name="type">
  1028.         <dia:enum val="0"/>
  1029.       </dia:attribute>
  1030.       <dia:attribute name="active">
  1031.         <dia:boolean val="false"/>
  1032.       </dia:attribute>
  1033.       <dia:attribute name="font">
  1034.         <dia:font name="Helvetica-Bold"/>
  1035.       </dia:attribute>
  1036.       <dia:attribute name="font_size">
  1037.         <dia:real val="1"/>
  1038.       </dia:attribute>
  1039.       <dia:attribute name="font_color">
  1040.         <dia:color val="#000000"/>
  1041.       </dia:attribute>
  1042.       <dia:attribute name="north_pos">
  1043.         <dia:point val="25,13.25"/>
  1044.       </dia:attribute>
  1045.       <dia:attribute name="south_pos">
  1046.         <dia:point val="25,18.85"/>
  1047.       </dia:attribute>
  1048.       <dia:connections>
  1049.         <dia:connection handle="8" to="O23" connection="1"/>
  1050.         <dia:connection handle="9" to="O17" connection="1"/>
  1051.       </dia:connections>
  1052.     </dia:object>
  1053.     <dia:object type="GRAFCET - Action" version="0" id="O25">
  1054.       <dia:attribute name="obj_pos">
  1055.         <dia:point val="26.5,10"/>
  1056.       </dia:attribute>
  1057.       <dia:attribute name="obj_bb">
  1058.         <dia:rectangle val="26.45,8.95;34.0388,11.29"/>
  1059.       </dia:attribute>
  1060.       <dia:attribute name="conn_endpoints">
  1061.         <dia:point val="26.5,10"/>
  1062.         <dia:point val="28,10"/>
  1063.       </dia:attribute>
  1064.       <dia:attribute name="text">
  1065.         <dia:composite type="text">
  1066.           <dia:attribute name="string">
  1067.             <dia:string>#flush water#</dia:string>
  1068.           </dia:attribute>
  1069.           <dia:attribute name="font">
  1070.             <dia:font name="Helvetica-Bold"/>
  1071.           </dia:attribute>
  1072.           <dia:attribute name="height">
  1073.             <dia:real val="0.8"/>
  1074.           </dia:attribute>
  1075.           <dia:attribute name="pos">
  1076.             <dia:point val="28.16,10.24"/>
  1077.           </dia:attribute>
  1078.           <dia:attribute name="color">
  1079.             <dia:color val="#000000"/>
  1080.           </dia:attribute>
  1081.           <dia:attribute name="alignment">
  1082.             <dia:enum val="0"/>
  1083.           </dia:attribute>
  1084.         </dia:composite>
  1085.       </dia:attribute>
  1086.       <dia:attribute name="macro_call">
  1087.         <dia:boolean val="false"/>
  1088.       </dia:attribute>
  1089.       <dia:connections>
  1090.         <dia:connection handle="0" to="O16" connection="2"/>
  1091.       </dia:connections>
  1092.     </dia:object>
  1093.     <dia:object type="Standard - Text" version="0" id="O26">
  1094.       <dia:attribute name="obj_pos">
  1095.         <dia:point val="44,5"/>
  1096.       </dia:attribute>
  1097.       <dia:attribute name="obj_bb">
  1098.         <dia:rectangle val="38.137,4.22857;49.863,5.22857"/>
  1099.       </dia:attribute>
  1100.       <dia:attribute name="text">
  1101.         <dia:composite type="text">
  1102.           <dia:attribute name="string">
  1103.             <dia:string>#(rotate the barrel)#</dia:string>
  1104.           </dia:attribute>
  1105.           <dia:attribute name="font">
  1106.             <dia:font name="Courier"/>
  1107.           </dia:attribute>
  1108.           <dia:attribute name="height">
  1109.             <dia:real val="1"/>
  1110.           </dia:attribute>
  1111.           <dia:attribute name="pos">
  1112.             <dia:point val="44,5"/>
  1113.           </dia:attribute>
  1114.           <dia:attribute name="color">
  1115.             <dia:color val="#000000"/>
  1116.           </dia:attribute>
  1117.           <dia:attribute name="alignment">
  1118.             <dia:enum val="1"/>
  1119.           </dia:attribute>
  1120.         </dia:composite>
  1121.       </dia:attribute>
  1122.     </dia:object>
  1123.     <dia:object type="GRAFCET - Transition" version="0" id="O27">
  1124.       <dia:attribute name="obj_pos">
  1125.         <dia:point val="36,6"/>
  1126.       </dia:attribute>
  1127.       <dia:attribute name="obj_bb">
  1128.         <dia:rectangle val="35.95,5.95;40.1524,18.85"/>
  1129.       </dia:attribute>
  1130.       <dia:attribute name="elem_corner">
  1131.         <dia:point val="36,6"/>
  1132.       </dia:attribute>
  1133.       <dia:attribute name="elem_width">
  1134.         <dia:real val="2"/>
  1135.       </dia:attribute>
  1136.       <dia:attribute name="elem_height">
  1137.         <dia:real val="2"/>
  1138.       </dia:attribute>
  1139.       <dia:attribute name="receptivity">
  1140.         <dia:string>#X102#</dia:string>
  1141.       </dia:attribute>
  1142.       <dia:attribute name="rcep_font">
  1143.         <dia:font name="Helvetica-Bold"/>
  1144.       </dia:attribute>
  1145.       <dia:attribute name="rcep_fontheight">
  1146.         <dia:real val="0.8"/>
  1147.       </dia:attribute>
  1148.       <dia:attribute name="rcep_color">
  1149.         <dia:color val="#000000"/>
  1150.       </dia:attribute>
  1151.       <dia:attribute name="north_pos">
  1152.         <dia:point val="37,6"/>
  1153.       </dia:attribute>
  1154.       <dia:attribute name="south_pos">
  1155.         <dia:point val="37,18.85"/>
  1156.       </dia:attribute>
  1157.       <dia:connections>
  1158.         <dia:connection handle="8" to="O20" connection="1"/>
  1159.         <dia:connection handle="9" to="O17" connection="0"/>
  1160.       </dia:connections>
  1161.     </dia:object>
  1162.     <dia:object type="Standard - Text" version="0" id="O28">
  1163.       <dia:attribute name="obj_pos">
  1164.         <dia:point val="5,-8.25"/>
  1165.       </dia:attribute>
  1166.       <dia:attribute name="obj_bb">
  1167.         <dia:rectangle val="2.118,-9.02143;7.882,-8.02143"/>
  1168.       </dia:attribute>
  1169.       <dia:attribute name="text">
  1170.         <dia:composite type="text">
  1171.           <dia:attribute name="string">
  1172.             <dia:string>#Main task#</dia:string>
  1173.           </dia:attribute>
  1174.           <dia:attribute name="font">
  1175.             <dia:font name="Courier"/>
  1176.           </dia:attribute>
  1177.           <dia:attribute name="height">
  1178.             <dia:real val="1"/>
  1179.           </dia:attribute>
  1180.           <dia:attribute name="pos">
  1181.             <dia:point val="5,-8.25"/>
  1182.           </dia:attribute>
  1183.           <dia:attribute name="color">
  1184.             <dia:color val="#000000"/>
  1185.           </dia:attribute>
  1186.           <dia:attribute name="alignment">
  1187.             <dia:enum val="1"/>
  1188.           </dia:attribute>
  1189.         </dia:composite>
  1190.       </dia:attribute>
  1191.     </dia:object>
  1192.     <dia:object type="Standard - Text" version="0" id="O29">
  1193.       <dia:attribute name="obj_pos">
  1194.         <dia:point val="31,-6"/>
  1195.       </dia:attribute>
  1196.       <dia:attribute name="obj_bb">
  1197.         <dia:rectangle val="22.508,-6.77143;39.492,-5.77143"/>
  1198.       </dia:attribute>
  1199.       <dia:attribute name="text">
  1200.         <dia:composite type="text">
  1201.           <dia:attribute name="string">
  1202.             <dia:string>#Expansion of macro 1: Wash#</dia:string>
  1203.           </dia:attribute>
  1204.           <dia:attribute name="font">
  1205.             <dia:font name="Courier"/>
  1206.           </dia:attribute>
  1207.           <dia:attribute name="height">
  1208.             <dia:real val="1"/>
  1209.           </dia:attribute>
  1210.           <dia:attribute name="pos">
  1211.             <dia:point val="31,-6"/>
  1212.           </dia:attribute>
  1213.           <dia:attribute name="color">
  1214.             <dia:color val="#000000"/>
  1215.           </dia:attribute>
  1216.           <dia:attribute name="alignment">
  1217.             <dia:enum val="1"/>
  1218.           </dia:attribute>
  1219.         </dia:composite>
  1220.       </dia:attribute>
  1221.     </dia:object>
  1222.     <dia:object type="Standard - Text" version="0" id="O30">
  1223.       <dia:attribute name="obj_pos">
  1224.         <dia:point val="70,-8"/>
  1225.       </dia:attribute>
  1226.       <dia:attribute name="obj_bb">
  1227.         <dia:rectangle val="59.517,-8.77143;80.483,-6.77143"/>
  1228.       </dia:attribute>
  1229.       <dia:attribute name="text">
  1230.         <dia:composite type="text">
  1231.           <dia:attribute name="string">
  1232.             <dia:string>#Subprogram : Rotate the barrel
  1233. (clockwise and counter-clockwise)#</dia:string>
  1234.           </dia:attribute>
  1235.           <dia:attribute name="font">
  1236.             <dia:font name="Courier"/>
  1237.           </dia:attribute>
  1238.           <dia:attribute name="height">
  1239.             <dia:real val="1"/>
  1240.           </dia:attribute>
  1241.           <dia:attribute name="pos">
  1242.             <dia:point val="70,-8"/>
  1243.           </dia:attribute>
  1244.           <dia:attribute name="color">
  1245.             <dia:color val="#000000"/>
  1246.           </dia:attribute>
  1247.           <dia:attribute name="alignment">
  1248.             <dia:enum val="1"/>
  1249.           </dia:attribute>
  1250.         </dia:composite>
  1251.       </dia:attribute>
  1252.     </dia:object>
  1253.     <dia:object type="GRAFCET - Step" version="0" id="O31">
  1254.       <dia:attribute name="obj_pos">
  1255.         <dia:point val="67,-5"/>
  1256.       </dia:attribute>
  1257.       <dia:attribute name="obj_bb">
  1258.         <dia:rectangle val="66.75,-5.25;71.25,0"/>
  1259.       </dia:attribute>
  1260.       <dia:attribute name="elem_corner">
  1261.         <dia:point val="67,-5"/>
  1262.       </dia:attribute>
  1263.       <dia:attribute name="elem_width">
  1264.         <dia:real val="4"/>
  1265.       </dia:attribute>
  1266.       <dia:attribute name="elem_height">
  1267.         <dia:real val="4"/>
  1268.       </dia:attribute>
  1269.       <dia:attribute name="id">
  1270.         <dia:string>#200#</dia:string>
  1271.       </dia:attribute>
  1272.       <dia:attribute name="type">
  1273.         <dia:enum val="1"/>
  1274.       </dia:attribute>
  1275.       <dia:attribute name="active">
  1276.         <dia:boolean val="false"/>
  1277.       </dia:attribute>
  1278.       <dia:attribute name="font">
  1279.         <dia:font name="Helvetica-Bold"/>
  1280.       </dia:attribute>
  1281.       <dia:attribute name="font_size">
  1282.         <dia:real val="1"/>
  1283.       </dia:attribute>
  1284.       <dia:attribute name="font_color">
  1285.         <dia:color val="#000000"/>
  1286.       </dia:attribute>
  1287.       <dia:attribute name="north_pos">
  1288.         <dia:point val="69,-5"/>
  1289.       </dia:attribute>
  1290.       <dia:attribute name="south_pos">
  1291.         <dia:point val="69,0"/>
  1292.       </dia:attribute>
  1293.       <dia:connections>
  1294.         <dia:connection handle="8" to="O31" connection="0"/>
  1295.       </dia:connections>
  1296.     </dia:object>
  1297.     <dia:object type="GRAFCET - Transition" version="0" id="O32">
  1298.       <dia:attribute name="obj_pos">
  1299.         <dia:point val="68,-1"/>
  1300.       </dia:attribute>
  1301.       <dia:attribute name="obj_bb">
  1302.         <dia:rectangle val="67.95,-1.05;75.0388,1.05"/>
  1303.       </dia:attribute>
  1304.       <dia:attribute name="elem_corner">
  1305.         <dia:point val="68,-1"/>
  1306.       </dia:attribute>
  1307.       <dia:attribute name="elem_width">
  1308.         <dia:real val="2"/>
  1309.       </dia:attribute>
  1310.       <dia:attribute name="elem_height">
  1311.         <dia:real val="2"/>
  1312.       </dia:attribute>
  1313.       <dia:attribute name="receptivity">
  1314.         <dia:string>#X110+X310#</dia:string>
  1315.       </dia:attribute>
  1316.       <dia:attribute name="rcep_font">
  1317.         <dia:font name="Helvetica-Bold"/>
  1318.       </dia:attribute>
  1319.       <dia:attribute name="rcep_fontheight">
  1320.         <dia:real val="0.8"/>
  1321.       </dia:attribute>
  1322.       <dia:attribute name="rcep_color">
  1323.         <dia:color val="#000000"/>
  1324.       </dia:attribute>
  1325.       <dia:attribute name="north_pos">
  1326.         <dia:point val="69,-1"/>
  1327.       </dia:attribute>
  1328.       <dia:attribute name="south_pos">
  1329.         <dia:point val="69,0.25"/>
  1330.       </dia:attribute>
  1331.       <dia:connections>
  1332.         <dia:connection handle="8" to="O31" connection="1"/>
  1333.         <dia:connection handle="9" to="O32" connection="1"/>
  1334.       </dia:connections>
  1335.     </dia:object>
  1336.     <dia:object type="GRAFCET - Step" version="0" id="O33">
  1337.       <dia:attribute name="obj_pos">
  1338.         <dia:point val="67,1"/>
  1339.       </dia:attribute>
  1340.       <dia:attribute name="obj_bb">
  1341.         <dia:rectangle val="66.95,0.25;71.05,5.05"/>
  1342.       </dia:attribute>
  1343.       <dia:attribute name="elem_corner">
  1344.         <dia:point val="67,1"/>
  1345.       </dia:attribute>
  1346.       <dia:attribute name="elem_width">
  1347.         <dia:real val="4"/>
  1348.       </dia:attribute>
  1349.       <dia:attribute name="elem_height">
  1350.         <dia:real val="4"/>
  1351.       </dia:attribute>
  1352.       <dia:attribute name="id">
  1353.         <dia:string>#201#</dia:string>
  1354.       </dia:attribute>
  1355.       <dia:attribute name="type">
  1356.         <dia:enum val="0"/>
  1357.       </dia:attribute>
  1358.       <dia:attribute name="active">
  1359.         <dia:boolean val="false"/>
  1360.       </dia:attribute>
  1361.       <dia:attribute name="font">
  1362.         <dia:font name="Helvetica-Bold"/>
  1363.       </dia:attribute>
  1364.       <dia:attribute name="font_size">
  1365.         <dia:real val="1"/>
  1366.       </dia:attribute>
  1367.       <dia:attribute name="font_color">
  1368.         <dia:color val="#000000"/>
  1369.       </dia:attribute>
  1370.       <dia:attribute name="north_pos">
  1371.         <dia:point val="69,0.25"/>
  1372.       </dia:attribute>
  1373.       <dia:attribute name="south_pos">
  1374.         <dia:point val="69,5"/>
  1375.       </dia:attribute>
  1376.       <dia:connections>
  1377.         <dia:connection handle="8" to="O32" connection="1"/>
  1378.         <dia:connection handle="9" to="O33" connection="1"/>
  1379.       </dia:connections>
  1380.     </dia:object>
  1381.     <dia:object type="GRAFCET - Action" version="0" id="O34">
  1382.       <dia:attribute name="obj_pos">
  1383.         <dia:point val="70.5,3"/>
  1384.       </dia:attribute>
  1385.       <dia:attribute name="obj_bb">
  1386.         <dia:rectangle val="70.45,1.95;97.226,4.29"/>
  1387.       </dia:attribute>
  1388.       <dia:attribute name="conn_endpoints">
  1389.         <dia:point val="70.5,3"/>
  1390.         <dia:point val="74,3"/>
  1391.       </dia:attribute>
  1392.       <dia:attribute name="text">
  1393.         <dia:composite type="text">
  1394.           <dia:attribute name="string">
  1395.             <dia:string>#C
  1396. Rotate clockwise
  1397. C
  1398. Rotate counter-clockwise #</dia:string>
  1399.           </dia:attribute>
  1400.           <dia:attribute name="font">
  1401.             <dia:font name="Helvetica-Bold"/>
  1402.           </dia:attribute>
  1403.           <dia:attribute name="height">
  1404.             <dia:real val="0.8"/>
  1405.           </dia:attribute>
  1406.           <dia:attribute name="pos">
  1407.             <dia:point val="74.16,3.24"/>
  1408.           </dia:attribute>
  1409.           <dia:attribute name="color">
  1410.             <dia:color val="#000000"/>
  1411.           </dia:attribute>
  1412.           <dia:attribute name="alignment">
  1413.             <dia:enum val="0"/>
  1414.           </dia:attribute>
  1415.         </dia:composite>
  1416.       </dia:attribute>
  1417.       <dia:attribute name="macro_call">
  1418.         <dia:boolean val="false"/>
  1419.       </dia:attribute>
  1420.       <dia:connections>
  1421.         <dia:connection handle="0" to="O33" connection="2"/>
  1422.       </dia:connections>
  1423.     </dia:object>
  1424.     <dia:object type="GRAFCET - Transition" version="0" id="O35">
  1425.       <dia:attribute name="obj_pos">
  1426.         <dia:point val="68,5"/>
  1427.       </dia:attribute>
  1428.       <dia:attribute name="obj_bb">
  1429.         <dia:rectangle val="67.95,4.95;73.8948,7.05"/>
  1430.       </dia:attribute>
  1431.       <dia:attribute name="elem_corner">
  1432.         <dia:point val="68,5"/>
  1433.       </dia:attribute>
  1434.       <dia:attribute name="elem_width">
  1435.         <dia:real val="2"/>
  1436.       </dia:attribute>
  1437.       <dia:attribute name="elem_height">
  1438.         <dia:real val="2"/>
  1439.       </dia:attribute>
  1440.       <dia:attribute name="receptivity">
  1441.         <dia:string>#X201/7"#</dia:string>
  1442.       </dia:attribute>
  1443.       <dia:attribute name="rcep_font">
  1444.         <dia:font name="Helvetica-Bold"/>
  1445.       </dia:attribute>
  1446.       <dia:attribute name="rcep_fontheight">
  1447.         <dia:real val="0.8"/>
  1448.       </dia:attribute>
  1449.       <dia:attribute name="rcep_color">
  1450.         <dia:color val="#000000"/>
  1451.       </dia:attribute>
  1452.       <dia:attribute name="north_pos">
  1453.         <dia:point val="69,5"/>
  1454.       </dia:attribute>
  1455.       <dia:attribute name="south_pos">
  1456.         <dia:point val="69,7"/>
  1457.       </dia:attribute>
  1458.       <dia:connections>
  1459.         <dia:connection handle="8" to="O33" connection="1"/>
  1460.       </dia:connections>
  1461.     </dia:object>
  1462.     <dia:object type="GRAFCET - Step" version="0" id="O36">
  1463.       <dia:attribute name="obj_pos">
  1464.         <dia:point val="67,7"/>
  1465.       </dia:attribute>
  1466.       <dia:attribute name="obj_bb">
  1467.         <dia:rectangle val="66.95,6.25;71.05,11.05"/>
  1468.       </dia:attribute>
  1469.       <dia:attribute name="elem_corner">
  1470.         <dia:point val="67,7"/>
  1471.       </dia:attribute>
  1472.       <dia:attribute name="elem_width">
  1473.         <dia:real val="4"/>
  1474.       </dia:attribute>
  1475.       <dia:attribute name="elem_height">
  1476.         <dia:real val="4"/>
  1477.       </dia:attribute>
  1478.       <dia:attribute name="id">
  1479.         <dia:string>#202#</dia:string>
  1480.       </dia:attribute>
  1481.       <dia:attribute name="type">
  1482.         <dia:enum val="0"/>
  1483.       </dia:attribute>
  1484.       <dia:attribute name="active">
  1485.         <dia:boolean val="false"/>
  1486.       </dia:attribute>
  1487.       <dia:attribute name="font">
  1488.         <dia:font name="Helvetica-Bold"/>
  1489.       </dia:attribute>
  1490.       <dia:attribute name="font_size">
  1491.         <dia:real val="1"/>
  1492.       </dia:attribute>
  1493.       <dia:attribute name="font_color">
  1494.         <dia:color val="#000000"/>
  1495.       </dia:attribute>
  1496.       <dia:attribute name="north_pos">
  1497.         <dia:point val="69,6.25"/>
  1498.       </dia:attribute>
  1499.       <dia:attribute name="south_pos">
  1500.         <dia:point val="69,11"/>
  1501.       </dia:attribute>
  1502.       <dia:connections>
  1503.         <dia:connection handle="8" to="O35" connection="1"/>
  1504.         <dia:connection handle="9" to="O36" connection="1"/>
  1505.       </dia:connections>
  1506.     </dia:object>
  1507.     <dia:object type="Standard - Text" version="0" id="O37">
  1508.       <dia:attribute name="obj_pos">
  1509.         <dia:point val="78,9"/>
  1510.       </dia:attribute>
  1511.       <dia:attribute name="obj_bb">
  1512.         <dia:rectangle val="71.0095,8.22857;84.9905,10.2286"/>
  1513.       </dia:attribute>
  1514.       <dia:attribute name="text">
  1515.         <dia:composite type="text">
  1516.           <dia:attribute name="string">
  1517.             <dia:string>#(wait a bit for things
  1518.  to calm down)#</dia:string>
  1519.           </dia:attribute>
  1520.           <dia:attribute name="font">
  1521.             <dia:font name="Courier"/>
  1522.           </dia:attribute>
  1523.           <dia:attribute name="height">
  1524.             <dia:real val="1"/>
  1525.           </dia:attribute>
  1526.           <dia:attribute name="pos">
  1527.             <dia:point val="78,9"/>
  1528.           </dia:attribute>
  1529.           <dia:attribute name="color">
  1530.             <dia:color val="#000000"/>
  1531.           </dia:attribute>
  1532.           <dia:attribute name="alignment">
  1533.             <dia:enum val="1"/>
  1534.           </dia:attribute>
  1535.         </dia:composite>
  1536.       </dia:attribute>
  1537.     </dia:object>
  1538.     <dia:object type="GRAFCET - Transition" version="0" id="O38">
  1539.       <dia:attribute name="obj_pos">
  1540.         <dia:point val="68,11"/>
  1541.       </dia:attribute>
  1542.       <dia:attribute name="obj_bb">
  1543.         <dia:rectangle val="67.95,10.95;73.8948,13.05"/>
  1544.       </dia:attribute>
  1545.       <dia:attribute name="elem_corner">
  1546.         <dia:point val="68,11"/>
  1547.       </dia:attribute>
  1548.       <dia:attribute name="elem_width">
  1549.         <dia:real val="2"/>
  1550.       </dia:attribute>
  1551.       <dia:attribute name="elem_height">
  1552.         <dia:real val="2"/>
  1553.       </dia:attribute>
  1554.       <dia:attribute name="receptivity">
  1555.         <dia:string>#X202/3"#</dia:string>
  1556.       </dia:attribute>
  1557.       <dia:attribute name="rcep_font">
  1558.         <dia:font name="Helvetica-Bold"/>
  1559.       </dia:attribute>
  1560.       <dia:attribute name="rcep_fontheight">
  1561.         <dia:real val="0.8"/>
  1562.       </dia:attribute>
  1563.       <dia:attribute name="rcep_color">
  1564.         <dia:color val="#000000"/>
  1565.       </dia:attribute>
  1566.       <dia:attribute name="north_pos">
  1567.         <dia:point val="69,11"/>
  1568.       </dia:attribute>
  1569.       <dia:attribute name="south_pos">
  1570.         <dia:point val="69,12.25"/>
  1571.       </dia:attribute>
  1572.       <dia:connections>
  1573.         <dia:connection handle="8" to="O36" connection="1"/>
  1574.         <dia:connection handle="9" to="O38" connection="1"/>
  1575.       </dia:connections>
  1576.     </dia:object>
  1577.     <dia:object type="GRAFCET - Arc" version="0" id="O39">
  1578.       <dia:attribute name="obj_pos">
  1579.         <dia:point val="69,12.25"/>
  1580.       </dia:attribute>
  1581.       <dia:attribute name="obj_bb">
  1582.         <dia:rectangle val="64.65,-6.35;69.35,13.35"/>
  1583.       </dia:attribute>
  1584.       <dia:attribute name="orth_points">
  1585.         <dia:point val="69,12.25"/>
  1586.         <dia:point val="69,13"/>
  1587.         <dia:point val="65,13"/>
  1588.         <dia:point val="65,-6"/>
  1589.         <dia:point val="69,-6"/>
  1590.         <dia:point val="69,-5"/>
  1591.       </dia:attribute>
  1592.       <dia:attribute name="orth_orient">
  1593.         <dia:enum val="1"/>
  1594.         <dia:enum val="0"/>
  1595.         <dia:enum val="1"/>
  1596.         <dia:enum val="0"/>
  1597.         <dia:enum val="1"/>
  1598.       </dia:attribute>
  1599.       <dia:attribute name="uparrow">
  1600.         <dia:boolean val="true"/>
  1601.       </dia:attribute>
  1602.       <dia:connections>
  1603.         <dia:connection handle="0" to="O38" connection="1"/>
  1604.         <dia:connection handle="1" to="O31" connection="0"/>
  1605.       </dia:connections>
  1606.     </dia:object>
  1607.     <dia:object type="Standard - Text" version="0" id="O40">
  1608.       <dia:attribute name="obj_pos">
  1609.         <dia:point val="35,31"/>
  1610.       </dia:attribute>
  1611.       <dia:attribute name="obj_bb">
  1612.         <dia:rectangle val="26.2,30.2286;43.8,31.2286"/>
  1613.       </dia:attribute>
  1614.       <dia:attribute name="text">
  1615.         <dia:composite type="text">
  1616.           <dia:attribute name="string">
  1617.             <dia:string>#Expansion of macro 2: Rinse#</dia:string>
  1618.           </dia:attribute>
  1619.           <dia:attribute name="font">
  1620.             <dia:font name="Courier"/>
  1621.           </dia:attribute>
  1622.           <dia:attribute name="height">
  1623.             <dia:real val="1"/>
  1624.           </dia:attribute>
  1625.           <dia:attribute name="pos">
  1626.             <dia:point val="35,31"/>
  1627.           </dia:attribute>
  1628.           <dia:attribute name="color">
  1629.             <dia:color val="#000000"/>
  1630.           </dia:attribute>
  1631.           <dia:attribute name="alignment">
  1632.             <dia:enum val="1"/>
  1633.           </dia:attribute>
  1634.         </dia:composite>
  1635.       </dia:attribute>
  1636.     </dia:object>
  1637.     <dia:object type="GRAFCET - Step" version="0" id="O41">
  1638.       <dia:attribute name="obj_pos">
  1639.         <dia:point val="45,30"/>
  1640.       </dia:attribute>
  1641.       <dia:attribute name="obj_bb">
  1642.         <dia:rectangle val="44.95,29.95;49.05,34.05"/>
  1643.       </dia:attribute>
  1644.       <dia:attribute name="elem_corner">
  1645.         <dia:point val="45,30"/>
  1646.       </dia:attribute>
  1647.       <dia:attribute name="elem_width">
  1648.         <dia:real val="4"/>
  1649.       </dia:attribute>
  1650.       <dia:attribute name="elem_height">
  1651.         <dia:real val="4"/>
  1652.       </dia:attribute>
  1653.       <dia:attribute name="id">
  1654.         <dia:string>#E2#</dia:string>
  1655.       </dia:attribute>
  1656.       <dia:attribute name="type">
  1657.         <dia:enum val="2"/>
  1658.       </dia:attribute>
  1659.       <dia:attribute name="active">
  1660.         <dia:boolean val="false"/>
  1661.       </dia:attribute>
  1662.       <dia:attribute name="font">
  1663.         <dia:font name="Helvetica-Bold"/>
  1664.       </dia:attribute>
  1665.       <dia:attribute name="font_size">
  1666.         <dia:real val="1"/>
  1667.       </dia:attribute>
  1668.       <dia:attribute name="font_color">
  1669.         <dia:color val="#000000"/>
  1670.       </dia:attribute>
  1671.       <dia:attribute name="north_pos">
  1672.         <dia:point val="47,30"/>
  1673.       </dia:attribute>
  1674.       <dia:attribute name="south_pos">
  1675.         <dia:point val="47,34"/>
  1676.       </dia:attribute>
  1677.       <dia:connections>
  1678.         <dia:connection handle="8" to="O41" connection="0"/>
  1679.         <dia:connection handle="9" to="O41" connection="1"/>
  1680.       </dia:connections>
  1681.     </dia:object>
  1682.     <dia:object type="GRAFCET - Transition" version="0" id="O42">
  1683.       <dia:attribute name="obj_pos">
  1684.         <dia:point val="46,34"/>
  1685.       </dia:attribute>
  1686.       <dia:attribute name="obj_bb">
  1687.         <dia:rectangle val="45.95,33.95;48.4716,36.05"/>
  1688.       </dia:attribute>
  1689.       <dia:attribute name="elem_corner">
  1690.         <dia:point val="46,34"/>
  1691.       </dia:attribute>
  1692.       <dia:attribute name="elem_width">
  1693.         <dia:real val="2"/>
  1694.       </dia:attribute>
  1695.       <dia:attribute name="elem_height">
  1696.         <dia:real val="2"/>
  1697.       </dia:attribute>
  1698.       <dia:attribute name="receptivity">
  1699.         <dia:string>#=1#</dia:string>
  1700.       </dia:attribute>
  1701.       <dia:attribute name="rcep_font">
  1702.         <dia:font name="Helvetica-Bold"/>
  1703.       </dia:attribute>
  1704.       <dia:attribute name="rcep_fontheight">
  1705.         <dia:real val="0.8"/>
  1706.       </dia:attribute>
  1707.       <dia:attribute name="rcep_color">
  1708.         <dia:color val="#000000"/>
  1709.       </dia:attribute>
  1710.       <dia:attribute name="north_pos">
  1711.         <dia:point val="47,34"/>
  1712.       </dia:attribute>
  1713.       <dia:attribute name="south_pos">
  1714.         <dia:point val="47,35.85"/>
  1715.       </dia:attribute>
  1716.       <dia:connections>
  1717.         <dia:connection handle="8" to="O41" connection="1"/>
  1718.         <dia:connection handle="9" to="O43" connection="4"/>
  1719.       </dia:connections>
  1720.     </dia:object>
  1721.     <dia:object type="GRAFCET - Vergent" version="0" id="O43">
  1722.       <dia:attribute name="obj_pos">
  1723.         <dia:point val="30,36"/>
  1724.       </dia:attribute>
  1725.       <dia:attribute name="obj_bb">
  1726.         <dia:rectangle val="29.925,35.775;64.075,36.225"/>
  1727.       </dia:attribute>
  1728.       <dia:attribute name="conn_endpoints">
  1729.         <dia:point val="30,36"/>
  1730.         <dia:point val="64,36"/>
  1731.       </dia:attribute>
  1732.       <dia:attribute name="cpl_north">
  1733.         <dia:int val="1"/>
  1734.       </dia:attribute>
  1735.       <dia:attribute name="cpl_south">
  1736.         <dia:int val="1"/>
  1737.       </dia:attribute>
  1738.       <dia:attribute name="vtype">
  1739.         <dia:enum val="1"/>
  1740.       </dia:attribute>
  1741.     </dia:object>
  1742.     <dia:object type="GRAFCET - Step" version="0" id="O44">
  1743.       <dia:attribute name="obj_pos">
  1744.         <dia:point val="29,37"/>
  1745.       </dia:attribute>
  1746.       <dia:attribute name="obj_bb">
  1747.         <dia:rectangle val="28.95,36.15;33.05,41.05"/>
  1748.       </dia:attribute>
  1749.       <dia:attribute name="elem_corner">
  1750.         <dia:point val="29,37"/>
  1751.       </dia:attribute>
  1752.       <dia:attribute name="elem_width">
  1753.         <dia:real val="4"/>
  1754.       </dia:attribute>
  1755.       <dia:attribute name="elem_height">
  1756.         <dia:real val="4"/>
  1757.       </dia:attribute>
  1758.       <dia:attribute name="id">
  1759.         <dia:string>#301#</dia:string>
  1760.       </dia:attribute>
  1761.       <dia:attribute name="type">
  1762.         <dia:enum val="0"/>
  1763.       </dia:attribute>
  1764.       <dia:attribute name="active">
  1765.         <dia:boolean val="false"/>
  1766.       </dia:attribute>
  1767.       <dia:attribute name="font">
  1768.         <dia:font name="Helvetica-Bold"/>
  1769.       </dia:attribute>
  1770.       <dia:attribute name="font_size">
  1771.         <dia:real val="1"/>
  1772.       </dia:attribute>
  1773.       <dia:attribute name="font_color">
  1774.         <dia:color val="#000000"/>
  1775.       </dia:attribute>
  1776.       <dia:attribute name="north_pos">
  1777.         <dia:point val="31,36.15"/>
  1778.       </dia:attribute>
  1779.       <dia:attribute name="south_pos">
  1780.         <dia:point val="31,41"/>
  1781.       </dia:attribute>
  1782.       <dia:connections>
  1783.         <dia:connection handle="8" to="O43" connection="2"/>
  1784.         <dia:connection handle="9" to="O44" connection="1"/>
  1785.       </dia:connections>
  1786.     </dia:object>
  1787.     <dia:object type="GRAFCET - Transition" version="0" id="O45">
  1788.       <dia:attribute name="obj_pos">
  1789.         <dia:point val="30,41"/>
  1790.       </dia:attribute>
  1791.       <dia:attribute name="obj_bb">
  1792.         <dia:rectangle val="29.95,40.95;36.5196,43.05"/>
  1793.       </dia:attribute>
  1794.       <dia:attribute name="elem_corner">
  1795.         <dia:point val="30,41"/>
  1796.       </dia:attribute>
  1797.       <dia:attribute name="elem_width">
  1798.         <dia:real val="2"/>
  1799.       </dia:attribute>
  1800.       <dia:attribute name="elem_height">
  1801.         <dia:real val="2"/>
  1802.       </dia:attribute>
  1803.       <dia:attribute name="receptivity">
  1804.         <dia:string>#X301/30"#</dia:string>
  1805.       </dia:attribute>
  1806.       <dia:attribute name="rcep_font">
  1807.         <dia:font name="Helvetica-Bold"/>
  1808.       </dia:attribute>
  1809.       <dia:attribute name="rcep_fontheight">
  1810.         <dia:real val="0.8"/>
  1811.       </dia:attribute>
  1812.       <dia:attribute name="rcep_color">
  1813.         <dia:color val="#000000"/>
  1814.       </dia:attribute>
  1815.       <dia:attribute name="north_pos">
  1816.         <dia:point val="31,41"/>
  1817.       </dia:attribute>
  1818.       <dia:attribute name="south_pos">
  1819.         <dia:point val="31,43"/>
  1820.       </dia:attribute>
  1821.       <dia:connections>
  1822.         <dia:connection handle="8" to="O44" connection="1"/>
  1823.         <dia:connection handle="9" to="O46" connection="0"/>
  1824.       </dia:connections>
  1825.     </dia:object>
  1826.     <dia:object type="GRAFCET - Step" version="0" id="O46">
  1827.       <dia:attribute name="obj_pos">
  1828.         <dia:point val="29,43"/>
  1829.       </dia:attribute>
  1830.       <dia:attribute name="obj_bb">
  1831.         <dia:rectangle val="28.95,42.95;33.05,58.85"/>
  1832.       </dia:attribute>
  1833.       <dia:attribute name="elem_corner">
  1834.         <dia:point val="29,43"/>
  1835.       </dia:attribute>
  1836.       <dia:attribute name="elem_width">
  1837.         <dia:real val="4"/>
  1838.       </dia:attribute>
  1839.       <dia:attribute name="elem_height">
  1840.         <dia:real val="4"/>
  1841.       </dia:attribute>
  1842.       <dia:attribute name="id">
  1843.         <dia:string>#302#</dia:string>
  1844.       </dia:attribute>
  1845.       <dia:attribute name="type">
  1846.         <dia:enum val="0"/>
  1847.       </dia:attribute>
  1848.       <dia:attribute name="active">
  1849.         <dia:boolean val="false"/>
  1850.       </dia:attribute>
  1851.       <dia:attribute name="font">
  1852.         <dia:font name="Helvetica-Bold"/>
  1853.       </dia:attribute>
  1854.       <dia:attribute name="font_size">
  1855.         <dia:real val="1"/>
  1856.       </dia:attribute>
  1857.       <dia:attribute name="font_color">
  1858.         <dia:color val="#000000"/>
  1859.       </dia:attribute>
  1860.       <dia:attribute name="north_pos">
  1861.         <dia:point val="31,43"/>
  1862.       </dia:attribute>
  1863.       <dia:attribute name="south_pos">
  1864.         <dia:point val="31,58.85"/>
  1865.       </dia:attribute>
  1866.       <dia:connections>
  1867.         <dia:connection handle="8" to="O46" connection="0"/>
  1868.         <dia:connection handle="9" to="O58" connection="1"/>
  1869.       </dia:connections>
  1870.     </dia:object>
  1871.     <dia:object type="GRAFCET - Step" version="0" id="O47">
  1872.       <dia:attribute name="obj_pos">
  1873.         <dia:point val="38,39"/>
  1874.       </dia:attribute>
  1875.       <dia:attribute name="obj_bb">
  1876.         <dia:rectangle val="37.95,38;42.05,43.05"/>
  1877.       </dia:attribute>
  1878.       <dia:attribute name="elem_corner">
  1879.         <dia:point val="38,39"/>
  1880.       </dia:attribute>
  1881.       <dia:attribute name="elem_width">
  1882.         <dia:real val="4"/>
  1883.       </dia:attribute>
  1884.       <dia:attribute name="elem_height">
  1885.         <dia:real val="4"/>
  1886.       </dia:attribute>
  1887.       <dia:attribute name="id">
  1888.         <dia:string>#303#</dia:string>
  1889.       </dia:attribute>
  1890.       <dia:attribute name="type">
  1891.         <dia:enum val="0"/>
  1892.       </dia:attribute>
  1893.       <dia:attribute name="active">
  1894.         <dia:boolean val="false"/>
  1895.       </dia:attribute>
  1896.       <dia:attribute name="font">
  1897.         <dia:font name="Helvetica-Bold"/>
  1898.       </dia:attribute>
  1899.       <dia:attribute name="font_size">
  1900.         <dia:real val="1"/>
  1901.       </dia:attribute>
  1902.       <dia:attribute name="font_color">
  1903.         <dia:color val="#000000"/>
  1904.       </dia:attribute>
  1905.       <dia:attribute name="north_pos">
  1906.         <dia:point val="40,38"/>
  1907.       </dia:attribute>
  1908.       <dia:attribute name="south_pos">
  1909.         <dia:point val="40,43"/>
  1910.       </dia:attribute>
  1911.       <dia:connections>
  1912.         <dia:connection handle="8" to="O48" connection="1"/>
  1913.         <dia:connection handle="9" to="O47" connection="1"/>
  1914.       </dia:connections>
  1915.     </dia:object>
  1916.     <dia:object type="GRAFCET - Vergent" version="0" id="O48">
  1917.       <dia:attribute name="obj_pos">
  1918.         <dia:point val="39,38"/>
  1919.       </dia:attribute>
  1920.       <dia:attribute name="obj_bb">
  1921.         <dia:rectangle val="38.925,37.925;55.075,38.075"/>
  1922.       </dia:attribute>
  1923.       <dia:attribute name="conn_endpoints">
  1924.         <dia:point val="39,38"/>
  1925.         <dia:point val="55,38"/>
  1926.       </dia:attribute>
  1927.       <dia:attribute name="cpl_north">
  1928.         <dia:int val="1"/>
  1929.       </dia:attribute>
  1930.       <dia:attribute name="cpl_south">
  1931.         <dia:int val="1"/>
  1932.       </dia:attribute>
  1933.       <dia:attribute name="vtype">
  1934.         <dia:enum val="0"/>
  1935.       </dia:attribute>
  1936.     </dia:object>
  1937.     <dia:object type="GRAFCET - Arc" version="0" id="O49">
  1938.       <dia:attribute name="obj_pos">
  1939.         <dia:point val="47,36.15"/>
  1940.       </dia:attribute>
  1941.       <dia:attribute name="obj_bb">
  1942.         <dia:rectangle val="46.65,36.1;47.35,38.05"/>
  1943.       </dia:attribute>
  1944.       <dia:attribute name="orth_points">
  1945.         <dia:point val="47,36.15"/>
  1946.         <dia:point val="47,37"/>
  1947.         <dia:point val="47,37"/>
  1948.         <dia:point val="47,38"/>
  1949.       </dia:attribute>
  1950.       <dia:attribute name="orth_orient">
  1951.         <dia:enum val="1"/>
  1952.         <dia:enum val="0"/>
  1953.         <dia:enum val="1"/>
  1954.       </dia:attribute>
  1955.       <dia:attribute name="uparrow">
  1956.         <dia:boolean val="true"/>
  1957.       </dia:attribute>
  1958.       <dia:connections>
  1959.         <dia:connection handle="0" to="O43" connection="5"/>
  1960.         <dia:connection handle="1" to="O48" connection="4"/>
  1961.       </dia:connections>
  1962.     </dia:object>
  1963.     <dia:object type="GRAFCET - Action" version="0" id="O50">
  1964.       <dia:attribute name="obj_pos">
  1965.         <dia:point val="41.5,41"/>
  1966.       </dia:attribute>
  1967.       <dia:attribute name="obj_bb">
  1968.         <dia:rectangle val="41.45,39.95;53.0076,42.29"/>
  1969.       </dia:attribute>
  1970.       <dia:attribute name="conn_endpoints">
  1971.         <dia:point val="41.5,41"/>
  1972.         <dia:point val="43,41"/>
  1973.       </dia:attribute>
  1974.       <dia:attribute name="text">
  1975.         <dia:composite type="text">
  1976.           <dia:attribute name="string">
  1977.             <dia:string>#Fill tank with water#</dia:string>
  1978.           </dia:attribute>
  1979.           <dia:attribute name="font">
  1980.             <dia:font name="Helvetica-Bold"/>
  1981.           </dia:attribute>
  1982.           <dia:attribute name="height">
  1983.             <dia:real val="0.8"/>
  1984.           </dia:attribute>
  1985.           <dia:attribute name="pos">
  1986.             <dia:point val="43.16,41.24"/>
  1987.           </dia:attribute>
  1988.           <dia:attribute name="color">
  1989.             <dia:color val="#000000"/>
  1990.           </dia:attribute>
  1991.           <dia:attribute name="alignment">
  1992.             <dia:enum val="0"/>
  1993.           </dia:attribute>
  1994.         </dia:composite>
  1995.       </dia:attribute>
  1996.       <dia:attribute name="macro_call">
  1997.         <dia:boolean val="false"/>
  1998.       </dia:attribute>
  1999.       <dia:connections>
  2000.         <dia:connection handle="0" to="O47" connection="2"/>
  2001.       </dia:connections>
  2002.     </dia:object>
  2003.     <dia:object type="GRAFCET - Transition" version="0" id="O51">
  2004.       <dia:attribute name="obj_pos">
  2005.         <dia:point val="39,43"/>
  2006.       </dia:attribute>
  2007.       <dia:attribute name="obj_bb">
  2008.         <dia:rectangle val="38.95,42.95;44.6924,45.05"/>
  2009.       </dia:attribute>
  2010.       <dia:attribute name="elem_corner">
  2011.         <dia:point val="39,43"/>
  2012.       </dia:attribute>
  2013.       <dia:attribute name="elem_width">
  2014.         <dia:real val="2"/>
  2015.       </dia:attribute>
  2016.       <dia:attribute name="elem_height">
  2017.         <dia:real val="2"/>
  2018.       </dia:attribute>
  2019.       <dia:attribute name="receptivity">
  2020.         <dia:string>#tank full#</dia:string>
  2021.       </dia:attribute>
  2022.       <dia:attribute name="rcep_font">
  2023.         <dia:font name="Helvetica-Bold"/>
  2024.       </dia:attribute>
  2025.       <dia:attribute name="rcep_fontheight">
  2026.         <dia:real val="0.8"/>
  2027.       </dia:attribute>
  2028.       <dia:attribute name="rcep_color">
  2029.         <dia:color val="#000000"/>
  2030.       </dia:attribute>
  2031.       <dia:attribute name="north_pos">
  2032.         <dia:point val="40,43"/>
  2033.       </dia:attribute>
  2034.       <dia:attribute name="south_pos">
  2035.         <dia:point val="40,45"/>
  2036.       </dia:attribute>
  2037.       <dia:connections>
  2038.         <dia:connection handle="8" to="O47" connection="1"/>
  2039.         <dia:connection handle="9" to="O52" connection="0"/>
  2040.       </dia:connections>
  2041.     </dia:object>
  2042.     <dia:object type="GRAFCET - Step" version="0" id="O52">
  2043.       <dia:attribute name="obj_pos">
  2044.         <dia:point val="38,45"/>
  2045.       </dia:attribute>
  2046.       <dia:attribute name="obj_bb">
  2047.         <dia:rectangle val="37.95,44.25;42.05,49.05"/>
  2048.       </dia:attribute>
  2049.       <dia:attribute name="elem_corner">
  2050.         <dia:point val="38,45"/>
  2051.       </dia:attribute>
  2052.       <dia:attribute name="elem_width">
  2053.         <dia:real val="4"/>
  2054.       </dia:attribute>
  2055.       <dia:attribute name="elem_height">
  2056.         <dia:real val="4"/>
  2057.       </dia:attribute>
  2058.       <dia:attribute name="id">
  2059.         <dia:string>#304#</dia:string>
  2060.       </dia:attribute>
  2061.       <dia:attribute name="type">
  2062.         <dia:enum val="0"/>
  2063.       </dia:attribute>
  2064.       <dia:attribute name="active">
  2065.         <dia:boolean val="false"/>
  2066.       </dia:attribute>
  2067.       <dia:attribute name="font">
  2068.         <dia:font name="Helvetica-Bold"/>
  2069.       </dia:attribute>
  2070.       <dia:attribute name="font_size">
  2071.         <dia:real val="1"/>
  2072.       </dia:attribute>
  2073.       <dia:attribute name="font_color">
  2074.         <dia:color val="#000000"/>
  2075.       </dia:attribute>
  2076.       <dia:attribute name="north_pos">
  2077.         <dia:point val="40,44.25"/>
  2078.       </dia:attribute>
  2079.       <dia:attribute name="south_pos">
  2080.         <dia:point val="40,49"/>
  2081.       </dia:attribute>
  2082.       <dia:connections>
  2083.         <dia:connection handle="8" to="O51" connection="1"/>
  2084.         <dia:connection handle="9" to="O52" connection="1"/>
  2085.       </dia:connections>
  2086.     </dia:object>
  2087.     <dia:object type="GRAFCET - Transition" version="0" id="O53">
  2088.       <dia:attribute name="obj_pos">
  2089.         <dia:point val="39,49"/>
  2090.       </dia:attribute>
  2091.       <dia:attribute name="obj_bb">
  2092.         <dia:rectangle val="38.95,48.95;44.666,51.05"/>
  2093.       </dia:attribute>
  2094.       <dia:attribute name="elem_corner">
  2095.         <dia:point val="39,49"/>
  2096.       </dia:attribute>
  2097.       <dia:attribute name="elem_width">
  2098.         <dia:real val="2"/>
  2099.       </dia:attribute>
  2100.       <dia:attribute name="elem_height">
  2101.         <dia:real val="2"/>
  2102.       </dia:attribute>
  2103.       <dia:attribute name="receptivity">
  2104.         <dia:string>#X304/7'#</dia:string>
  2105.       </dia:attribute>
  2106.       <dia:attribute name="rcep_font">
  2107.         <dia:font name="Helvetica-Bold"/>
  2108.       </dia:attribute>
  2109.       <dia:attribute name="rcep_fontheight">
  2110.         <dia:real val="0.8"/>
  2111.       </dia:attribute>
  2112.       <dia:attribute name="rcep_color">
  2113.         <dia:color val="#000000"/>
  2114.       </dia:attribute>
  2115.       <dia:attribute name="north_pos">
  2116.         <dia:point val="40,49"/>
  2117.       </dia:attribute>
  2118.       <dia:attribute name="south_pos">
  2119.         <dia:point val="40,50.25"/>
  2120.       </dia:attribute>
  2121.       <dia:connections>
  2122.         <dia:connection handle="8" to="O52" connection="1"/>
  2123.         <dia:connection handle="9" to="O53" connection="1"/>
  2124.       </dia:connections>
  2125.     </dia:object>
  2126.     <dia:object type="GRAFCET - Step" version="0" id="O54">
  2127.       <dia:attribute name="obj_pos">
  2128.         <dia:point val="38,51"/>
  2129.       </dia:attribute>
  2130.       <dia:attribute name="obj_bb">
  2131.         <dia:rectangle val="37.95,50.25;42.05,56.05"/>
  2132.       </dia:attribute>
  2133.       <dia:attribute name="elem_corner">
  2134.         <dia:point val="38,51"/>
  2135.       </dia:attribute>
  2136.       <dia:attribute name="elem_width">
  2137.         <dia:real val="4"/>
  2138.       </dia:attribute>
  2139.       <dia:attribute name="elem_height">
  2140.         <dia:real val="5"/>
  2141.       </dia:attribute>
  2142.       <dia:attribute name="id">
  2143.         <dia:string>#305#</dia:string>
  2144.       </dia:attribute>
  2145.       <dia:attribute name="type">
  2146.         <dia:enum val="0"/>
  2147.       </dia:attribute>
  2148.       <dia:attribute name="active">
  2149.         <dia:boolean val="false"/>
  2150.       </dia:attribute>
  2151.       <dia:attribute name="font">
  2152.         <dia:font name="Helvetica-Bold"/>
  2153.       </dia:attribute>
  2154.       <dia:attribute name="font_size">
  2155.         <dia:real val="1"/>
  2156.       </dia:attribute>
  2157.       <dia:attribute name="font_color">
  2158.         <dia:color val="#000000"/>
  2159.       </dia:attribute>
  2160.       <dia:attribute name="north_pos">
  2161.         <dia:point val="40,50.25"/>
  2162.       </dia:attribute>
  2163.       <dia:attribute name="south_pos">
  2164.         <dia:point val="40,56"/>
  2165.       </dia:attribute>
  2166.       <dia:connections>
  2167.         <dia:connection handle="8" to="O53" connection="1"/>
  2168.         <dia:connection handle="9" to="O57" connection="1"/>
  2169.       </dia:connections>
  2170.     </dia:object>
  2171.     <dia:object type="GRAFCET - Action" version="0" id="O55">
  2172.       <dia:attribute name="obj_pos">
  2173.         <dia:point val="41.5,53"/>
  2174.       </dia:attribute>
  2175.       <dia:attribute name="obj_bb">
  2176.         <dia:rectangle val="41.45,51.95;49.0036,54.29"/>
  2177.       </dia:attribute>
  2178.       <dia:attribute name="conn_endpoints">
  2179.         <dia:point val="41.5,53"/>
  2180.         <dia:point val="43,53"/>
  2181.       </dia:attribute>
  2182.       <dia:attribute name="text">
  2183.         <dia:composite type="text">
  2184.           <dia:attribute name="string">
  2185.             <dia:string>#Empty tank#</dia:string>
  2186.           </dia:attribute>
  2187.           <dia:attribute name="font">
  2188.             <dia:font name="Helvetica-Bold"/>
  2189.           </dia:attribute>
  2190.           <dia:attribute name="height">
  2191.             <dia:real val="0.8"/>
  2192.           </dia:attribute>
  2193.           <dia:attribute name="pos">
  2194.             <dia:point val="43.16,53.24"/>
  2195.           </dia:attribute>
  2196.           <dia:attribute name="color">
  2197.             <dia:color val="#000000"/>
  2198.           </dia:attribute>
  2199.           <dia:attribute name="alignment">
  2200.             <dia:enum val="0"/>
  2201.           </dia:attribute>
  2202.         </dia:composite>
  2203.       </dia:attribute>
  2204.       <dia:attribute name="macro_call">
  2205.         <dia:boolean val="false"/>
  2206.       </dia:attribute>
  2207.       <dia:connections>
  2208.         <dia:connection handle="0" to="O54" connection="2"/>
  2209.       </dia:connections>
  2210.     </dia:object>
  2211.     <dia:object type="GRAFCET - Transition" version="0" id="O56">
  2212.       <dia:attribute name="obj_pos">
  2213.         <dia:point val="39,56"/>
  2214.       </dia:attribute>
  2215.       <dia:attribute name="obj_bb">
  2216.         <dia:rectangle val="38.95,55.95;50.2822,58.85"/>
  2217.       </dia:attribute>
  2218.       <dia:attribute name="elem_corner">
  2219.         <dia:point val="39,56"/>
  2220.       </dia:attribute>
  2221.       <dia:attribute name="elem_width">
  2222.         <dia:real val="2"/>
  2223.       </dia:attribute>
  2224.       <dia:attribute name="elem_height">
  2225.         <dia:real val="2"/>
  2226.       </dia:attribute>
  2227.       <dia:attribute name="receptivity">
  2228.         <dia:string>#(tank empty).X302#</dia:string>
  2229.       </dia:attribute>
  2230.       <dia:attribute name="rcep_font">
  2231.         <dia:font name="Helvetica-Bold"/>
  2232.       </dia:attribute>
  2233.       <dia:attribute name="rcep_fontheight">
  2234.         <dia:real val="0.8"/>
  2235.       </dia:attribute>
  2236.       <dia:attribute name="rcep_color">
  2237.         <dia:color val="#000000"/>
  2238.       </dia:attribute>
  2239.       <dia:attribute name="north_pos">
  2240.         <dia:point val="40,56"/>
  2241.       </dia:attribute>
  2242.       <dia:attribute name="south_pos">
  2243.         <dia:point val="47,58.85"/>
  2244.       </dia:attribute>
  2245.       <dia:connections>
  2246.         <dia:connection handle="8" to="O57" connection="1"/>
  2247.         <dia:connection handle="9" to="O58" connection="4"/>
  2248.       </dia:connections>
  2249.     </dia:object>
  2250.     <dia:object type="GRAFCET - Vergent" version="0" id="O57">
  2251.       <dia:attribute name="obj_pos">
  2252.         <dia:point val="39,56"/>
  2253.       </dia:attribute>
  2254.       <dia:attribute name="obj_bb">
  2255.         <dia:rectangle val="38.925,55.925;51.075,56.075"/>
  2256.       </dia:attribute>
  2257.       <dia:attribute name="conn_endpoints">
  2258.         <dia:point val="39,56"/>
  2259.         <dia:point val="51,56"/>
  2260.       </dia:attribute>
  2261.       <dia:attribute name="cpl_north">
  2262.         <dia:int val="1"/>
  2263.       </dia:attribute>
  2264.       <dia:attribute name="cpl_south">
  2265.         <dia:int val="1"/>
  2266.       </dia:attribute>
  2267.       <dia:attribute name="vtype">
  2268.         <dia:enum val="0"/>
  2269.       </dia:attribute>
  2270.     </dia:object>
  2271.     <dia:object type="GRAFCET - Vergent" version="0" id="O58">
  2272.       <dia:attribute name="obj_pos">
  2273.         <dia:point val="30,59"/>
  2274.       </dia:attribute>
  2275.       <dia:attribute name="obj_bb">
  2276.         <dia:rectangle val="29.925,58.775;64.075,59.225"/>
  2277.       </dia:attribute>
  2278.       <dia:attribute name="conn_endpoints">
  2279.         <dia:point val="30,59"/>
  2280.         <dia:point val="64,59"/>
  2281.       </dia:attribute>
  2282.       <dia:attribute name="cpl_north">
  2283.         <dia:int val="1"/>
  2284.       </dia:attribute>
  2285.       <dia:attribute name="cpl_south">
  2286.         <dia:int val="1"/>
  2287.       </dia:attribute>
  2288.       <dia:attribute name="vtype">
  2289.         <dia:enum val="1"/>
  2290.       </dia:attribute>
  2291.     </dia:object>
  2292.     <dia:object type="GRAFCET - Transition" version="0" id="O59">
  2293.       <dia:attribute name="obj_pos">
  2294.         <dia:point val="49,56"/>
  2295.       </dia:attribute>
  2296.       <dia:attribute name="obj_bb">
  2297.         <dia:rectangle val="48.95,55.95;60.2822,58.05"/>
  2298.       </dia:attribute>
  2299.       <dia:attribute name="elem_corner">
  2300.         <dia:point val="49,56"/>
  2301.       </dia:attribute>
  2302.       <dia:attribute name="elem_width">
  2303.         <dia:real val="2"/>
  2304.       </dia:attribute>
  2305.       <dia:attribute name="elem_height">
  2306.         <dia:real val="2"/>
  2307.       </dia:attribute>
  2308.       <dia:attribute name="receptivity">
  2309.         <dia:string>#(tank empty).!X302#</dia:string>
  2310.       </dia:attribute>
  2311.       <dia:attribute name="rcep_font">
  2312.         <dia:font name="Helvetica-Bold"/>
  2313.       </dia:attribute>
  2314.       <dia:attribute name="rcep_fontheight">
  2315.         <dia:real val="0.8"/>
  2316.       </dia:attribute>
  2317.       <dia:attribute name="rcep_color">
  2318.         <dia:color val="#000000"/>
  2319.       </dia:attribute>
  2320.       <dia:attribute name="north_pos">
  2321.         <dia:point val="50,56"/>
  2322.       </dia:attribute>
  2323.       <dia:attribute name="south_pos">
  2324.         <dia:point val="50,57.25"/>
  2325.       </dia:attribute>
  2326.       <dia:connections>
  2327.         <dia:connection handle="8" to="O57" connection="0"/>
  2328.         <dia:connection handle="9" to="O59" connection="1"/>
  2329.       </dia:connections>
  2330.     </dia:object>
  2331.     <dia:object type="GRAFCET - Arc" version="0" id="O60">
  2332.       <dia:attribute name="obj_pos">
  2333.         <dia:point val="50,57.25"/>
  2334.       </dia:attribute>
  2335.       <dia:attribute name="obj_bb">
  2336.         <dia:rectangle val="49.65,36.65;59.35,58.35"/>
  2337.       </dia:attribute>
  2338.       <dia:attribute name="orth_points">
  2339.         <dia:point val="50,57.25"/>
  2340.         <dia:point val="50,58"/>
  2341.         <dia:point val="59,58"/>
  2342.         <dia:point val="59,37"/>
  2343.         <dia:point val="54,37"/>
  2344.         <dia:point val="54,38"/>
  2345.       </dia:attribute>
  2346.       <dia:attribute name="orth_orient">
  2347.         <dia:enum val="1"/>
  2348.         <dia:enum val="0"/>
  2349.         <dia:enum val="1"/>
  2350.         <dia:enum val="0"/>
  2351.         <dia:enum val="1"/>
  2352.       </dia:attribute>
  2353.       <dia:attribute name="uparrow">
  2354.         <dia:boolean val="true"/>
  2355.       </dia:attribute>
  2356.       <dia:connections>
  2357.         <dia:connection handle="0" to="O59" connection="1"/>
  2358.         <dia:connection handle="1" to="O48" connection="0"/>
  2359.       </dia:connections>
  2360.     </dia:object>
  2361.     <dia:object type="GRAFCET - Step" version="0" id="O61">
  2362.       <dia:attribute name="obj_pos">
  2363.         <dia:point val="61,38"/>
  2364.       </dia:attribute>
  2365.       <dia:attribute name="obj_bb">
  2366.         <dia:rectangle val="60.75,36.15;65.25,42.25"/>
  2367.       </dia:attribute>
  2368.       <dia:attribute name="elem_corner">
  2369.         <dia:point val="61,38"/>
  2370.       </dia:attribute>
  2371.       <dia:attribute name="elem_width">
  2372.         <dia:real val="4"/>
  2373.       </dia:attribute>
  2374.       <dia:attribute name="elem_height">
  2375.         <dia:real val="4"/>
  2376.       </dia:attribute>
  2377.       <dia:attribute name="id">
  2378.         <dia:string>#310#</dia:string>
  2379.       </dia:attribute>
  2380.       <dia:attribute name="type">
  2381.         <dia:enum val="5"/>
  2382.       </dia:attribute>
  2383.       <dia:attribute name="active">
  2384.         <dia:boolean val="false"/>
  2385.       </dia:attribute>
  2386.       <dia:attribute name="font">
  2387.         <dia:font name="Helvetica-Bold"/>
  2388.       </dia:attribute>
  2389.       <dia:attribute name="font_size">
  2390.         <dia:real val="1"/>
  2391.       </dia:attribute>
  2392.       <dia:attribute name="font_color">
  2393.         <dia:color val="#000000"/>
  2394.       </dia:attribute>
  2395.       <dia:attribute name="north_pos">
  2396.         <dia:point val="63,36.15"/>
  2397.       </dia:attribute>
  2398.       <dia:attribute name="south_pos">
  2399.         <dia:point val="63,42"/>
  2400.       </dia:attribute>
  2401.       <dia:connections>
  2402.         <dia:connection handle="8" to="O43" connection="3"/>
  2403.         <dia:connection handle="9" to="O61" connection="1"/>
  2404.       </dia:connections>
  2405.     </dia:object>
  2406.     <dia:object type="Standard - Text" version="0" id="O62">
  2407.       <dia:attribute name="obj_pos">
  2408.         <dia:point val="70,40"/>
  2409.       </dia:attribute>
  2410.       <dia:attribute name="obj_bb">
  2411.         <dia:rectangle val="64.137,39.2286;75.863,40.2286"/>
  2412.       </dia:attribute>
  2413.       <dia:attribute name="text">
  2414.         <dia:composite type="text">
  2415.           <dia:attribute name="string">
  2416.             <dia:string>#(rotate the barrel)#</dia:string>
  2417.           </dia:attribute>
  2418.           <dia:attribute name="font">
  2419.             <dia:font name="Courier"/>
  2420.           </dia:attribute>
  2421.           <dia:attribute name="height">
  2422.             <dia:real val="1"/>
  2423.           </dia:attribute>
  2424.           <dia:attribute name="pos">
  2425.             <dia:point val="70,40"/>
  2426.           </dia:attribute>
  2427.           <dia:attribute name="color">
  2428.             <dia:color val="#000000"/>
  2429.           </dia:attribute>
  2430.           <dia:attribute name="alignment">
  2431.             <dia:enum val="1"/>
  2432.           </dia:attribute>
  2433.         </dia:composite>
  2434.       </dia:attribute>
  2435.     </dia:object>
  2436.     <dia:object type="GRAFCET - Transition" version="0" id="O63">
  2437.       <dia:attribute name="obj_pos">
  2438.         <dia:point val="62,42"/>
  2439.       </dia:attribute>
  2440.       <dia:attribute name="obj_bb">
  2441.         <dia:rectangle val="61.95,41.95;66.1524,58.85"/>
  2442.       </dia:attribute>
  2443.       <dia:attribute name="elem_corner">
  2444.         <dia:point val="62,42"/>
  2445.       </dia:attribute>
  2446.       <dia:attribute name="elem_width">
  2447.         <dia:real val="2"/>
  2448.       </dia:attribute>
  2449.       <dia:attribute name="elem_height">
  2450.         <dia:real val="2"/>
  2451.       </dia:attribute>
  2452.       <dia:attribute name="receptivity">
  2453.         <dia:string>#X302#</dia:string>
  2454.       </dia:attribute>
  2455.       <dia:attribute name="rcep_font">
  2456.         <dia:font name="Helvetica-Bold"/>
  2457.       </dia:attribute>
  2458.       <dia:attribute name="rcep_fontheight">
  2459.         <dia:real val="0.8"/>
  2460.       </dia:attribute>
  2461.       <dia:attribute name="rcep_color">
  2462.         <dia:color val="#000000"/>
  2463.       </dia:attribute>
  2464.       <dia:attribute name="north_pos">
  2465.         <dia:point val="63,42"/>
  2466.       </dia:attribute>
  2467.       <dia:attribute name="south_pos">
  2468.         <dia:point val="63,58.85"/>
  2469.       </dia:attribute>
  2470.       <dia:connections>
  2471.         <dia:connection handle="8" to="O61" connection="1"/>
  2472.         <dia:connection handle="9" to="O58" connection="0"/>
  2473.       </dia:connections>
  2474.     </dia:object>
  2475.     <dia:object type="GRAFCET - Transition" version="0" id="O64">
  2476.       <dia:attribute name="obj_pos">
  2477.         <dia:point val="46,59"/>
  2478.       </dia:attribute>
  2479.       <dia:attribute name="obj_bb">
  2480.         <dia:rectangle val="45.95,58.95;48.4716,61.05"/>
  2481.       </dia:attribute>
  2482.       <dia:attribute name="elem_corner">
  2483.         <dia:point val="46,59"/>
  2484.       </dia:attribute>
  2485.       <dia:attribute name="elem_width">
  2486.         <dia:real val="2"/>
  2487.       </dia:attribute>
  2488.       <dia:attribute name="elem_height">
  2489.         <dia:real val="2"/>
  2490.       </dia:attribute>
  2491.       <dia:attribute name="receptivity">
  2492.         <dia:string>#=1#</dia:string>
  2493.       </dia:attribute>
  2494.       <dia:attribute name="rcep_font">
  2495.         <dia:font name="Helvetica-Bold"/>
  2496.       </dia:attribute>
  2497.       <dia:attribute name="rcep_fontheight">
  2498.         <dia:real val="0.8"/>
  2499.       </dia:attribute>
  2500.       <dia:attribute name="rcep_color">
  2501.         <dia:color val="#000000"/>
  2502.       </dia:attribute>
  2503.       <dia:attribute name="north_pos">
  2504.         <dia:point val="47,59.15"/>
  2505.       </dia:attribute>
  2506.       <dia:attribute name="south_pos">
  2507.         <dia:point val="47,61"/>
  2508.       </dia:attribute>
  2509.       <dia:connections>
  2510.         <dia:connection handle="8" to="O58" connection="5"/>
  2511.         <dia:connection handle="9" to="O65" connection="0"/>
  2512.       </dia:connections>
  2513.     </dia:object>
  2514.     <dia:object type="GRAFCET - Step" version="0" id="O65">
  2515.       <dia:attribute name="obj_pos">
  2516.         <dia:point val="45,61"/>
  2517.       </dia:attribute>
  2518.       <dia:attribute name="obj_bb">
  2519.         <dia:rectangle val="44.95,60.95;49.05,65.05"/>
  2520.       </dia:attribute>
  2521.       <dia:attribute name="elem_corner">
  2522.         <dia:point val="45,61"/>
  2523.       </dia:attribute>
  2524.       <dia:attribute name="elem_width">
  2525.         <dia:real val="4"/>
  2526.       </dia:attribute>
  2527.       <dia:attribute name="elem_height">
  2528.         <dia:real val="4"/>
  2529.       </dia:attribute>
  2530.       <dia:attribute name="id">
  2531.         <dia:string>#S2#</dia:string>
  2532.       </dia:attribute>
  2533.       <dia:attribute name="type">
  2534.         <dia:enum val="3"/>
  2535.       </dia:attribute>
  2536.       <dia:attribute name="active">
  2537.         <dia:boolean val="false"/>
  2538.       </dia:attribute>
  2539.       <dia:attribute name="font">
  2540.         <dia:font name="Helvetica-Bold"/>
  2541.       </dia:attribute>
  2542.       <dia:attribute name="font_size">
  2543.         <dia:real val="1"/>
  2544.       </dia:attribute>
  2545.       <dia:attribute name="font_color">
  2546.         <dia:color val="#000000"/>
  2547.       </dia:attribute>
  2548.       <dia:attribute name="north_pos">
  2549.         <dia:point val="47,61"/>
  2550.       </dia:attribute>
  2551.       <dia:attribute name="south_pos">
  2552.         <dia:point val="47,65"/>
  2553.       </dia:attribute>
  2554.       <dia:connections>
  2555.         <dia:connection handle="8" to="O65" connection="0"/>
  2556.         <dia:connection handle="9" to="O65" connection="1"/>
  2557.       </dia:connections>
  2558.     </dia:object>
  2559.     <dia:object type="Standard - Text" version="0" id="O66">
  2560.       <dia:attribute name="obj_pos">
  2561.         <dia:point val="8,31"/>
  2562.       </dia:attribute>
  2563.       <dia:attribute name="obj_bb">
  2564.         <dia:rectangle val="-1.812,30.2286;17.812,31.2286"/>
  2565.       </dia:attribute>
  2566.       <dia:attribute name="text">
  2567.         <dia:composite type="text">
  2568.           <dia:attribute name="string">
  2569.             <dia:string>#Expansion of macro 3: Spin dry#</dia:string>
  2570.           </dia:attribute>
  2571.           <dia:attribute name="font">
  2572.             <dia:font name="Courier"/>
  2573.           </dia:attribute>
  2574.           <dia:attribute name="height">
  2575.             <dia:real val="1"/>
  2576.           </dia:attribute>
  2577.           <dia:attribute name="pos">
  2578.             <dia:point val="8,31"/>
  2579.           </dia:attribute>
  2580.           <dia:attribute name="color">
  2581.             <dia:color val="#000000"/>
  2582.           </dia:attribute>
  2583.           <dia:attribute name="alignment">
  2584.             <dia:enum val="1"/>
  2585.           </dia:attribute>
  2586.         </dia:composite>
  2587.       </dia:attribute>
  2588.     </dia:object>
  2589.     <dia:object type="GRAFCET - Step" version="0" id="O67">
  2590.       <dia:attribute name="obj_pos">
  2591.         <dia:point val="0,32"/>
  2592.       </dia:attribute>
  2593.       <dia:attribute name="obj_bb">
  2594.         <dia:rectangle val="-0.05,31.95;4.05,36.05"/>
  2595.       </dia:attribute>
  2596.       <dia:attribute name="elem_corner">
  2597.         <dia:point val="0,32"/>
  2598.       </dia:attribute>
  2599.       <dia:attribute name="elem_width">
  2600.         <dia:real val="4"/>
  2601.       </dia:attribute>
  2602.       <dia:attribute name="elem_height">
  2603.         <dia:real val="4"/>
  2604.       </dia:attribute>
  2605.       <dia:attribute name="id">
  2606.         <dia:string>#E3#</dia:string>
  2607.       </dia:attribute>
  2608.       <dia:attribute name="type">
  2609.         <dia:enum val="2"/>
  2610.       </dia:attribute>
  2611.       <dia:attribute name="active">
  2612.         <dia:boolean val="false"/>
  2613.       </dia:attribute>
  2614.       <dia:attribute name="font">
  2615.         <dia:font name="Helvetica-Bold"/>
  2616.       </dia:attribute>
  2617.       <dia:attribute name="font_size">
  2618.         <dia:real val="1"/>
  2619.       </dia:attribute>
  2620.       <dia:attribute name="font_color">
  2621.         <dia:color val="#000000"/>
  2622.       </dia:attribute>
  2623.       <dia:attribute name="north_pos">
  2624.         <dia:point val="2,32"/>
  2625.       </dia:attribute>
  2626.       <dia:attribute name="south_pos">
  2627.         <dia:point val="2,36"/>
  2628.       </dia:attribute>
  2629.       <dia:connections>
  2630.         <dia:connection handle="8" to="O67" connection="0"/>
  2631.         <dia:connection handle="9" to="O67" connection="1"/>
  2632.       </dia:connections>
  2633.     </dia:object>
  2634.     <dia:object type="GRAFCET - Action" version="0" id="O68">
  2635.       <dia:attribute name="obj_pos">
  2636.         <dia:point val="3.5,34"/>
  2637.       </dia:attribute>
  2638.       <dia:attribute name="obj_bb">
  2639.         <dia:rectangle val="3.45,32.95;15.9668,35.29"/>
  2640.       </dia:attribute>
  2641.       <dia:attribute name="conn_endpoints">
  2642.         <dia:point val="3.5,34"/>
  2643.         <dia:point val="5,34"/>
  2644.       </dia:attribute>
  2645.       <dia:attribute name="text">
  2646.         <dia:composite type="text">
  2647.           <dia:attribute name="string">
  2648.             <dia:string>#Quick spin, clockwise#</dia:string>
  2649.           </dia:attribute>
  2650.           <dia:attribute name="font">
  2651.             <dia:font name="Helvetica-Bold"/>
  2652.           </dia:attribute>
  2653.           <dia:attribute name="height">
  2654.             <dia:real val="0.8"/>
  2655.           </dia:attribute>
  2656.           <dia:attribute name="pos">
  2657.             <dia:point val="5.16,34.24"/>
  2658.           </dia:attribute>
  2659.           <dia:attribute name="color">
  2660.             <dia:color val="#000000"/>
  2661.           </dia:attribute>
  2662.           <dia:attribute name="alignment">
  2663.             <dia:enum val="0"/>
  2664.           </dia:attribute>
  2665.         </dia:composite>
  2666.       </dia:attribute>
  2667.       <dia:attribute name="macro_call">
  2668.         <dia:boolean val="false"/>
  2669.       </dia:attribute>
  2670.       <dia:connections>
  2671.         <dia:connection handle="0" to="O67" connection="2"/>
  2672.       </dia:connections>
  2673.     </dia:object>
  2674.     <dia:object type="GRAFCET - Transition" version="0" id="O69">
  2675.       <dia:attribute name="obj_pos">
  2676.         <dia:point val="1,36"/>
  2677.       </dia:attribute>
  2678.       <dia:attribute name="obj_bb">
  2679.         <dia:rectangle val="0.95,35.95;6.8684,38.05"/>
  2680.       </dia:attribute>
  2681.       <dia:attribute name="elem_corner">
  2682.         <dia:point val="1,36"/>
  2683.       </dia:attribute>
  2684.       <dia:attribute name="elem_width">
  2685.         <dia:real val="2"/>
  2686.       </dia:attribute>
  2687.       <dia:attribute name="elem_height">
  2688.         <dia:real val="2"/>
  2689.       </dia:attribute>
  2690.       <dia:attribute name="receptivity">
  2691.         <dia:string>#XE3/10"#</dia:string>
  2692.       </dia:attribute>
  2693.       <dia:attribute name="rcep_font">
  2694.         <dia:font name="Helvetica-Bold"/>
  2695.       </dia:attribute>
  2696.       <dia:attribute name="rcep_fontheight">
  2697.         <dia:real val="0.8"/>
  2698.       </dia:attribute>
  2699.       <dia:attribute name="rcep_color">
  2700.         <dia:color val="#000000"/>
  2701.       </dia:attribute>
  2702.       <dia:attribute name="north_pos">
  2703.         <dia:point val="2,36"/>
  2704.       </dia:attribute>
  2705.       <dia:attribute name="south_pos">
  2706.         <dia:point val="2,38"/>
  2707.       </dia:attribute>
  2708.       <dia:connections>
  2709.         <dia:connection handle="8" to="O67" connection="1"/>
  2710.         <dia:connection handle="9" to="O70" connection="0"/>
  2711.       </dia:connections>
  2712.     </dia:object>
  2713.     <dia:object type="GRAFCET - Step" version="0" id="O70">
  2714.       <dia:attribute name="obj_pos">
  2715.         <dia:point val="0,38"/>
  2716.       </dia:attribute>
  2717.       <dia:attribute name="obj_bb">
  2718.         <dia:rectangle val="-0.05,37.25;4.05,42.05"/>
  2719.       </dia:attribute>
  2720.       <dia:attribute name="elem_corner">
  2721.         <dia:point val="0,38"/>
  2722.       </dia:attribute>
  2723.       <dia:attribute name="elem_width">
  2724.         <dia:real val="4"/>
  2725.       </dia:attribute>
  2726.       <dia:attribute name="elem_height">
  2727.         <dia:real val="4"/>
  2728.       </dia:attribute>
  2729.       <dia:attribute name="id">
  2730.         <dia:string>#401#</dia:string>
  2731.       </dia:attribute>
  2732.       <dia:attribute name="type">
  2733.         <dia:enum val="0"/>
  2734.       </dia:attribute>
  2735.       <dia:attribute name="active">
  2736.         <dia:boolean val="false"/>
  2737.       </dia:attribute>
  2738.       <dia:attribute name="font">
  2739.         <dia:font name="Helvetica-Bold"/>
  2740.       </dia:attribute>
  2741.       <dia:attribute name="font_size">
  2742.         <dia:real val="1"/>
  2743.       </dia:attribute>
  2744.       <dia:attribute name="font_color">
  2745.         <dia:color val="#000000"/>
  2746.       </dia:attribute>
  2747.       <dia:attribute name="north_pos">
  2748.         <dia:point val="2,37.25"/>
  2749.       </dia:attribute>
  2750.       <dia:attribute name="south_pos">
  2751.         <dia:point val="2,42"/>
  2752.       </dia:attribute>
  2753.       <dia:connections>
  2754.         <dia:connection handle="8" to="O69" connection="1"/>
  2755.         <dia:connection handle="9" to="O70" connection="1"/>
  2756.       </dia:connections>
  2757.     </dia:object>
  2758.     <dia:object type="GRAFCET - Transition" version="0" id="O71">
  2759.       <dia:attribute name="obj_pos">
  2760.         <dia:point val="1,42"/>
  2761.       </dia:attribute>
  2762.       <dia:attribute name="obj_bb">
  2763.         <dia:rectangle val="0.95,41.95;7.5196,44.05"/>
  2764.       </dia:attribute>
  2765.       <dia:attribute name="elem_corner">
  2766.         <dia:point val="1,42"/>
  2767.       </dia:attribute>
  2768.       <dia:attribute name="elem_width">
  2769.         <dia:real val="2"/>
  2770.       </dia:attribute>
  2771.       <dia:attribute name="elem_height">
  2772.         <dia:real val="2"/>
  2773.       </dia:attribute>
  2774.       <dia:attribute name="receptivity">
  2775.         <dia:string>#X401/25"#</dia:string>
  2776.       </dia:attribute>
  2777.       <dia:attribute name="rcep_font">
  2778.         <dia:font name="Helvetica-Bold"/>
  2779.       </dia:attribute>
  2780.       <dia:attribute name="rcep_fontheight">
  2781.         <dia:real val="0.8"/>
  2782.       </dia:attribute>
  2783.       <dia:attribute name="rcep_color">
  2784.         <dia:color val="#000000"/>
  2785.       </dia:attribute>
  2786.       <dia:attribute name="north_pos">
  2787.         <dia:point val="2,42"/>
  2788.       </dia:attribute>
  2789.       <dia:attribute name="south_pos">
  2790.         <dia:point val="2,43.25"/>
  2791.       </dia:attribute>
  2792.       <dia:connections>
  2793.         <dia:connection handle="8" to="O70" connection="1"/>
  2794.         <dia:connection handle="9" to="O71" connection="1"/>
  2795.       </dia:connections>
  2796.     </dia:object>
  2797.     <dia:object type="Standard - Text" version="0" id="O72">
  2798.       <dia:attribute name="obj_pos">
  2799.         <dia:point val="9,40"/>
  2800.       </dia:attribute>
  2801.       <dia:attribute name="obj_bb">
  2802.         <dia:rectangle val="4.457,39.2286;13.543,40.2286"/>
  2803.       </dia:attribute>
  2804.       <dia:attribute name="text">
  2805.         <dia:composite type="text">
  2806.           <dia:attribute name="string">
  2807.             <dia:string>#(wait for stop)#</dia:string>
  2808.           </dia:attribute>
  2809.           <dia:attribute name="font">
  2810.             <dia:font name="Courier"/>
  2811.           </dia:attribute>
  2812.           <dia:attribute name="height">
  2813.             <dia:real val="1"/>
  2814.           </dia:attribute>
  2815.           <dia:attribute name="pos">
  2816.             <dia:point val="9,40"/>
  2817.           </dia:attribute>
  2818.           <dia:attribute name="color">
  2819.             <dia:color val="#000000"/>
  2820.           </dia:attribute>
  2821.           <dia:attribute name="alignment">
  2822.             <dia:enum val="1"/>
  2823.           </dia:attribute>
  2824.         </dia:composite>
  2825.       </dia:attribute>
  2826.     </dia:object>
  2827.     <dia:object type="GRAFCET - Step" version="0" id="O73">
  2828.       <dia:attribute name="obj_pos">
  2829.         <dia:point val="0,44"/>
  2830.       </dia:attribute>
  2831.       <dia:attribute name="obj_bb">
  2832.         <dia:rectangle val="-0.05,43.25;4.05,48.05"/>
  2833.       </dia:attribute>
  2834.       <dia:attribute name="elem_corner">
  2835.         <dia:point val="0,44"/>
  2836.       </dia:attribute>
  2837.       <dia:attribute name="elem_width">
  2838.         <dia:real val="4"/>
  2839.       </dia:attribute>
  2840.       <dia:attribute name="elem_height">
  2841.         <dia:real val="4"/>
  2842.       </dia:attribute>
  2843.       <dia:attribute name="id">
  2844.         <dia:string>#402#</dia:string>
  2845.       </dia:attribute>
  2846.       <dia:attribute name="type">
  2847.         <dia:enum val="0"/>
  2848.       </dia:attribute>
  2849.       <dia:attribute name="active">
  2850.         <dia:boolean val="false"/>
  2851.       </dia:attribute>
  2852.       <dia:attribute name="font">
  2853.         <dia:font name="Helvetica-Bold"/>
  2854.       </dia:attribute>
  2855.       <dia:attribute name="font_size">
  2856.         <dia:real val="1"/>
  2857.       </dia:attribute>
  2858.       <dia:attribute name="font_color">
  2859.         <dia:color val="#000000"/>
  2860.       </dia:attribute>
  2861.       <dia:attribute name="north_pos">
  2862.         <dia:point val="2,43.25"/>
  2863.       </dia:attribute>
  2864.       <dia:attribute name="south_pos">
  2865.         <dia:point val="2,48"/>
  2866.       </dia:attribute>
  2867.       <dia:connections>
  2868.         <dia:connection handle="8" to="O71" connection="1"/>
  2869.         <dia:connection handle="9" to="O73" connection="1"/>
  2870.       </dia:connections>
  2871.     </dia:object>
  2872.     <dia:object type="GRAFCET - Action" version="0" id="O74">
  2873.       <dia:attribute name="obj_pos">
  2874.         <dia:point val="3.5,46"/>
  2875.       </dia:attribute>
  2876.       <dia:attribute name="obj_bb">
  2877.         <dia:rectangle val="3.45,44.95;17.0492,47.29"/>
  2878.       </dia:attribute>
  2879.       <dia:attribute name="conn_endpoints">
  2880.         <dia:point val="3.5,46"/>
  2881.         <dia:point val="5,46"/>
  2882.       </dia:attribute>
  2883.       <dia:attribute name="text">
  2884.         <dia:composite type="text">
  2885.           <dia:attribute name="string">
  2886.             <dia:string>#Turn counter-clockwise#</dia:string>
  2887.           </dia:attribute>
  2888.           <dia:attribute name="font">
  2889.             <dia:font name="Helvetica-Bold"/>
  2890.           </dia:attribute>
  2891.           <dia:attribute name="height">
  2892.             <dia:real val="0.8"/>
  2893.           </dia:attribute>
  2894.           <dia:attribute name="pos">
  2895.             <dia:point val="5.16,46.24"/>
  2896.           </dia:attribute>
  2897.           <dia:attribute name="color">
  2898.             <dia:color val="#000000"/>
  2899.           </dia:attribute>
  2900.           <dia:attribute name="alignment">
  2901.             <dia:enum val="0"/>
  2902.           </dia:attribute>
  2903.         </dia:composite>
  2904.       </dia:attribute>
  2905.       <dia:attribute name="macro_call">
  2906.         <dia:boolean val="false"/>
  2907.       </dia:attribute>
  2908.       <dia:connections>
  2909.         <dia:connection handle="0" to="O73" connection="2"/>
  2910.       </dia:connections>
  2911.     </dia:object>
  2912.     <dia:object type="GRAFCET - Transition" version="0" id="O75">
  2913.       <dia:attribute name="obj_pos">
  2914.         <dia:point val="1,48"/>
  2915.       </dia:attribute>
  2916.       <dia:attribute name="obj_bb">
  2917.         <dia:rectangle val="0.95,47.95;7.5196,50.05"/>
  2918.       </dia:attribute>
  2919.       <dia:attribute name="elem_corner">
  2920.         <dia:point val="1,48"/>
  2921.       </dia:attribute>
  2922.       <dia:attribute name="elem_width">
  2923.         <dia:real val="2"/>
  2924.       </dia:attribute>
  2925.       <dia:attribute name="elem_height">
  2926.         <dia:real val="2"/>
  2927.       </dia:attribute>
  2928.       <dia:attribute name="receptivity">
  2929.         <dia:string>#X402/15"#</dia:string>
  2930.       </dia:attribute>
  2931.       <dia:attribute name="rcep_font">
  2932.         <dia:font name="Helvetica-Bold"/>
  2933.       </dia:attribute>
  2934.       <dia:attribute name="rcep_fontheight">
  2935.         <dia:real val="0.8"/>
  2936.       </dia:attribute>
  2937.       <dia:attribute name="rcep_color">
  2938.         <dia:color val="#000000"/>
  2939.       </dia:attribute>
  2940.       <dia:attribute name="north_pos">
  2941.         <dia:point val="2,48"/>
  2942.       </dia:attribute>
  2943.       <dia:attribute name="south_pos">
  2944.         <dia:point val="2,49.25"/>
  2945.       </dia:attribute>
  2946.       <dia:connections>
  2947.         <dia:connection handle="8" to="O73" connection="1"/>
  2948.         <dia:connection handle="9" to="O75" connection="1"/>
  2949.       </dia:connections>
  2950.     </dia:object>
  2951.     <dia:object type="GRAFCET - Step" version="0" id="O76">
  2952.       <dia:attribute name="obj_pos">
  2953.         <dia:point val="0,50"/>
  2954.       </dia:attribute>
  2955.       <dia:attribute name="obj_bb">
  2956.         <dia:rectangle val="-0.05,49.25;4.05,54.05"/>
  2957.       </dia:attribute>
  2958.       <dia:attribute name="elem_corner">
  2959.         <dia:point val="0,50"/>
  2960.       </dia:attribute>
  2961.       <dia:attribute name="elem_width">
  2962.         <dia:real val="4"/>
  2963.       </dia:attribute>
  2964.       <dia:attribute name="elem_height">
  2965.         <dia:real val="4"/>
  2966.       </dia:attribute>
  2967.       <dia:attribute name="id">
  2968.         <dia:string>#S3#</dia:string>
  2969.       </dia:attribute>
  2970.       <dia:attribute name="type">
  2971.         <dia:enum val="3"/>
  2972.       </dia:attribute>
  2973.       <dia:attribute name="active">
  2974.         <dia:boolean val="false"/>
  2975.       </dia:attribute>
  2976.       <dia:attribute name="font">
  2977.         <dia:font name="Helvetica-Bold"/>
  2978.       </dia:attribute>
  2979.       <dia:attribute name="font_size">
  2980.         <dia:real val="1"/>
  2981.       </dia:attribute>
  2982.       <dia:attribute name="font_color">
  2983.         <dia:color val="#000000"/>
  2984.       </dia:attribute>
  2985.       <dia:attribute name="north_pos">
  2986.         <dia:point val="2,49.25"/>
  2987.       </dia:attribute>
  2988.       <dia:attribute name="south_pos">
  2989.         <dia:point val="2,54"/>
  2990.       </dia:attribute>
  2991.       <dia:connections>
  2992.         <dia:connection handle="8" to="O75" connection="1"/>
  2993.         <dia:connection handle="9" to="O76" connection="1"/>
  2994.       </dia:connections>
  2995.     </dia:object>
  2996.     <dia:object type="Standard - Text" version="0" id="O77">
  2997.       <dia:attribute name="obj_pos">
  2998.         <dia:point val="2,-22"/>
  2999.       </dia:attribute>
  3000.       <dia:attribute name="obj_bb">
  3001.         <dia:rectangle val="2,-22.7714;40.214,-20.7714"/>
  3002.       </dia:attribute>
  3003.       <dia:attribute name="text">
  3004.         <dia:composite type="text">
  3005.           <dia:attribute name="string">
  3006.             <dia:string>#This example describes what could be the GRAFCETs from the 
  3007. System point of view of an automat-driven laundry machine.#</dia:string>
  3008.           </dia:attribute>
  3009.           <dia:attribute name="font">
  3010.             <dia:font name="Courier"/>
  3011.           </dia:attribute>
  3012.           <dia:attribute name="height">
  3013.             <dia:real val="1"/>
  3014.           </dia:attribute>
  3015.           <dia:attribute name="pos">
  3016.             <dia:point val="2,-22"/>
  3017.           </dia:attribute>
  3018.           <dia:attribute name="color">
  3019.             <dia:color val="#000000"/>
  3020.           </dia:attribute>
  3021.           <dia:attribute name="alignment">
  3022.             <dia:enum val="0"/>
  3023.           </dia:attribute>
  3024.         </dia:composite>
  3025.       </dia:attribute>
  3026.     </dia:object>
  3027.     <dia:object type="GRAFCET - Step" version="0" id="O78">
  3028.       <dia:attribute name="obj_pos">
  3029.         <dia:point val="56,-5"/>
  3030.       </dia:attribute>
  3031.       <dia:attribute name="obj_bb">
  3032.         <dia:rectangle val="55.75,-5.25;60.25,-0.75"/>
  3033.       </dia:attribute>
  3034.       <dia:attribute name="elem_corner">
  3035.         <dia:point val="56,-5"/>
  3036.       </dia:attribute>
  3037.       <dia:attribute name="elem_width">
  3038.         <dia:real val="4"/>
  3039.       </dia:attribute>
  3040.       <dia:attribute name="elem_height">
  3041.         <dia:real val="4"/>
  3042.       </dia:attribute>
  3043.       <dia:attribute name="id">
  3044.         <dia:string>#500#</dia:string>
  3045.       </dia:attribute>
  3046.       <dia:attribute name="type">
  3047.         <dia:enum val="1"/>
  3048.       </dia:attribute>
  3049.       <dia:attribute name="active">
  3050.         <dia:boolean val="false"/>
  3051.       </dia:attribute>
  3052.       <dia:attribute name="font">
  3053.         <dia:font name="Helvetica-Bold"/>
  3054.       </dia:attribute>
  3055.       <dia:attribute name="font_size">
  3056.         <dia:real val="1"/>
  3057.       </dia:attribute>
  3058.       <dia:attribute name="font_color">
  3059.         <dia:color val="#000000"/>
  3060.       </dia:attribute>
  3061.       <dia:attribute name="north_pos">
  3062.         <dia:point val="58,-5"/>
  3063.       </dia:attribute>
  3064.       <dia:attribute name="south_pos">
  3065.         <dia:point val="58,-1"/>
  3066.       </dia:attribute>
  3067.       <dia:connections>
  3068.         <dia:connection handle="8" to="O78" connection="0"/>
  3069.         <dia:connection handle="9" to="O78" connection="1"/>
  3070.       </dia:connections>
  3071.     </dia:object>
  3072.     <dia:object type="GRAFCET - Transition" version="0" id="O79">
  3073.       <dia:attribute name="obj_pos">
  3074.         <dia:point val="57,-1"/>
  3075.       </dia:attribute>
  3076.       <dia:attribute name="obj_bb">
  3077.         <dia:rectangle val="56.95,-1.05;61.1524,1.05"/>
  3078.       </dia:attribute>
  3079.       <dia:attribute name="elem_corner">
  3080.         <dia:point val="57,-1"/>
  3081.       </dia:attribute>
  3082.       <dia:attribute name="elem_width">
  3083.         <dia:real val="2"/>
  3084.       </dia:attribute>
  3085.       <dia:attribute name="elem_height">
  3086.         <dia:real val="2"/>
  3087.       </dia:attribute>
  3088.       <dia:attribute name="receptivity">
  3089.         <dia:string>#{X202#</dia:string>
  3090.       </dia:attribute>
  3091.       <dia:attribute name="rcep_font">
  3092.         <dia:font name="Helvetica-Bold"/>
  3093.       </dia:attribute>
  3094.       <dia:attribute name="rcep_fontheight">
  3095.         <dia:real val="0.8"/>
  3096.       </dia:attribute>
  3097.       <dia:attribute name="rcep_color">
  3098.         <dia:color val="#000000"/>
  3099.       </dia:attribute>
  3100.       <dia:attribute name="north_pos">
  3101.         <dia:point val="58,-1"/>
  3102.       </dia:attribute>
  3103.       <dia:attribute name="south_pos">
  3104.         <dia:point val="58,0.25"/>
  3105.       </dia:attribute>
  3106.       <dia:connections>
  3107.         <dia:connection handle="8" to="O78" connection="1"/>
  3108.         <dia:connection handle="9" to="O79" connection="1"/>
  3109.       </dia:connections>
  3110.     </dia:object>
  3111.     <dia:object type="GRAFCET - Step" version="0" id="O80">
  3112.       <dia:attribute name="obj_pos">
  3113.         <dia:point val="56,1"/>
  3114.       </dia:attribute>
  3115.       <dia:attribute name="obj_bb">
  3116.         <dia:rectangle val="55.95,0.25;60.05,5.05"/>
  3117.       </dia:attribute>
  3118.       <dia:attribute name="elem_corner">
  3119.         <dia:point val="56,1"/>
  3120.       </dia:attribute>
  3121.       <dia:attribute name="elem_width">
  3122.         <dia:real val="4"/>
  3123.       </dia:attribute>
  3124.       <dia:attribute name="elem_height">
  3125.         <dia:real val="4"/>
  3126.       </dia:attribute>
  3127.       <dia:attribute name="id">
  3128.         <dia:string>#501#</dia:string>
  3129.       </dia:attribute>
  3130.       <dia:attribute name="type">
  3131.         <dia:enum val="0"/>
  3132.       </dia:attribute>
  3133.       <dia:attribute name="active">
  3134.         <dia:boolean val="false"/>
  3135.       </dia:attribute>
  3136.       <dia:attribute name="font">
  3137.         <dia:font name="Helvetica-Bold"/>
  3138.       </dia:attribute>
  3139.       <dia:attribute name="font_size">
  3140.         <dia:real val="1"/>
  3141.       </dia:attribute>
  3142.       <dia:attribute name="font_color">
  3143.         <dia:color val="#000000"/>
  3144.       </dia:attribute>
  3145.       <dia:attribute name="north_pos">
  3146.         <dia:point val="58,0.25"/>
  3147.       </dia:attribute>
  3148.       <dia:attribute name="south_pos">
  3149.         <dia:point val="58,5"/>
  3150.       </dia:attribute>
  3151.       <dia:connections>
  3152.         <dia:connection handle="8" to="O79" connection="1"/>
  3153.         <dia:connection handle="9" to="O80" connection="1"/>
  3154.       </dia:connections>
  3155.     </dia:object>
  3156.     <dia:object type="GRAFCET - Transition" version="0" id="O81">
  3157.       <dia:attribute name="obj_pos">
  3158.         <dia:point val="57,5"/>
  3159.       </dia:attribute>
  3160.       <dia:attribute name="obj_bb">
  3161.         <dia:rectangle val="56.95,4.95;61.1524,7.05"/>
  3162.       </dia:attribute>
  3163.       <dia:attribute name="elem_corner">
  3164.         <dia:point val="57,5"/>
  3165.       </dia:attribute>
  3166.       <dia:attribute name="elem_width">
  3167.         <dia:real val="2"/>
  3168.       </dia:attribute>
  3169.       <dia:attribute name="elem_height">
  3170.         <dia:real val="2"/>
  3171.       </dia:attribute>
  3172.       <dia:attribute name="receptivity">
  3173.         <dia:string>#{X202#</dia:string>
  3174.       </dia:attribute>
  3175.       <dia:attribute name="rcep_font">
  3176.         <dia:font name="Helvetica-Bold"/>
  3177.       </dia:attribute>
  3178.       <dia:attribute name="rcep_fontheight">
  3179.         <dia:real val="0.8"/>
  3180.       </dia:attribute>
  3181.       <dia:attribute name="rcep_color">
  3182.         <dia:color val="#000000"/>
  3183.       </dia:attribute>
  3184.       <dia:attribute name="north_pos">
  3185.         <dia:point val="58,5"/>
  3186.       </dia:attribute>
  3187.       <dia:attribute name="south_pos">
  3188.         <dia:point val="58,6.25"/>
  3189.       </dia:attribute>
  3190.       <dia:connections>
  3191.         <dia:connection handle="8" to="O80" connection="1"/>
  3192.         <dia:connection handle="9" to="O81" connection="1"/>
  3193.       </dia:connections>
  3194.     </dia:object>
  3195.     <dia:object type="GRAFCET - Arc" version="0" id="O82">
  3196.       <dia:attribute name="obj_pos">
  3197.         <dia:point val="58,6.25"/>
  3198.       </dia:attribute>
  3199.       <dia:attribute name="obj_bb">
  3200.         <dia:rectangle val="53.65,-6.35;58.35,7.35"/>
  3201.       </dia:attribute>
  3202.       <dia:attribute name="orth_points">
  3203.         <dia:point val="58,6.25"/>
  3204.         <dia:point val="58,7"/>
  3205.         <dia:point val="54,7"/>
  3206.         <dia:point val="54,-6"/>
  3207.         <dia:point val="58,-6"/>
  3208.         <dia:point val="58,-5"/>
  3209.       </dia:attribute>
  3210.       <dia:attribute name="orth_orient">
  3211.         <dia:enum val="1"/>
  3212.         <dia:enum val="0"/>
  3213.         <dia:enum val="1"/>
  3214.         <dia:enum val="0"/>
  3215.         <dia:enum val="1"/>
  3216.       </dia:attribute>
  3217.       <dia:attribute name="uparrow">
  3218.         <dia:boolean val="true"/>
  3219.       </dia:attribute>
  3220.       <dia:connections>
  3221.         <dia:connection handle="0" to="O81" connection="1"/>
  3222.         <dia:connection handle="1" to="O78" connection="0"/>
  3223.       </dia:connections>
  3224.     </dia:object>
  3225.     <dia:object type="GRAFCET - Condition" version="0" id="O83">
  3226.       <dia:attribute name="obj_pos">
  3227.         <dia:point val="76.1018,0"/>
  3228.       </dia:attribute>
  3229.       <dia:attribute name="obj_bb">
  3230.         <dia:rectangle val="76.0518,-0.05;78.7726,2.05"/>
  3231.       </dia:attribute>
  3232.       <dia:attribute name="conn_endpoints">
  3233.         <dia:point val="76.1018,0"/>
  3234.         <dia:point val="76.1018,2"/>
  3235.       </dia:attribute>
  3236.       <dia:attribute name="condition">
  3237.         <dia:string>#X500#</dia:string>
  3238.       </dia:attribute>
  3239.       <dia:attribute name="cond_font">
  3240.         <dia:font name="Helvetica-Bold"/>
  3241.       </dia:attribute>
  3242.       <dia:attribute name="cond_fontheight">
  3243.         <dia:real val="0.8"/>
  3244.       </dia:attribute>
  3245.       <dia:attribute name="cond_color">
  3246.         <dia:color val="#000000"/>
  3247.       </dia:attribute>
  3248.       <dia:connections>
  3249.         <dia:connection handle="1" to="O34" connection="4"/>
  3250.       </dia:connections>
  3251.     </dia:object>
  3252.     <dia:object type="GRAFCET - Condition" version="0" id="O84">
  3253.       <dia:attribute name="obj_pos">
  3254.         <dia:point val="84.1956,0"/>
  3255.       </dia:attribute>
  3256.       <dia:attribute name="obj_bb">
  3257.         <dia:rectangle val="84.1456,-0.05;86.752,2.05"/>
  3258.       </dia:attribute>
  3259.       <dia:attribute name="conn_endpoints">
  3260.         <dia:point val="84.1956,0"/>
  3261.         <dia:point val="84.1956,2"/>
  3262.       </dia:attribute>
  3263.       <dia:attribute name="condition">
  3264.         <dia:string>#X501#</dia:string>
  3265.       </dia:attribute>
  3266.       <dia:attribute name="cond_font">
  3267.         <dia:font name="Helvetica-Bold"/>
  3268.       </dia:attribute>
  3269.       <dia:attribute name="cond_fontheight">
  3270.         <dia:real val="0.8"/>
  3271.       </dia:attribute>
  3272.       <dia:attribute name="cond_color">
  3273.         <dia:color val="#000000"/>
  3274.       </dia:attribute>
  3275.       <dia:connections>
  3276.         <dia:connection handle="1" to="O34" connection="8"/>
  3277.       </dia:connections>
  3278.     </dia:object>
  3279.     <dia:object type="Standard - Text" version="0" id="O85">
  3280.       <dia:attribute name="obj_pos">
  3281.         <dia:point val="2,-14"/>
  3282.       </dia:attribute>
  3283.       <dia:attribute name="obj_bb">
  3284.         <dia:rectangle val="2,-14.7714;50.257,-12.7714"/>
  3285.       </dia:attribute>
  3286.       <dia:attribute name="text">
  3287.         <dia:composite type="text">
  3288.           <dia:attribute name="string">
  3289.             <dia:string>#Note: most (home) laundry machines are usually driven by much more rustic 
  3290. command subsystems. This is a purely made up (but representative) example.#</dia:string>
  3291.           </dia:attribute>
  3292.           <dia:attribute name="font">
  3293.             <dia:font name="Courier"/>
  3294.           </dia:attribute>
  3295.           <dia:attribute name="height">
  3296.             <dia:real val="1"/>
  3297.           </dia:attribute>
  3298.           <dia:attribute name="pos">
  3299.             <dia:point val="2,-14"/>
  3300.           </dia:attribute>
  3301.           <dia:attribute name="color">
  3302.             <dia:color val="#000000"/>
  3303.           </dia:attribute>
  3304.           <dia:attribute name="alignment">
  3305.             <dia:enum val="0"/>
  3306.           </dia:attribute>
  3307.         </dia:composite>
  3308.       </dia:attribute>
  3309.     </dia:object>
  3310.     <dia:object type="Standard - Text" version="0" id="O86">
  3311.       <dia:attribute name="obj_pos">
  3312.         <dia:point val="2,-19"/>
  3313.       </dia:attribute>
  3314.       <dia:attribute name="obj_bb">
  3315.         <dia:rectangle val="2,-19.7714;47.43,-17.7714"/>
  3316.       </dia:attribute>
  3317.       <dia:attribute name="text">
  3318.         <dia:composite type="text">
  3319.           <dia:attribute name="string">
  3320.             <dia:string>#For a description of GRAFCET, see AFNOR NF-C 03-190, IEC 848:1988 and 
  3321. http://www.lurpa.ens-cachan.fr/grafcet for more pointers.#</dia:string>
  3322.           </dia:attribute>
  3323.           <dia:attribute name="font">
  3324.             <dia:font name="Courier"/>
  3325.           </dia:attribute>
  3326.           <dia:attribute name="height">
  3327.             <dia:real val="1"/>
  3328.           </dia:attribute>
  3329.           <dia:attribute name="pos">
  3330.             <dia:point val="2,-19"/>
  3331.           </dia:attribute>
  3332.           <dia:attribute name="color">
  3333.             <dia:color val="#000000"/>
  3334.           </dia:attribute>
  3335.           <dia:attribute name="alignment">
  3336.             <dia:enum val="0"/>
  3337.           </dia:attribute>
  3338.         </dia:composite>
  3339.       </dia:attribute>
  3340.     </dia:object>
  3341.     <dia:object type="Standard - Text" version="0" id="O87">
  3342.       <dia:attribute name="obj_pos">
  3343.         <dia:point val="2,-16"/>
  3344.       </dia:attribute>
  3345.       <dia:attribute name="obj_bb">
  3346.         <dia:rectangle val="2,-16.7714;38.894,-15.7714"/>
  3347.       </dia:attribute>
  3348.       <dia:attribute name="text">
  3349.         <dia:composite type="text">
  3350.           <dia:attribute name="string">
  3351.             <dia:string>#(GRAFCET is also known as SFC, Sequential Function Chart)#</dia:string>
  3352.           </dia:attribute>
  3353.           <dia:attribute name="font">
  3354.             <dia:font name="Courier-Oblique"/>
  3355.           </dia:attribute>
  3356.           <dia:attribute name="height">
  3357.             <dia:real val="1"/>
  3358.           </dia:attribute>
  3359.           <dia:attribute name="pos">
  3360.             <dia:point val="2,-16"/>
  3361.           </dia:attribute>
  3362.           <dia:attribute name="color">
  3363.             <dia:color val="#000000"/>
  3364.           </dia:attribute>
  3365.           <dia:attribute name="alignment">
  3366.             <dia:enum val="0"/>
  3367.           </dia:attribute>
  3368.         </dia:composite>
  3369.       </dia:attribute>
  3370.     </dia:object>
  3371.   </dia:layer>
  3372. </dia:diagram>
  3373.