API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Apr 6th, 2020
145
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
HTML 55.76 KB | None | 0 0
raw download clone embed print report
  1. <?xml version="1.0" encoding="windows-1252" standalone="no"?>
  2. <Snoopy revision="0" version="0">
  3.   <pnml>
  4.     <net id="1" name="T1" type="IOPT">
  5.       <input>
  6.         <signal id="In1" type="boolean" value="0" gpio_nr="0">
  7.           <graphics>
  8.             <position page="1" x="90" y="260"/>
  9.           </graphics>
  10.         </signal>
  11.         <signal id="In2" type="boolean" value="0" gpio_nr="0">
  12.           <graphics>
  13.             <position page="1" x="90" y="300"/>
  14.           </graphics>
  15.         </signal>
  16.         <signal id="In3" type="boolean" value="0" gpio_nr="0">
  17.           <graphics>
  18.             <position page="1" x="90" y="340"/>
  19.           </graphics>
  20.         </signal>
  21.         <signal id="In4" type="boolean" value="0" gpio_nr="0">
  22.           <graphics>
  23.             <position page="1" x="90" y="380"/>
  24.           </graphics>
  25.         </signal>
  26.         <signal id="Out1" type="boolean" value="0" gpio_nr="0">
  27.           <graphics>
  28.             <position page="1" x="140" y="280"/>
  29.           </graphics>
  30.         </signal>
  31.         <signal id="Out2" type="boolean" value="0" gpio_nr="0">
  32.           <graphics>
  33.             <position page="1" x="140" y="320"/>
  34.           </graphics>
  35.         </signal>
  36.         <signal id="Out3" type="boolean" value="0" gpio_nr="0">
  37.           <graphics>
  38.             <position page="1" x="140" y="360"/>
  39.           </graphics>
  40.         </signal>
  41.       </input>
  42.       <output>
  43.         <signal id="OuS_T1" type="boolean" value="0" gpio_nr="0">
  44.           <graphics>
  45.             <position page="1" x="90" y="430"/>
  46.           </graphics>
  47.         </signal>
  48.         <signal id="OuS_T2" type="boolean" value="0" gpio_nr="0">
  49.           <graphics>
  50.             <position page="1" x="90" y="470"/>
  51.           </graphics>
  52.         </signal>
  53.         <signal id="OuS_T3" type="boolean" value="0" gpio_nr="0">
  54.           <graphics>
  55.             <position page="1" x="90" y="510"/>
  56.           </graphics>
  57.         </signal>
  58.         <signal id="OuS_R1" type="boolean" value="0" gpio_nr="0">
  59.           <graphics>
  60.             <position page="1" x="90" y="550"/>
  61.           </graphics>
  62.         </signal>
  63.         <signal id="OuS_R2" type="boolean" value="0" gpio_nr="0">
  64.           <graphics>
  65.             <position page="1" x="90" y="590"/>
  66.           </graphics>
  67.         </signal>
  68.         <signal id="OuS_R3" type="boolean" value="0" gpio_nr="0">
  69.           <graphics>
  70.             <position page="1" x="90" y="630"/>
  71.           </graphics>
  72.         </signal>
  73.       </output>
  74.       <variable/>
  75.       <place id="2">
  76.         <name>
  77.           <text>pl_2</text>
  78.           <graphics>
  79.             <offset x="-10" y="20"/>
  80.           </graphics>
  81.         </name>
  82.         <comment>
  83.           <text/>
  84.           <graphics>
  85.             <offset x="-30" y="20"/>
  86.           </graphics>
  87.         </comment>
  88.         <initialMarking>
  89.           <text>0</text>
  90.           <graphics>
  91.             <offset x="0" y="-1"/>
  92.           </graphics>
  93.         </initialMarking>
  94.         <bound>
  95.           <text>3</text>
  96.         </bound>
  97.         <graphics>
  98.           <position page="1" x="240" y="210"/>
  99.         </graphics>
  100.         <signalOutputActions>
  101.           <signalOutputAction idRef="OuS_T1">
  102.             <value>
  103.               <concreteSyntax language="iopt">
  104.                 <text>1</text>
  105.                 <expression>
  106.                   <operand type="literal" value="1" seq="1"/>
  107.                 </expression>
  108.               </concreteSyntax>
  109.             </value>
  110.             <condition>
  111.               <concreteSyntax language="iopt">
  112.                 <text/>
  113.               </concreteSyntax>
  114.             </condition>
  115.           </signalOutputAction>
  116.         </signalOutputActions>
  117.       </place>
  118.       <place id="3">
  119.         <name>
  120.           <text>pl_3</text>
  121.           <graphics>
  122.             <offset x="-10" y="20"/>
  123.           </graphics>
  124.         </name>
  125.         <comment>
  126.           <text/>
  127.           <graphics>
  128.             <offset x="-30" y="20"/>
  129.           </graphics>
  130.         </comment>
  131.         <initialMarking>
  132.           <text>0</text>
  133.           <graphics>
  134.             <offset x="0" y="-1"/>
  135.           </graphics>
  136.         </initialMarking>
  137.         <bound>
  138.           <text>3</text>
  139.         </bound>
  140.         <graphics>
  141.           <position page="1" x="440" y="210"/>
  142.         </graphics>
  143.       </place>
  144.       <place id="4">
  145.         <name>
  146.           <text>pl_4</text>
  147.           <graphics>
  148.             <offset x="-10" y="20"/>
  149.           </graphics>
  150.         </name>
  151.         <comment>
  152.           <text/>
  153.           <graphics>
  154.             <offset x="-30" y="20"/>
  155.           </graphics>
  156.         </comment>
  157.         <initialMarking>
  158.           <text>0</text>
  159.           <graphics>
  160.             <offset x="0" y="-1"/>
  161.           </graphics>
  162.         </initialMarking>
  163.         <bound>
  164.           <text>3</text>
  165.         </bound>
  166.         <graphics>
  167.           <position page="1" x="610" y="210"/>
  168.         </graphics>
  169.         <signalOutputActions>
  170.           <signalOutputAction idRef="OuS_R1">
  171.             <value>
  172.               <concreteSyntax language="iopt">
  173.                 <text>1</text>
  174.                 <expression>
  175.                   <operand type="literal" value="1" seq="1"/>
  176.                 </expression>
  177.               </concreteSyntax>
  178.             </value>
  179.             <condition>
  180.               <concreteSyntax language="iopt">
  181.                 <text/>
  182.               </concreteSyntax>
  183.             </condition>
  184.           </signalOutputAction>
  185.         </signalOutputActions>
  186.       </place>
  187.       <place id="5">
  188.         <name>
  189.           <text>pl_5</text>
  190.           <graphics>
  191.             <offset x="-10" y="20"/>
  192.           </graphics>
  193.         </name>
  194.         <comment>
  195.           <text/>
  196.           <graphics>
  197.             <offset x="-30" y="20"/>
  198.           </graphics>
  199.         </comment>
  200.         <initialMarking>
  201.           <text>1</text>
  202.           <graphics>
  203.             <offset x="0" y="-1"/>
  204.           </graphics>
  205.         </initialMarking>
  206.         <bound>
  207.           <text>3</text>
  208.         </bound>
  209.         <graphics>
  210.           <position page="1" x="800" y="210"/>
  211.         </graphics>
  212.       </place>
  213.       <transition id="6">
  214.         <name>
  215.           <text>tr_6</text>
  216.           <graphics>
  217.             <offset x="-10" y="20"/>
  218.           </graphics>
  219.         </name>
  220.         <comment>
  221.           <text/>
  222.           <graphics>
  223.             <offset x="-30" y="20"/>
  224.           </graphics>
  225.         </comment>
  226.         <priority>1</priority>
  227.         <signalInputGuards>
  228.           <signalinputguard>
  229.             <concreteSyntax language="iopt">
  230.               <text>Out1 = 1</text>
  231.               <expression>
  232.                 <operand type="input-signal" idRef="Out1" seq="1"/>
  233.                 <operation operator="equal" seq="2">
  234.                   <operand type="literal" value="1" seq="3"/>
  235.                 </operation>
  236.               </expression>
  237.             </concreteSyntax>
  238.           </signalinputguard>
  239.         </signalInputGuards>
  240.         <inputEvents/>
  241.         <graphics>
  242.           <position page="1" x="340" y="210"/>
  243.         </graphics>
  244.         <outputEvents/>
  245.       </transition>
  246.       <transition id="7">
  247.         <name>
  248.           <text>tr_7</text>
  249.           <graphics>
  250.             <offset x="-10" y="20"/>
  251.           </graphics>
  252.         </name>
  253.         <comment>
  254.           <text/>
  255.           <graphics>
  256.             <offset x="-30" y="20"/>
  257.           </graphics>
  258.         </comment>
  259.         <priority>1</priority>
  260.         <signalInputGuards>
  261.           <signalinputguard>
  262.             <concreteSyntax language="iopt">
  263.               <text>Out1 = 1</text>
  264.               <expression>
  265.                 <operand type="input-signal" idRef="Out1" seq="1"/>
  266.                 <operation operator="equal" seq="2">
  267.                   <operand type="literal" value="1" seq="3"/>
  268.                 </operation>
  269.               </expression>
  270.             </concreteSyntax>
  271.           </signalinputguard>
  272.         </signalInputGuards>
  273.         <inputEvents/>
  274.         <graphics>
  275.           <position page="1" x="530" y="210"/>
  276.         </graphics>
  277.         <outputEvents/>
  278.       </transition>
  279.       <transition id="8">
  280.         <name>
  281.           <text>tr_8</text>
  282.           <graphics>
  283.             <offset x="-10" y="20"/>
  284.           </graphics>
  285.         </name>
  286.         <comment>
  287.           <text/>
  288.           <graphics>
  289.             <offset x="-30" y="20"/>
  290.           </graphics>
  291.         </comment>
  292.         <priority>1</priority>
  293.         <signalInputGuards>
  294.           <signalinputguard>
  295.             <concreteSyntax language="iopt">
  296.               <text>Out1 = 0</text>
  297.               <expression>
  298.                 <operand type="input-signal" idRef="Out1" seq="1"/>
  299.                 <operation operator="equal" seq="2">
  300.                   <operand type="literal" value="0" seq="3"/>
  301.                 </operation>
  302.               </expression>
  303.             </concreteSyntax>
  304.           </signalinputguard>
  305.         </signalInputGuards>
  306.         <inputEvents/>
  307.         <graphics>
  308.           <position page="1" x="690" y="210"/>
  309.         </graphics>
  310.         <outputEvents/>
  311.       </transition>
  312.       <transition id="9">
  313.         <name>
  314.           <text>tr_9</text>
  315.           <graphics>
  316.             <offset x="-10" y="20"/>
  317.           </graphics>
  318.         </name>
  319.         <comment>
  320.           <text/>
  321.           <graphics>
  322.             <offset x="-30" y="20"/>
  323.           </graphics>
  324.         </comment>
  325.         <priority>1</priority>
  326.         <signalInputGuards>
  327.           <signalinputguard>
  328.             <concreteSyntax language="iopt">
  329.               <text>In1 = 1</text>
  330.               <expression>
  331.                 <operand type="input-signal" idRef="In1" seq="1"/>
  332.                 <operation operator="equal" seq="2">
  333.                   <operand type="literal" value="1" seq="3"/>
  334.                 </operation>
  335.               </expression>
  336.             </concreteSyntax>
  337.           </signalinputguard>
  338.         </signalInputGuards>
  339.         <inputEvents/>
  340.         <graphics>
  341.           <position page="1" x="890" y="210"/>
  342.         </graphics>
  343.         <outputEvents/>
  344.       </transition>
  345.       <arc id="10" source="2" target="6">
  346.         <type>normal</type>
  347.         <graphics/>
  348.         <inscription>
  349.           <graphics>
  350.             <offset page="1" x="-1" y="-4"/>
  351.           </graphics>
  352.           <value>1</value>
  353.         </inscription>
  354.       </arc>
  355.       <arc id="11" source="6" target="3">
  356.         <type>normal</type>
  357.         <graphics/>
  358.         <inscription>
  359.           <graphics>
  360.             <offset page="1" x="0" y="-5"/>
  361.           </graphics>
  362.           <value>1</value>
  363.         </inscription>
  364.       </arc>
  365.       <arc id="12" source="3" target="7">
  366.         <type>normal</type>
  367.         <graphics/>
  368.         <inscription>
  369.           <graphics>
  370.             <offset page="1" x="-1" y="-4"/>
  371.           </graphics>
  372.           <value>1</value>
  373.         </inscription>
  374.       </arc>
  375.       <arc id="13" source="7" target="4">
  376.         <type>normal</type>
  377.         <graphics/>
  378.         <inscription>
  379.           <graphics>
  380.             <offset page="1" x="1" y="-4"/>
  381.           </graphics>
  382.           <value>1</value>
  383.         </inscription>
  384.       </arc>
  385.       <arc id="14" source="4" target="8">
  386.         <type>normal</type>
  387.         <graphics/>
  388.         <inscription>
  389.           <graphics>
  390.             <offset page="1" x="-1" y="-4"/>
  391.           </graphics>
  392.           <value>1</value>
  393.         </inscription>
  394.       </arc>
  395.       <arc id="15" source="8" target="5">
  396.         <type>normal</type>
  397.         <graphics/>
  398.         <inscription>
  399.           <graphics>
  400.             <offset page="1" x="0" y="-4"/>
  401.           </graphics>
  402.           <value>1</value>
  403.         </inscription>
  404.       </arc>
  405.       <arc id="16" source="5" target="9">
  406.         <type>normal</type>
  407.         <graphics/>
  408.         <inscription>
  409.           <graphics>
  410.             <offset page="1" x="0" y="-4"/>
  411.           </graphics>
  412.           <value>1</value>
  413.         </inscription>
  414.       </arc>
  415.       <arc id="17" source="9" target="2">
  416.         <type>normal</type>
  417.         <graphics>
  418.           <offset x="-200" y="-120"/>
  419.           <offset x="0" y="0"/>
  420.         </graphics>
  421.         <inscription>
  422.           <graphics>
  423.             <offset page="1" x="0" y="14"/>
  424.           </graphics>
  425.           <value>1</value>
  426.         </inscription>
  427.       </arc>
  428.       <place id="18">
  429.         <name>
  430.           <text>pl_18</text>
  431.           <graphics>
  432.             <offset x="-10" y="20"/>
  433.           </graphics>
  434.         </name>
  435.         <comment>
  436.           <text/>
  437.           <graphics>
  438.             <offset x="-30" y="20"/>
  439.           </graphics>
  440.         </comment>
  441.         <initialMarking>
  442.           <text>1</text>
  443.           <graphics>
  444.             <offset x="0" y="-1"/>
  445.           </graphics>
  446.         </initialMarking>
  447.         <bound>
  448.           <text>3</text>
  449.         </bound>
  450.         <graphics>
  451.           <position page="1" x="440" y="280"/>
  452.         </graphics>
  453.       </place>
  454.       <place id="19">
  455.         <name>
  456.           <text>pl_19</text>
  457.           <graphics>
  458.             <offset x="-10" y="20"/>
  459.           </graphics>
  460.         </name>
  461.         <comment>
  462.           <text/>
  463.           <graphics>
  464.             <offset x="-30" y="20"/>
  465.           </graphics>
  466.         </comment>
  467.         <initialMarking>
  468.           <text>0</text>
  469.           <graphics>
  470.             <offset x="0" y="-1"/>
  471.           </graphics>
  472.         </initialMarking>
  473.         <bound>
  474.           <text>3</text>
  475.         </bound>
  476.         <graphics>
  477.           <position page="1" x="880" y="280"/>
  478.         </graphics>
  479.         <signalOutputActions>
  480.           <signalOutputAction idRef="OuS_R1">
  481.             <value>
  482.               <concreteSyntax language="iopt">
  483.                 <text>1</text>
  484.                 <expression>
  485.                   <operand type="literal" value="1" seq="1"/>
  486.                 </expression>
  487.               </concreteSyntax>
  488.             </value>
  489.             <condition>
  490.               <concreteSyntax language="iopt">
  491.                 <text/>
  492.               </concreteSyntax>
  493.             </condition>
  494.           </signalOutputAction>
  495.         </signalOutputActions>
  496.       </place>
  497.       <arc id="20" source="18" target="7">
  498.         <type>normal</type>
  499.         <graphics/>
  500.         <inscription>
  501.           <graphics>
  502.             <offset page="1" x="-6" y="-2"/>
  503.           </graphics>
  504.           <value>1</value>
  505.         </inscription>
  506.       </arc>
  507.       <transition id="22">
  508.         <name>
  509.           <text>tr_22</text>
  510.           <graphics>
  511.             <offset x="-10" y="20"/>
  512.           </graphics>
  513.         </name>
  514.         <comment>
  515.           <text/>
  516.           <graphics>
  517.             <offset x="-30" y="20"/>
  518.           </graphics>
  519.         </comment>
  520.         <priority>1</priority>
  521.         <signalInputGuards>
  522.           <signalinputguard>
  523.             <concreteSyntax language="iopt">
  524.               <text>In2 = 0</text>
  525.               <expression>
  526.                 <operand type="input-signal" idRef="In2" seq="1"/>
  527.                 <operation operator="equal" seq="2">
  528.                   <operand type="literal" value="0" seq="3"/>
  529.                 </operation>
  530.               </expression>
  531.             </concreteSyntax>
  532.           </signalinputguard>
  533.         </signalInputGuards>
  534.         <inputEvents/>
  535.         <graphics>
  536.           <position page="1" x="980" y="280"/>
  537.         </graphics>
  538.         <outputEvents/>
  539.       </transition>
  540.       <place id="23">
  541.         <name>
  542.           <text>pl_23</text>
  543.           <graphics>
  544.             <offset x="-10" y="20"/>
  545.           </graphics>
  546.         </name>
  547.         <comment>
  548.           <text/>
  549.           <graphics>
  550.             <offset x="-30" y="20"/>
  551.           </graphics>
  552.         </comment>
  553.         <initialMarking>
  554.           <text>0</text>
  555.           <graphics>
  556.             <offset x="0" y="-1"/>
  557.           </graphics>
  558.         </initialMarking>
  559.         <bound>
  560.           <text>3</text>
  561.         </bound>
  562.         <graphics>
  563.           <position page="1" x="890" y="370"/>
  564.         </graphics>
  565.         <signalOutputActions>
  566.          
  567.         </signalOutputActions>
  568.       </place>
  569.       <transition id="24">
  570.         <name>
  571.           <text>tr_24</text>
  572.           <graphics>
  573.             <offset x="-10" y="20"/>
  574.           </graphics>
  575.         </name>
  576.         <comment>
  577.           <text/>
  578.           <graphics>
  579.             <offset x="-30" y="20"/>
  580.           </graphics>
  581.         </comment>
  582.         <priority>1</priority>
  583.         <signalInputGuards>
  584.           <signalinputguard>
  585.             <concreteSyntax language="iopt">
  586.               <text>In2 = 1</text>
  587.               <expression>
  588.                 <operand type="input-signal" idRef="In2" seq="1"/>
  589.                 <operation operator="equal" seq="2">
  590.                   <operand type="literal" value="1" seq="3"/>
  591.                 </operation>
  592.               </expression>
  593.             </concreteSyntax>
  594.           </signalinputguard>
  595.         </signalInputGuards>
  596.         <inputEvents/>
  597.         <graphics>
  598.           <position page="1" x="780" y="380"/>
  599.         </graphics>
  600.         <outputEvents/>
  601.       </transition>
  602.       <arc id="26" source="22" target="23">
  603.         <type>normal</type>
  604.         <graphics/>
  605.         <inscription>
  606.           <graphics>
  607.             <offset page="1" x="0" y="-5"/>
  608.           </graphics>
  609.           <value>1</value>
  610.         </inscription>
  611.       </arc>
  612.       <place id="29">
  613.         <name>
  614.           <text>pl_2_2</text>
  615.           <graphics>
  616.             <offset x="-10" y="20"/>
  617.           </graphics>
  618.         </name>
  619.         <comment>
  620.           <text/>
  621.           <graphics>
  622.             <offset x="-30" y="20"/>
  623.           </graphics>
  624.         </comment>
  625.         <initialMarking>
  626.           <text>0</text>
  627.           <graphics>
  628.             <offset x="0" y="-1"/>
  629.           </graphics>
  630.         </initialMarking>
  631.         <bound>
  632.           <text>3</text>
  633.         </bound>
  634.         <graphics>
  635.           <position page="1" x="240" y="470"/>
  636.         </graphics>
  637.         <signalOutputActions>
  638.           <signalOutputAction idRef="OuS_T2">
  639.             <value>
  640.               <concreteSyntax language="iopt">
  641.                 <text>1</text>
  642.                 <expression>
  643.                   <operand type="literal" value="1" seq="1"/>
  644.                 </expression>
  645.               </concreteSyntax>
  646.             </value>
  647.             <condition>
  648.               <concreteSyntax language="iopt">
  649.                 <text/>
  650.               </concreteSyntax>
  651.             </condition>
  652.           </signalOutputAction>
  653.         </signalOutputActions>
  654.       </place>
  655.       <place id="30">
  656.         <name>
  657.           <text>pl_3_2</text>
  658.           <graphics>
  659.             <offset x="-10" y="20"/>
  660.           </graphics>
  661.         </name>
  662.         <comment>
  663.           <text/>
  664.           <graphics>
  665.             <offset x="-30" y="20"/>
  666.           </graphics>
  667.         </comment>
  668.         <initialMarking>
  669.           <text>0</text>
  670.           <graphics>
  671.             <offset x="0" y="-1"/>
  672.           </graphics>
  673.         </initialMarking>
  674.         <bound>
  675.           <text>3</text>
  676.         </bound>
  677.         <graphics>
  678.           <position page="1" x="440" y="470"/>
  679.         </graphics>
  680.       </place>
  681.       <place id="31">
  682.         <name>
  683.           <text>pl_4_2</text>
  684.           <graphics>
  685.             <offset x="-10" y="20"/>
  686.           </graphics>
  687.         </name>
  688.         <comment>
  689.           <text/>
  690.           <graphics>
  691.             <offset x="-30" y="20"/>
  692.           </graphics>
  693.         </comment>
  694.         <initialMarking>
  695.           <text>0</text>
  696.           <graphics>
  697.             <offset x="0" y="-1"/>
  698.           </graphics>
  699.         </initialMarking>
  700.         <bound>
  701.           <text>3</text>
  702.         </bound>
  703.         <graphics>
  704.           <position page="1" x="610" y="470"/>
  705.         </graphics>
  706.         <signalOutputActions>
  707.           <signalOutputAction idRef="OuS_R2">
  708.             <value>
  709.               <concreteSyntax language="iopt">
  710.                 <text>1</text>
  711.                 <expression>
  712.                   <operand type="literal" value="1" seq="1"/>
  713.                 </expression>
  714.               </concreteSyntax>
  715.             </value>
  716.             <condition>
  717.               <concreteSyntax language="iopt">
  718.                 <text/>
  719.               </concreteSyntax>
  720.             </condition>
  721.           </signalOutputAction>
  722.         </signalOutputActions>
  723.       </place>
  724.       <place id="32">
  725.         <name>
  726.           <text>pl_5_2</text>
  727.           <graphics>
  728.             <offset x="-10" y="20"/>
  729.           </graphics>
  730.         </name>
  731.         <comment>
  732.           <text/>
  733.           <graphics>
  734.             <offset x="-30" y="20"/>
  735.           </graphics>
  736.         </comment>
  737.         <initialMarking>
  738.           <text>1</text>
  739.           <graphics>
  740.             <offset x="0" y="-1"/>
  741.           </graphics>
  742.         </initialMarking>
  743.         <bound>
  744.           <text>3</text>
  745.         </bound>
  746.         <graphics>
  747.           <position page="1" x="980" y="410"/>
  748.         </graphics>
  749.       </place>
  750.       <transition id="33">
  751.         <name>
  752.           <text>tr_6_2</text>
  753.           <graphics>
  754.             <offset x="-10" y="20"/>
  755.           </graphics>
  756.         </name>
  757.         <comment>
  758.           <text/>
  759.           <graphics>
  760.             <offset x="-30" y="20"/>
  761.           </graphics>
  762.         </comment>
  763.         <priority>1</priority>
  764.         <signalInputGuards>
  765.           <signalinputguard>
  766.             <concreteSyntax language="iopt">
  767.               <text>Out2 = 1</text>
  768.               <expression>
  769.                 <operand type="input-signal" idRef="Out2" seq="1"/>
  770.                 <operation operator="equal" seq="2">
  771.                   <operand type="literal" value="1" seq="3"/>
  772.                 </operation>
  773.               </expression>
  774.             </concreteSyntax>
  775.           </signalinputguard>
  776.         </signalInputGuards>
  777.         <inputEvents/>
  778.         <graphics>
  779.           <position page="1" x="340" y="470"/>
  780.         </graphics>
  781.         <outputEvents/>
  782.       </transition>
  783.       <transition id="34">
  784.         <name>
  785.           <text>tr_7_2</text>
  786.           <graphics>
  787.             <offset x="-10" y="20"/>
  788.           </graphics>
  789.         </name>
  790.         <comment>
  791.           <text/>
  792.           <graphics>
  793.             <offset x="-30" y="20"/>
  794.           </graphics>
  795.         </comment>
  796.         <priority>1</priority>
  797.         <signalInputGuards>
  798.           <signalinputguard>
  799.             <concreteSyntax language="iopt">
  800.               <text>Out2 = 1</text>
  801.               <expression>
  802.                 <operand type="input-signal" idRef="Out2" seq="1"/>
  803.                 <operation operator="equal" seq="2">
  804.                   <operand type="literal" value="1" seq="3"/>
  805.                 </operation>
  806.               </expression>
  807.             </concreteSyntax>
  808.           </signalinputguard>
  809.         </signalInputGuards>
  810.         <inputEvents/>
  811.         <graphics>
  812.           <position page="1" x="530" y="470"/>
  813.         </graphics>
  814.         <outputEvents/>
  815.       </transition>
  816.       <transition id="35">
  817.         <name>
  818.           <text>tr_8_2</text>
  819.           <graphics>
  820.             <offset x="-10" y="20"/>
  821.           </graphics>
  822.         </name>
  823.         <comment>
  824.           <text/>
  825.           <graphics>
  826.             <offset x="-30" y="20"/>
  827.           </graphics>
  828.         </comment>
  829.         <priority>1</priority>
  830.         <signalInputGuards>
  831.           <signalinputguard>
  832.             <concreteSyntax language="iopt">
  833.               <text>Out2 = 0</text>
  834.               <expression>
  835.                 <operand type="input-signal" idRef="Out2" seq="1"/>
  836.                 <operation operator="equal" seq="2">
  837.                   <operand type="literal" value="0" seq="3"/>
  838.                 </operation>
  839.               </expression>
  840.             </concreteSyntax>
  841.           </signalinputguard>
  842.         </signalInputGuards>
  843.         <inputEvents/>
  844.         <graphics>
  845.           <position page="1" x="690" y="470"/>
  846.         </graphics>
  847.         <outputEvents/>
  848.       </transition>
  849.       <place id="37">
  850.         <name>
  851.           <text>pl_18_2</text>
  852.           <graphics>
  853.             <offset x="-10" y="20"/>
  854.           </graphics>
  855.         </name>
  856.         <comment>
  857.           <text/>
  858.           <graphics>
  859.             <offset x="-30" y="20"/>
  860.           </graphics>
  861.         </comment>
  862.         <initialMarking>
  863.           <text>1</text>
  864.           <graphics>
  865.             <offset x="0" y="-1"/>
  866.           </graphics>
  867.         </initialMarking>
  868.         <bound>
  869.           <text>3</text>
  870.         </bound>
  871.         <graphics>
  872.           <position page="1" x="440" y="540"/>
  873.         </graphics>
  874.       </place>
  875.       <place id="38">
  876.         <name>
  877.           <text>pl_19_2</text>
  878.           <graphics>
  879.             <offset x="-10" y="20"/>
  880.           </graphics>
  881.         </name>
  882.         <comment>
  883.           <text/>
  884.           <graphics>
  885.             <offset x="-30" y="20"/>
  886.           </graphics>
  887.         </comment>
  888.         <initialMarking>
  889.           <text>0</text>
  890.           <graphics>
  891.             <offset x="0" y="-1"/>
  892.           </graphics>
  893.         </initialMarking>
  894.         <bound>
  895.           <text>3</text>
  896.         </bound>
  897.         <graphics>
  898.           <position page="1" x="850" y="540"/>
  899.         </graphics>
  900.         <signalOutputActions>
  901.           <signalOutputAction idRef="OuS_R2">
  902.             <value>
  903.               <concreteSyntax language="iopt">
  904.                 <text>1</text>
  905.                 <expression>
  906.                   <operand type="literal" value="1" seq="1"/>
  907.                 </expression>
  908.               </concreteSyntax>
  909.             </value>
  910.             <condition>
  911.               <concreteSyntax language="iopt">
  912.                 <text/>
  913.               </concreteSyntax>
  914.             </condition>
  915.           </signalOutputAction>
  916.         </signalOutputActions>
  917.       </place>
  918.       <transition id="39">
  919.         <name>
  920.           <text>tr_22_2</text>
  921.           <graphics>
  922.             <offset x="-10" y="20"/>
  923.           </graphics>
  924.         </name>
  925.         <comment>
  926.           <text/>
  927.           <graphics>
  928.             <offset x="-30" y="20"/>
  929.           </graphics>
  930.         </comment>
  931.         <priority>1</priority>
  932.         <signalInputGuards>
  933.           <signalinputguard>
  934.             <concreteSyntax language="iopt">
  935.               <text>In3 = 0</text>
  936.               <expression>
  937.                 <operand type="input-signal" idRef="In3" seq="1"/>
  938.                 <operation operator="equal" seq="2">
  939.                   <operand type="literal" value="0" seq="3"/>
  940.                 </operation>
  941.               </expression>
  942.             </concreteSyntax>
  943.           </signalinputguard>
  944.         </signalInputGuards>
  945.         <inputEvents/>
  946.         <graphics>
  947.           <position page="1" x="970" y="540"/>
  948.         </graphics>
  949.         <outputEvents/>
  950.       </transition>
  951.       <place id="40">
  952.         <name>
  953.           <text>pl_23_2</text>
  954.           <graphics>
  955.             <offset x="-10" y="20"/>
  956.           </graphics>
  957.         </name>
  958.         <comment>
  959.           <text/>
  960.           <graphics>
  961.             <offset x="-30" y="20"/>
  962.           </graphics>
  963.         </comment>
  964.         <initialMarking>
  965.           <text>0</text>
  966.           <graphics>
  967.             <offset x="0" y="-1"/>
  968.           </graphics>
  969.         </initialMarking>
  970.         <bound>
  971.           <text>3</text>
  972.         </bound>
  973.         <graphics>
  974.           <position page="1" x="890" y="640"/>
  975.         </graphics>
  976.         <signalOutputActions>
  977.          
  978.         </signalOutputActions>
  979.       </place>
  980.       <transition id="41">
  981.         <name>
  982.           <text>tr_24_2</text>
  983.           <graphics>
  984.             <offset x="-10" y="20"/>
  985.           </graphics>
  986.         </name>
  987.         <comment>
  988.           <text/>
  989.           <graphics>
  990.             <offset x="-30" y="20"/>
  991.           </graphics>
  992.         </comment>
  993.         <priority>1</priority>
  994.         <signalInputGuards>
  995.           <signalinputguard>
  996.             <concreteSyntax language="iopt">
  997.               <text>In3 = 1</text>
  998.               <expression>
  999.                 <operand type="input-signal" idRef="In3" seq="1"/>
  1000.                 <operation operator="equal" seq="2">
  1001.                   <operand type="literal" value="1" seq="3"/>
  1002.                 </operation>
  1003.               </expression>
  1004.             </concreteSyntax>
  1005.           </signalinputguard>
  1006.         </signalInputGuards>
  1007.         <inputEvents/>
  1008.         <graphics>
  1009.           <position page="1" x="760" y="650"/>
  1010.         </graphics>
  1011.         <outputEvents/>
  1012.       </transition>
  1013.       <arc id="42" source="29" target="33">
  1014.         <type>normal</type>
  1015.         <graphics/>
  1016.         <inscription>
  1017.           <graphics>
  1018.             <offset page="1" x="-1" y="-4"/>
  1019.           </graphics>
  1020.           <value>1</value>
  1021.         </inscription>
  1022.       </arc>
  1023.       <arc id="43" source="33" target="30">
  1024.         <type>normal</type>
  1025.         <graphics/>
  1026.         <inscription>
  1027.           <graphics>
  1028.             <offset page="1" x="0" y="-5"/>
  1029.           </graphics>
  1030.           <value>1</value>
  1031.         </inscription>
  1032.       </arc>
  1033.       <arc id="44" source="30" target="34">
  1034.         <type>normal</type>
  1035.         <graphics/>
  1036.         <inscription>
  1037.           <graphics>
  1038.             <offset page="1" x="-1" y="-4"/>
  1039.           </graphics>
  1040.           <value>1</value>
  1041.         </inscription>
  1042.       </arc>
  1043.       <arc id="45" source="34" target="31">
  1044.         <type>normal</type>
  1045.         <graphics/>
  1046.         <inscription>
  1047.           <graphics>
  1048.             <offset page="1" x="1" y="-4"/>
  1049.           </graphics>
  1050.           <value>1</value>
  1051.         </inscription>
  1052.       </arc>
  1053.       <arc id="46" source="31" target="35">
  1054.         <type>normal</type>
  1055.         <graphics/>
  1056.         <inscription>
  1057.           <graphics>
  1058.             <offset page="1" x="-1" y="-4"/>
  1059.           </graphics>
  1060.           <value>1</value>
  1061.         </inscription>
  1062.       </arc>
  1063.       <arc id="47" source="35" target="32">
  1064.         <type>normal</type>
  1065.         <graphics/>
  1066.         <inscription>
  1067.           <graphics>
  1068.             <offset page="1" x="0" y="-4"/>
  1069.           </graphics>
  1070.           <value>1</value>
  1071.         </inscription>
  1072.       </arc>
  1073.       <arc id="50" source="37" target="34">
  1074.         <type>normal</type>
  1075.         <graphics/>
  1076.         <inscription>
  1077.           <graphics>
  1078.             <offset page="1" x="-6" y="-2"/>
  1079.           </graphics>
  1080.           <value>1</value>
  1081.         </inscription>
  1082.       </arc>
  1083.       <arc id="53" source="39" target="40">
  1084.         <type>normal</type>
  1085.         <graphics/>
  1086.         <inscription>
  1087.           <graphics>
  1088.             <offset page="1" x="0" y="-5"/>
  1089.           </graphics>
  1090.           <value>1</value>
  1091.         </inscription>
  1092.       </arc>
  1093.       <place id="56">
  1094.         <name>
  1095.           <text>pl_2_3</text>
  1096.           <graphics>
  1097.             <offset x="-10" y="20"/>
  1098.           </graphics>
  1099.         </name>
  1100.         <comment>
  1101.           <text/>
  1102.           <graphics>
  1103.             <offset x="-30" y="20"/>
  1104.           </graphics>
  1105.         </comment>
  1106.         <initialMarking>
  1107.           <text>0</text>
  1108.           <graphics>
  1109.             <offset x="0" y="-1"/>
  1110.           </graphics>
  1111.         </initialMarking>
  1112.         <bound>
  1113.           <text>3</text>
  1114.         </bound>
  1115.         <graphics>
  1116.           <position page="1" x="240" y="740"/>
  1117.         </graphics>
  1118.         <signalOutputActions>
  1119.           <signalOutputAction idRef="OuS_T3">
  1120.             <value>
  1121.               <concreteSyntax language="iopt">
  1122.                 <text>1</text>
  1123.                 <expression>
  1124.                   <operand type="literal" value="1" seq="1"/>
  1125.                 </expression>
  1126.               </concreteSyntax>
  1127.             </value>
  1128.             <condition>
  1129.               <concreteSyntax language="iopt">
  1130.                 <text/>
  1131.               </concreteSyntax>
  1132.             </condition>
  1133.           </signalOutputAction>
  1134.         </signalOutputActions>
  1135.       </place>
  1136.       <place id="57">
  1137.         <name>
  1138.           <text>pl_3_3</text>
  1139.           <graphics>
  1140.             <offset x="-10" y="20"/>
  1141.           </graphics>
  1142.         </name>
  1143.         <comment>
  1144.           <text/>
  1145.           <graphics>
  1146.             <offset x="-30" y="20"/>
  1147.           </graphics>
  1148.         </comment>
  1149.         <initialMarking>
  1150.           <text>0</text>
  1151.           <graphics>
  1152.             <offset x="0" y="-1"/>
  1153.           </graphics>
  1154.         </initialMarking>
  1155.         <bound>
  1156.           <text>3</text>
  1157.         </bound>
  1158.         <graphics>
  1159.           <position page="1" x="440" y="740"/>
  1160.         </graphics>
  1161.       </place>
  1162.       <place id="58">
  1163.         <name>
  1164.           <text>pl_4_3</text>
  1165.           <graphics>
  1166.             <offset x="-10" y="20"/>
  1167.           </graphics>
  1168.         </name>
  1169.         <comment>
  1170.           <text/>
  1171.           <graphics>
  1172.             <offset x="-30" y="20"/>
  1173.           </graphics>
  1174.         </comment>
  1175.         <initialMarking>
  1176.           <text>0</text>
  1177.           <graphics>
  1178.             <offset x="0" y="-1"/>
  1179.           </graphics>
  1180.         </initialMarking>
  1181.         <bound>
  1182.           <text>3</text>
  1183.         </bound>
  1184.         <graphics>
  1185.           <position page="1" x="610" y="740"/>
  1186.         </graphics>
  1187.         <signalOutputActions>
  1188.           <signalOutputAction idRef="OuS_R3">
  1189.             <value>
  1190.               <concreteSyntax language="iopt">
  1191.                 <text>1</text>
  1192.                 <expression>
  1193.                   <operand type="literal" value="1" seq="1"/>
  1194.                 </expression>
  1195.               </concreteSyntax>
  1196.             </value>
  1197.             <condition>
  1198.               <concreteSyntax language="iopt">
  1199.                 <text/>
  1200.               </concreteSyntax>
  1201.             </condition>
  1202.           </signalOutputAction>
  1203.         </signalOutputActions>
  1204.       </place>
  1205.       <place id="59">
  1206.         <name>
  1207.           <text>pl_5_3</text>
  1208.           <graphics>
  1209.             <offset x="-10" y="20"/>
  1210.           </graphics>
  1211.         </name>
  1212.         <comment>
  1213.           <text/>
  1214.           <graphics>
  1215.             <offset x="-30" y="20"/>
  1216.           </graphics>
  1217.         </comment>
  1218.         <initialMarking>
  1219.           <text>1</text>
  1220.           <graphics>
  1221.             <offset x="0" y="-1"/>
  1222.           </graphics>
  1223.         </initialMarking>
  1224.         <bound>
  1225.           <text>3</text>
  1226.         </bound>
  1227.         <graphics>
  1228.           <position page="1" x="1000" y="690"/>
  1229.         </graphics>
  1230.       </place>
  1231.       <transition id="60">
  1232.         <name>
  1233.           <text>tr_6_3</text>
  1234.           <graphics>
  1235.             <offset x="-10" y="20"/>
  1236.           </graphics>
  1237.         </name>
  1238.         <comment>
  1239.           <text/>
  1240.           <graphics>
  1241.             <offset x="-30" y="20"/>
  1242.           </graphics>
  1243.         </comment>
  1244.         <priority>1</priority>
  1245.         <signalInputGuards>
  1246.           <signalinputguard>
  1247.             <concreteSyntax language="iopt">
  1248.               <text>Out3 = 1</text>
  1249.               <expression>
  1250.                 <operand type="input-signal" idRef="Out3" seq="1"/>
  1251.                 <operation operator="equal" seq="2">
  1252.                   <operand type="literal" value="1" seq="3"/>
  1253.                 </operation>
  1254.               </expression>
  1255.             </concreteSyntax>
  1256.           </signalinputguard>
  1257.         </signalInputGuards>
  1258.         <inputEvents/>
  1259.         <graphics>
  1260.           <position page="1" x="340" y="740"/>
  1261.         </graphics>
  1262.         <outputEvents/>
  1263.       </transition>
  1264.       <transition id="61">
  1265.         <name>
  1266.           <text>tr_7_3</text>
  1267.           <graphics>
  1268.             <offset x="-10" y="20"/>
  1269.           </graphics>
  1270.         </name>
  1271.         <comment>
  1272.           <text/>
  1273.           <graphics>
  1274.             <offset x="-30" y="20"/>
  1275.           </graphics>
  1276.         </comment>
  1277.         <priority>1</priority>
  1278.         <signalInputGuards>
  1279.           <signalinputguard>
  1280.             <concreteSyntax language="iopt">
  1281.               <text>Out3 = 1</text>
  1282.               <expression>
  1283.                 <operand type="input-signal" idRef="Out3" seq="1"/>
  1284.                 <operation operator="equal" seq="2">
  1285.                   <operand type="literal" value="1" seq="3"/>
  1286.                 </operation>
  1287.               </expression>
  1288.             </concreteSyntax>
  1289.           </signalinputguard>
  1290.         </signalInputGuards>
  1291.         <inputEvents/>
  1292.         <graphics>
  1293.           <position page="1" x="530" y="740"/>
  1294.         </graphics>
  1295.         <outputEvents/>
  1296.       </transition>
  1297.       <transition id="62">
  1298.         <name>
  1299.           <text>tr_8_3</text>
  1300.           <graphics>
  1301.             <offset x="-10" y="20"/>
  1302.           </graphics>
  1303.         </name>
  1304.         <comment>
  1305.           <text/>
  1306.           <graphics>
  1307.             <offset x="-30" y="20"/>
  1308.           </graphics>
  1309.         </comment>
  1310.         <priority>1</priority>
  1311.         <signalInputGuards>
  1312.           <signalinputguard>
  1313.             <concreteSyntax language="iopt">
  1314.               <text>Out3 = 0</text>
  1315.               <expression>
  1316.                 <operand type="input-signal" idRef="Out3" seq="1"/>
  1317.                 <operation operator="equal" seq="2">
  1318.                   <operand type="literal" value="0" seq="3"/>
  1319.                 </operation>
  1320.               </expression>
  1321.             </concreteSyntax>
  1322.           </signalinputguard>
  1323.         </signalInputGuards>
  1324.         <inputEvents/>
  1325.         <graphics>
  1326.           <position page="1" x="690" y="740"/>
  1327.         </graphics>
  1328.         <outputEvents/>
  1329.       </transition>
  1330.       <place id="64">
  1331.         <name>
  1332.           <text>pl_18_3</text>
  1333.           <graphics>
  1334.             <offset x="-10" y="20"/>
  1335.           </graphics>
  1336.         </name>
  1337.         <comment>
  1338.           <text/>
  1339.           <graphics>
  1340.             <offset x="-30" y="20"/>
  1341.           </graphics>
  1342.         </comment>
  1343.         <initialMarking>
  1344.           <text>1</text>
  1345.           <graphics>
  1346.             <offset x="0" y="-1"/>
  1347.           </graphics>
  1348.         </initialMarking>
  1349.         <bound>
  1350.           <text>3</text>
  1351.         </bound>
  1352.         <graphics>
  1353.           <position page="1" x="440" y="810"/>
  1354.         </graphics>
  1355.       </place>
  1356.       <place id="65">
  1357.         <name>
  1358.           <text>pl_19_3</text>
  1359.           <graphics>
  1360.             <offset x="-10" y="20"/>
  1361.           </graphics>
  1362.         </name>
  1363.         <comment>
  1364.           <text/>
  1365.           <graphics>
  1366.             <offset x="-30" y="20"/>
  1367.           </graphics>
  1368.         </comment>
  1369.         <initialMarking>
  1370.           <text>0</text>
  1371.           <graphics>
  1372.             <offset x="0" y="-1"/>
  1373.           </graphics>
  1374.         </initialMarking>
  1375.         <bound>
  1376.           <text>3</text>
  1377.         </bound>
  1378.         <graphics>
  1379.           <position page="1" x="800" y="810"/>
  1380.         </graphics>
  1381.         <signalOutputActions>
  1382.           <signalOutputAction idRef="OuS_R3">
  1383.             <value>
  1384.               <concreteSyntax language="iopt">
  1385.                 <text>1</text>
  1386.                 <expression>
  1387.                   <operand type="literal" value="1" seq="1"/>
  1388.                 </expression>
  1389.               </concreteSyntax>
  1390.             </value>
  1391.             <condition>
  1392.               <concreteSyntax language="iopt">
  1393.                 <text/>
  1394.               </concreteSyntax>
  1395.             </condition>
  1396.           </signalOutputAction>
  1397.         </signalOutputActions>
  1398.       </place>
  1399.       <transition id="66">
  1400.         <name>
  1401.           <text>tr_22_3</text>
  1402.           <graphics>
  1403.             <offset x="-10" y="20"/>
  1404.           </graphics>
  1405.         </name>
  1406.         <comment>
  1407.           <text/>
  1408.           <graphics>
  1409.             <offset x="-30" y="20"/>
  1410.           </graphics>
  1411.         </comment>
  1412.         <priority>1</priority>
  1413.         <signalInputGuards>
  1414.           <signalinputguard>
  1415.             <concreteSyntax language="iopt">
  1416.               <text>In4 = 0</text>
  1417.               <expression>
  1418.                 <operand type="input-signal" idRef="In4" seq="1"/>
  1419.                 <operation operator="equal" seq="2">
  1420.                   <operand type="literal" value="0" seq="3"/>
  1421.                 </operation>
  1422.               </expression>
  1423.             </concreteSyntax>
  1424.           </signalinputguard>
  1425.         </signalInputGuards>
  1426.         <inputEvents/>
  1427.         <graphics>
  1428.           <position page="1" x="890" y="810"/>
  1429.         </graphics>
  1430.         <outputEvents/>
  1431.       </transition>
  1432.       <place id="67">
  1433.         <name>
  1434.           <text>pl_23_3</text>
  1435.           <graphics>
  1436.             <offset x="-10" y="20"/>
  1437.           </graphics>
  1438.         </name>
  1439.         <comment>
  1440.           <text/>
  1441.           <graphics>
  1442.             <offset x="-30" y="20"/>
  1443.           </graphics>
  1444.         </comment>
  1445.         <initialMarking>
  1446.           <text>0</text>
  1447.           <graphics>
  1448.             <offset x="0" y="-1"/>
  1449.           </graphics>
  1450.         </initialMarking>
  1451.         <bound>
  1452.           <text>3</text>
  1453.         </bound>
  1454.         <graphics>
  1455.           <position page="1" x="990" y="810"/>
  1456.         </graphics>
  1457.         <signalOutputActions>
  1458.          
  1459.         </signalOutputActions>
  1460.       </place>
  1461.       <transition id="68">
  1462.         <name>
  1463.           <text>tr_24_3</text>
  1464.           <graphics>
  1465.             <offset x="-10" y="20"/>
  1466.           </graphics>
  1467.         </name>
  1468.         <comment>
  1469.           <text/>
  1470.           <graphics>
  1471.             <offset x="-30" y="20"/>
  1472.           </graphics>
  1473.         </comment>
  1474.         <priority>1</priority>
  1475.         <signalInputGuards>
  1476.           <signalinputguard>
  1477.             <concreteSyntax language="iopt">
  1478.               <text>In4 = 1</text>
  1479.               <expression>
  1480.                 <operand type="input-signal" idRef="In4" seq="1"/>
  1481.                 <operation operator="equal" seq="2">
  1482.                   <operand type="literal" value="1" seq="3"/>
  1483.                 </operation>
  1484.               </expression>
  1485.             </concreteSyntax>
  1486.           </signalinputguard>
  1487.         </signalInputGuards>
  1488.         <inputEvents/>
  1489.         <graphics>
  1490.           <position page="1" x="990" y="900"/>
  1491.         </graphics>
  1492.         <outputEvents/>
  1493.       </transition>
  1494.       <arc id="69" source="56" target="60">
  1495.         <type>normal</type>
  1496.         <graphics/>
  1497.         <inscription>
  1498.           <graphics>
  1499.             <offset page="1" x="-1" y="-4"/>
  1500.           </graphics>
  1501.           <value>1</value>
  1502.         </inscription>
  1503.       </arc>
  1504.       <arc id="70" source="60" target="57">
  1505.         <type>normal</type>
  1506.         <graphics/>
  1507.         <inscription>
  1508.           <graphics>
  1509.             <offset page="1" x="0" y="-5"/>
  1510.           </graphics>
  1511.           <value>1</value>
  1512.         </inscription>
  1513.       </arc>
  1514.       <arc id="71" source="57" target="61">
  1515.         <type>normal</type>
  1516.         <graphics/>
  1517.         <inscription>
  1518.           <graphics>
  1519.             <offset page="1" x="-1" y="-4"/>
  1520.           </graphics>
  1521.           <value>1</value>
  1522.         </inscription>
  1523.       </arc>
  1524.       <arc id="72" source="61" target="58">
  1525.         <type>normal</type>
  1526.         <graphics/>
  1527.         <inscription>
  1528.           <graphics>
  1529.             <offset page="1" x="1" y="-4"/>
  1530.           </graphics>
  1531.           <value>1</value>
  1532.         </inscription>
  1533.       </arc>
  1534.       <arc id="73" source="58" target="62">
  1535.         <type>normal</type>
  1536.         <graphics/>
  1537.         <inscription>
  1538.           <graphics>
  1539.             <offset page="1" x="-1" y="-4"/>
  1540.           </graphics>
  1541.           <value>1</value>
  1542.         </inscription>
  1543.       </arc>
  1544.       <arc id="74" source="62" target="59">
  1545.         <type>normal</type>
  1546.         <graphics/>
  1547.         <inscription>
  1548.           <graphics>
  1549.             <offset page="1" x="0" y="-4"/>
  1550.           </graphics>
  1551.           <value>1</value>
  1552.         </inscription>
  1553.       </arc>
  1554.       <arc id="77" source="64" target="61">
  1555.         <type>normal</type>
  1556.         <graphics/>
  1557.         <inscription>
  1558.           <graphics>
  1559.             <offset page="1" x="-6" y="-2"/>
  1560.           </graphics>
  1561.           <value>1</value>
  1562.         </inscription>
  1563.       </arc>
  1564.       <arc id="78" source="62" target="65">
  1565.         <type>normal</type>
  1566.         <graphics/>
  1567.         <inscription>
  1568.           <graphics>
  1569.             <offset page="1" x="5" y="-3"/>
  1570.           </graphics>
  1571.           <value>1</value>
  1572.         </inscription>
  1573.       </arc>
  1574.       <arc id="79" source="65" target="66">
  1575.         <type>normal</type>
  1576.         <graphics/>
  1577.         <inscription>
  1578.           <graphics>
  1579.             <offset page="1" x="0" y="-5"/>
  1580.           </graphics>
  1581.           <value>1</value>
  1582.         </inscription>
  1583.       </arc>
  1584.       <arc id="80" source="66" target="67">
  1585.         <type>normal</type>
  1586.         <graphics/>
  1587.         <inscription>
  1588.           <graphics>
  1589.             <offset page="1" x="0" y="-5"/>
  1590.           </graphics>
  1591.           <value>1</value>
  1592.         </inscription>
  1593.       </arc>
  1594.       <arc id="81" source="67" target="68">
  1595.         <type>normal</type>
  1596.         <graphics/>
  1597.         <inscription>
  1598.           <graphics>
  1599.             <offset page="1" x="10" y="5"/>
  1600.           </graphics>
  1601.           <value>1</value>
  1602.         </inscription>
  1603.       </arc>
  1604.       <arc id="82" source="68" target="64">
  1605.         <type>normal</type>
  1606.         <graphics/>
  1607.         <inscription>
  1608.           <graphics>
  1609.             <offset page="1" x="-1" y="14"/>
  1610.           </graphics>
  1611.           <value>1</value>
  1612.         </inscription>
  1613.       </arc>
  1614.       <arc id="83" source="32" target="22">
  1615.         <type>normal</type>
  1616.         <graphics/>
  1617.         <inscription>
  1618.           <graphics>
  1619.             <offset page="1" x="-9" y="1"/>
  1620.           </graphics>
  1621.           <value>1</value>
  1622.         </inscription>
  1623.       </arc>
  1624.       <arc id="86" source="59" target="39">
  1625.         <type>normal</type>
  1626.         <graphics/>
  1627.         <inscription>
  1628.           <graphics>
  1629.             <offset page="1" x="-9" y="1"/>
  1630.           </graphics>
  1631.           <value>1</value>
  1632.         </inscription>
  1633.       </arc>
  1634.       <transition id="89">
  1635.         <name>
  1636.           <text>tr_81</text>
  1637.           <graphics>
  1638.             <offset x="-10" y="20"/>
  1639.           </graphics>
  1640.         </name>
  1641.         <comment>
  1642.           <text/>
  1643.           <graphics>
  1644.             <offset x="-30" y="20"/>
  1645.           </graphics>
  1646.         </comment>
  1647.         <priority>1</priority>
  1648.         <signalInputGuards/>
  1649.         <inputEvents/>
  1650.         <graphics>
  1651.           <position page="1" x="780" y="280"/>
  1652.         </graphics>
  1653.         <outputEvents/>
  1654.       </transition>
  1655.       <transition id="88">
  1656.         <name>
  1657.           <text>tr_241</text>
  1658.           <graphics>
  1659.             <offset x="-10" y="20"/>
  1660.           </graphics>
  1661.         </name>
  1662.         <comment>
  1663.           <text/>
  1664.           <graphics>
  1665.             <offset x="-30" y="20"/>
  1666.           </graphics>
  1667.         </comment>
  1668.         <priority>1</priority>
  1669.         <signalInputGuards/>
  1670.         <inputEvents/>
  1671.         <graphics>
  1672.           <position page="1" x="600" y="340"/>
  1673.         </graphics>
  1674.         <outputEvents/>
  1675.       </transition>
  1676.       <arc id="91" source="19" target="22">
  1677.         <type>normal</type>
  1678.         <graphics/>
  1679.         <inscription>
  1680.           <graphics>
  1681.             <offset page="1" x="-1" y="-4"/>
  1682.           </graphics>
  1683.           <value>1</value>
  1684.         </inscription>
  1685.       </arc>
  1686.       <arc id="92" source="89" target="19">
  1687.         <type>normal</type>
  1688.         <graphics/>
  1689.         <inscription>
  1690.           <graphics>
  1691.             <offset page="1" x="-1" y="-4"/>
  1692.           </graphics>
  1693.           <value>1</value>
  1694.         </inscription>
  1695.       </arc>
  1696.       <place id="93">
  1697.         <name>
  1698.           <text>AC3</text>
  1699.           <graphics>
  1700.             <offset x="-10" y="20"/>
  1701.           </graphics>
  1702.         </name>
  1703.         <comment>
  1704.           <text/>
  1705.           <graphics>
  1706.             <offset x="-30" y="20"/>
  1707.           </graphics>
  1708.         </comment>
  1709.         <graphics>
  1710.           <position page="1" x="660" y="340"/>
  1711.         </graphics>
  1712.         <placetype>asyncchannel</placetype>
  1713.         <actype>syncset</actype>
  1714.       </place>
  1715.       <arc id="94" source="24" target="93">
  1716.         <type>channel</type>
  1717.         <graphics/>
  1718.         <inscription>
  1719.           <graphics>
  1720.             <offset page="1" x="-1" y="-4"/>
  1721.           </graphics>
  1722.           <value>1</value>
  1723.         </inscription>
  1724.       </arc>
  1725.       <arc id="95" source="93" target="88">
  1726.         <type>channel</type>
  1727.         <graphics/>
  1728.         <inscription>
  1729.           <graphics>
  1730.             <offset page="1" x="-1" y="-4"/>
  1731.           </graphics>
  1732.           <value>1</value>
  1733.         </inscription>
  1734.       </arc>
  1735.       <place id="96">
  1736.         <name>
  1737.           <text>AC4</text>
  1738.           <graphics>
  1739.             <offset x="-10" y="20"/>
  1740.           </graphics>
  1741.         </name>
  1742.         <comment>
  1743.           <text/>
  1744.           <graphics>
  1745.             <offset x="-30" y="20"/>
  1746.           </graphics>
  1747.         </comment>
  1748.         <graphics>
  1749.           <position page="1" x="670" y="280"/>
  1750.         </graphics>
  1751.         <placetype>asyncchannel</placetype>
  1752.         <actype>syncset</actype>
  1753.       </place>
  1754.       <arc id="97" source="8" target="96">
  1755.         <type>channel</type>
  1756.         <graphics/>
  1757.         <inscription>
  1758.           <graphics>
  1759.             <offset page="1" x="-1" y="-4"/>
  1760.           </graphics>
  1761.           <value>1</value>
  1762.         </inscription>
  1763.       </arc>
  1764.       <arc id="98" source="96" target="89">
  1765.         <type>channel</type>
  1766.         <graphics/>
  1767.         <inscription>
  1768.           <graphics>
  1769.             <offset page="1" x="-1" y="-4"/>
  1770.           </graphics>
  1771.           <value>1</value>
  1772.         </inscription>
  1773.       </arc>
  1774.       <arc id="99" source="88" target="18">
  1775.         <type>normal</type>
  1776.         <graphics/>
  1777.         <inscription>
  1778.           <graphics>
  1779.             <offset page="1" x="-1" y="-4"/>
  1780.           </graphics>
  1781.           <value>1</value>
  1782.         </inscription>
  1783.       </arc>
  1784.       <arc id="100" source="23" target="24">
  1785.         <type>normal</type>
  1786.         <graphics/>
  1787.         <inscription>
  1788.           <graphics>
  1789.             <offset page="1" x="-1" y="-4"/>
  1790.           </graphics>
  1791.           <value>1</value>
  1792.         </inscription>
  1793.       </arc>
  1794.       <arc id="101" source="24" target="29">
  1795.         <type>normal</type>
  1796.         <graphics/>
  1797.         <inscription>
  1798.           <graphics>
  1799.             <offset page="1" x="-1" y="-4"/>
  1800.           </graphics>
  1801.           <value>1</value>
  1802.         </inscription>
  1803.       </arc>
  1804.       <transition id="104">
  1805.         <name>
  1806.           <text>tr_8_21</text>
  1807.           <graphics>
  1808.             <offset x="-10" y="20"/>
  1809.           </graphics>
  1810.         </name>
  1811.         <comment>
  1812.           <text/>
  1813.           <graphics>
  1814.             <offset x="-30" y="20"/>
  1815.           </graphics>
  1816.         </comment>
  1817.         <priority>1</priority>
  1818.         <signalInputGuards/>
  1819.         <inputEvents/>
  1820.         <graphics>
  1821.           <position page="1" x="780" y="540"/>
  1822.         </graphics>
  1823.         <outputEvents/>
  1824.       </transition>
  1825.       <transition id="103">
  1826.         <name>
  1827.           <text>tr_24_21</text>
  1828.           <graphics>
  1829.             <offset x="-10" y="20"/>
  1830.           </graphics>
  1831.         </name>
  1832.         <comment>
  1833.           <text/>
  1834.           <graphics>
  1835.             <offset x="-30" y="20"/>
  1836.           </graphics>
  1837.         </comment>
  1838.         <priority>1</priority>
  1839.         <signalInputGuards/>
  1840.         <inputEvents/>
  1841.         <graphics>
  1842.           <position page="1" x="600" y="610"/>
  1843.         </graphics>
  1844.         <outputEvents/>
  1845.       </transition>
  1846.       <arc id="106" source="38" target="39">
  1847.         <type>normal</type>
  1848.         <graphics/>
  1849.         <inscription>
  1850.           <graphics>
  1851.             <offset page="1" x="-1" y="-4"/>
  1852.           </graphics>
  1853.           <value>1</value>
  1854.         </inscription>
  1855.       </arc>
  1856.       <arc id="107" source="104" target="38">
  1857.         <type>normal</type>
  1858.         <graphics/>
  1859.         <inscription>
  1860.           <graphics>
  1861.             <offset page="1" x="-1" y="-4"/>
  1862.           </graphics>
  1863.           <value>1</value>
  1864.         </inscription>
  1865.       </arc>
  1866.       <place id="108">
  1867.         <name>
  1868.           <text>AC3</text>
  1869.           <graphics>
  1870.             <offset x="-10" y="20"/>
  1871.           </graphics>
  1872.         </name>
  1873.         <comment>
  1874.           <text/>
  1875.           <graphics>
  1876.             <offset x="-30" y="20"/>
  1877.           </graphics>
  1878.         </comment>
  1879.         <graphics>
  1880.           <position page="1" x="670" y="620"/>
  1881.         </graphics>
  1882.         <placetype>asyncchannel</placetype>
  1883.         <actype>syncset</actype>
  1884.       </place>
  1885.       <arc id="109" source="41" target="108">
  1886.         <type>channel</type>
  1887.         <graphics/>
  1888.         <inscription>
  1889.           <graphics>
  1890.             <offset page="1" x="-1" y="-4"/>
  1891.           </graphics>
  1892.           <value>1</value>
  1893.         </inscription>
  1894.       </arc>
  1895.       <arc id="110" source="108" target="103">
  1896.         <type>channel</type>
  1897.         <graphics/>
  1898.         <inscription>
  1899.           <graphics>
  1900.             <offset page="1" x="-1" y="-4"/>
  1901.           </graphics>
  1902.           <value>1</value>
  1903.         </inscription>
  1904.       </arc>
  1905.       <place id="111">
  1906.         <name>
  1907.           <text>AC4</text>
  1908.           <graphics>
  1909.             <offset x="-10" y="20"/>
  1910.           </graphics>
  1911.         </name>
  1912.         <comment>
  1913.           <text/>
  1914.           <graphics>
  1915.             <offset x="-30" y="20"/>
  1916.           </graphics>
  1917.         </comment>
  1918.         <graphics>
  1919.           <position page="1" x="690" y="530"/>
  1920.         </graphics>
  1921.         <placetype>asyncchannel</placetype>
  1922.         <actype>syncset</actype>
  1923.       </place>
  1924.       <arc id="112" source="35" target="111">
  1925.         <type>channel</type>
  1926.         <graphics/>
  1927.         <inscription>
  1928.           <graphics>
  1929.             <offset page="1" x="-1" y="-4"/>
  1930.           </graphics>
  1931.           <value>1</value>
  1932.         </inscription>
  1933.       </arc>
  1934.       <arc id="113" source="111" target="104">
  1935.         <type>channel</type>
  1936.         <graphics/>
  1937.         <inscription>
  1938.           <graphics>
  1939.             <offset page="1" x="-1" y="-4"/>
  1940.           </graphics>
  1941.           <value>1</value>
  1942.         </inscription>
  1943.       </arc>
  1944.       <arc id="114" source="103" target="37">
  1945.         <type>normal</type>
  1946.         <graphics/>
  1947.         <inscription>
  1948.           <graphics>
  1949.             <offset page="1" x="-1" y="-4"/>
  1950.           </graphics>
  1951.           <value>1</value>
  1952.         </inscription>
  1953.       </arc>
  1954.       <arc id="115" source="40" target="41">
  1955.         <type>normal</type>
  1956.         <graphics/>
  1957.         <inscription>
  1958.           <graphics>
  1959.             <offset page="1" x="-1" y="-4"/>
  1960.           </graphics>
  1961.           <value>1</value>
  1962.         </inscription>
  1963.       </arc>
  1964.       <arc id="116" source="41" target="56">
  1965.         <type>normal</type>
  1966.         <graphics/>
  1967.         <inscription>
  1968.           <graphics>
  1969.             <offset page="1" x="-1" y="-4"/>
  1970.           </graphics>
  1971.           <value>1</value>
  1972.         </inscription>
  1973.       </arc>
  1974.     </net>
  1975.     <pnml-editor-plugin name="SPLIT">
  1976.       <code path="plugins/run_split.sh"/>
  1977.       <text-info>
  1978.    Instructions: To use the Net Splitting tool go through the
  1979.    following steps:
  1980.    
  1981.    1.   In the PNML Editor select a set of nodes in which the splitting
  1982.    operation will occur (Cutting Set). (NOTE: A selected node must not
  1983.    have any arc linking it to another selected node and the removal of all
  1984.    the selected nodes should generate atleast two subnets).
  1985.    2.   The user can choose on which subnet the master transition
  1986.    of a selected cutting set transition element will be located
  1987.    by filling it's "Comment" field with the "id" of another net element
  1988.    that isn't a cutting set element. The "id" inserted must from an element
  1989.    that belongs to the intended subnet generated after the removal of the
  1990.    cutting set elements.
  1991.    3    To merge two or more subnets, select a non-cutting set node of a
  1992.    subnet and fill it's "Comment" field with the "id" of an element that
  1993.    belongs to another subnet (this last one mustn't also be a cutting set
  1994.    node).
  1995.    4.   By selecting "Synchronous" or "Assynchronous" on "ImpType"
  1996.    (Implementation type) the SPLIT tool will generate the resulting subnets
  1997.    communication with the respective channel types.
  1998.    </text-info>
  1999.       <param name="ImpType" type="enum" default="0" value="0"/>
  2000.       <param name="SelNodes" type="selection">
  2001.         <node type="place" id="38"/>
  2002.         <node type="transition" id="41"/>
  2003.       </param>
  2004.     </pnml-editor-plugin>
  2005.   </pnml>
  2006. </Snoopy>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!