<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="/xsl/spped2svg.xsl"?>
<Snoopy version="2" revision="1.09">
  <netclass name="Stochastic Petri Net"/>
  <nodeclasses count="10">
    <nodeclass count="2" name="Place">
      <node id="317005" net="1">
        <attribute name="Name" id="317006" net="1">
          <![CDATA[A]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="20.00" x="185.00" y="180.00" id="317007" net="1" show="1" grparent="317015" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="317008" net="1">
          <![CDATA[0]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="20.00" x="185.00" y="180.00" id="317009" net="1" show="0" grparent="317015" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Marking" id="317010" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic x="160.00" y="160.00" id="317011" net="1" show="1" grparent="317015" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="317012" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="317013" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic yoff="40.00" x="160.00" y="200.00" id="317014" net="1" show="1" grparent="317015" state="1"/>
          </graphics>
        </attribute>
        <attribute name="MarkingList" type="ColList" id="318738" net="1">
          <colList row_count="4" col_count="2" active_row="0" active_col="0">
            <colList_head>
              <colList_colLabel>
                <![CDATA[Marking set]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[Marking]]>
              </colList_colLabel>
            </colList_head>
            <colList_body>
              <colList_row nr="0">
                <colList_col nr="0">
                  <![CDATA[Main]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[1]]>
                </colList_col>
              </colList_row>
              <colList_row nr="1">
                <colList_col nr="0">
                  <![CDATA[M10]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[10]]>
                </colList_col>
              </colList_row>
              <colList_row nr="2">
                <colList_col nr="0">
                  <![CDATA[M100]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[100]]>
                </colList_col>
              </colList_row>
              <colList_row nr="3">
                <colList_col nr="0">
                  <![CDATA[M1000]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[1000]]>
                </colList_col>
              </colList_row>
            </colList_body>
          </colList>
          <graphics count="0"/>
        </attribute>
        <graphics count="1">
          <graphic x="160.00" y="160.00" id="317015" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
      <node id="317016" net="1">
        <attribute name="Name" id="317017" net="1">
          <![CDATA[B]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="20.00" x="445.00" y="180.00" id="317018" net="1" show="1" grparent="317026" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="317019" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="20.00" x="445.00" y="180.00" id="317020" net="1" show="0" grparent="317026" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Marking" id="317021" net="1">
          <![CDATA[0]]>
          <graphics count="1">
            <graphic x="420.00" y="160.00" id="317022" net="1" show="1" grparent="317026" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="317023" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="317024" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic yoff="40.00" x="420.00" y="200.00" id="317025" net="1" show="1" grparent="317026" state="1"/>
          </graphics>
        </attribute>
        <attribute name="MarkingList" type="ColList" id="318750" net="1">
          <colList row_count="4" col_count="2" active_row="0" active_col="0">
            <colList_head>
              <colList_colLabel>
                <![CDATA[Marking set]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[Marking]]>
              </colList_colLabel>
            </colList_head>
            <colList_body>
              <colList_row nr="0">
                <colList_col nr="0">
                  <![CDATA[Main]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[0]]>
                </colList_col>
              </colList_row>
              <colList_row nr="1">
                <colList_col nr="0">
                  <![CDATA[M10]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[0]]>
                </colList_col>
              </colList_row>
              <colList_row nr="2">
                <colList_col nr="0">
                  <![CDATA[M100]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[0]]>
                </colList_col>
              </colList_row>
              <colList_row nr="3">
                <colList_col nr="0">
                  <![CDATA[M1000]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[0]]>
                </colList_col>
              </colList_row>
            </colList_body>
          </colList>
          <graphics count="0"/>
        </attribute>
        <graphics count="1">
          <graphic x="420.00" y="160.00" id="317026" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
    </nodeclass>
    <nodeclass count="1" name="Transition">
      <node id="317027" net="1">
        <attribute name="Name" id="317028" net="1">
          <![CDATA[k1]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="20.00" x="305.00" y="180.00" id="317029" net="1" show="1" grparent="317035" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="317030" net="1">
          <![CDATA[0]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="20.00" x="305.00" y="180.00" id="317031" net="1" show="0" grparent="317035" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="317032" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="317033" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="40.00" x="320.00" y="160.00" id="317034" net="1" show="1" grparent="317035" state="1"/>
          </graphics>
        </attribute>
        <attribute name="FunctionList" type="ColList" id="318760" net="1">
          <colList row_count="1" col_count="2" active_row="0" active_col="0">
            <colList_head>
              <colList_colLabel>
                <![CDATA[Function set]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[Function]]>
              </colList_colLabel>
            </colList_head>
            <colList_body>
              <colList_row nr="0">
                <colList_col nr="0">
                  <![CDATA[Main]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[A*k1]]>
                </colList_col>
              </colList_row>
            </colList_body>
          </colList>
          <graphics count="1">
            <graphic xoff="45.00" yoff="-155.00" x="325.00" y="5.00" id="318761" net="1" show="0" grparent="317035" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="280.00" y="160.00" id="317035" net="1" show="1" w="20.00" h="28.00" state="1"/>
        </graphics>
      </node>
    </nodeclass>
    <nodeclass count="0" name="Coarse Place"/>
    <nodeclass count="0" name="Coarse Transition"/>
    <nodeclass count="0" name="Immediate Transition"/>
    <nodeclass count="0" name="Deterministic Transition"/>
    <nodeclass count="0" name="Scheduled Transition"/>
    <nodeclass count="1" name="Parameter">
      <node id="318950" net="1">
        <attribute name="Name" id="318951" net="1">
          <![CDATA[k1]]>
          <graphics count="1">
            <graphic yoff="20.00" x="340.00" y="80.00" id="318952" net="1" show="1" grparent="318959" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="318953" net="1">
          <![CDATA[0]]>
          <graphics count="1">
            <graphic xoff="20.00" x="360.00" y="60.00" id="318954" net="1" show="0" grparent="318959" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="318955" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="40.00" x="380.00" y="60.00" id="318956" net="1" show="1" grparent="318959" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ParameterList" type="ColList" id="318957" net="1">
          <colList row_count="3" col_count="2" active_row="2" active_col="0">
            <colList_head>
              <colList_colLabel>
                <![CDATA[Parameter set]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[Parameter]]>
              </colList_colLabel>
            </colList_head>
            <colList_body>
              <colList_row nr="0">
                <colList_col nr="0">
                  <![CDATA[Main]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[1]]>
                </colList_col>
              </colList_row>
              <colList_row nr="1">
                <colList_col nr="0">
                  <![CDATA[P10]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[10]]>
                </colList_col>
              </colList_row>
              <colList_row nr="2">
                <colList_col nr="0">
                  <![CDATA[P0.1]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[0.1]]>
                </colList_col>
              </colList_row>
            </colList_body>
          </colList>
          <graphics count="1">
            <graphic x="340.00" y="60.00" id="318958" net="1" show="1" grparent="318959" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="340.00" y="60.00" id="318959" net="1" show="1" w="40.00" h="20.00" state="1" thickness="3"/>
        </graphics>
      </node>
    </nodeclass>
    <nodeclass count="0" name="Coarse Parameter"/>
    <nodeclass count="0" name="LookupTable"/>
  </nodeclasses>
  <edgeclasses count="6">
    <edgeclass count="2" name="Edge">
      <edge source="317005" target="317027" id="317036" net="1">
        <attribute name="Multiplicity" id="317037" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="20.00" x="240.00" y="160.00" id="317038" net="1" show="1" grparent="317041" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="317039" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="40.00" x="260.00" y="160.00" id="317040" net="1" show="1" grparent="317041" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="317041" net="1" source="317015" target="317035" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="170.00" y="160.00"/>
              <point x="270.00" y="160.00"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="317027" target="317016" id="317042" net="1">
        <attribute name="Multiplicity" id="317043" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="20.00" x="370.00" y="160.00" id="317044" net="1" show="1" grparent="317047" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="317045" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="40.00" x="390.00" y="160.00" id="317046" net="1" show="1" grparent="317047" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="317047" net="1" source="317035" target="317026" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="290.00" y="160.00"/>
              <point x="410.00" y="160.00"/>
            </points>
          </graphic>
        </graphics>
      </edge>
    </edgeclass>
    <edgeclass count="0" name="Read Edge"/>
    <edgeclass count="0" name="Inhibitor Edge"/>
    <edgeclass count="0" name="Reset Edge"/>
    <edgeclass count="0" name="Equal Edge"/>
    <edgeclass count="0" name="Modifier Edge"/>
  </edgeclasses>
  <metadataclasses count="6">
    <metadataclass count="1" name="General">
      <metadata id="316991" net="1">
        <attribute name="Name" id="316992" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="3.00" x="20.00" y="20.00" id="316993" net="1" show="1" grparent="317004" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Created" id="316994" net="1">
          <![CDATA[2012-02-26 17:13:15]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="20.00" x="42.00" y="40.00" id="316995" net="1" show="0" grparent="317004" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Authors" id="316996" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="316997" net="1" show="1" grparent="317004" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Keywords" id="316998" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="40.00" yoff="25.00" x="57.00" y="45.00" id="316999" net="1" show="1" grparent="317004" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Description" id="317000" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="317001" net="1" show="1" grparent="317004" state="1"/>
          </graphics>
        </attribute>
        <attribute name="References" id="317002" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="317003" net="1" show="1" grparent="317004" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="17.00" y="20.00" id="317004" net="1" show="1" w="15.00" h="25.00" state="1" pen="255,255,255"/>
        </graphics>
      </metadata>
    </metadataclass>
    <metadataclass count="0" name="Comment"/>
    <metadataclass count="1" name="Plot">
      <metadata id="318686" net="1">
        <attribute name="Name" id="318687" net="1">
          <![CDATA[Default View]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="ID" id="318688" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="318689" net="1">
          <![CDATA[Default View]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Nodeclass" id="318690" net="1">
          <![CDATA[Place]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="ViewerType" id="318691" net="1">
          <![CDATA[xyPlot]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Results" id="318692" net="1">
          <![CDATA[Marking]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="PlaceList" type="ColList" id="318693" net="1">
          <colList row_count="0" col_count="1" active_row="0" active_col="0">
            <colList_head>
              <colList_colLabel>
                <![CDATA[]]>
              </colList_colLabel>
            </colList_head>
            <colList_body/>
          </colList>
          <graphics count="0"/>
        </attribute>
        <attribute name="CurveInfo" type="ColList" id="318694" net="1">
          <colList row_count="2" col_count="7" active_row="0" active_col="0">
            <colList_head>
              <colList_colLabel>
                <![CDATA[]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[]]>
              </colList_colLabel>
              <colList_colLabel>
                <![CDATA[]]>
              </colList_colLabel>
            </colList_head>
            <colList_body>
              <colList_row nr="0">
                <colList_col nr="0">
                  <![CDATA[0]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[Unfolded]]>
                </colList_col>
                <colList_col nr="2">
                  <![CDATA[1]]>
                </colList_col>
                <colList_col nr="3">
                  <![CDATA[#FF0000]]>
                </colList_col>
                <colList_col nr="4">
                  <![CDATA[-1]]>
                </colList_col>
                <colList_col nr="5">
                  <![CDATA[-1]]>
                </colList_col>
                <colList_col nr="6">
                  <![CDATA[A]]>
                </colList_col>
              </colList_row>
              <colList_row nr="1">
                <colList_col nr="0">
                  <![CDATA[1]]>
                </colList_col>
                <colList_col nr="1">
                  <![CDATA[Unfolded]]>
                </colList_col>
                <colList_col nr="2">
                  <![CDATA[1]]>
                </colList_col>
                <colList_col nr="3">
                  <![CDATA[#00FF00]]>
                </colList_col>
                <colList_col nr="4">
                  <![CDATA[-1]]>
                </colList_col>
                <colList_col nr="5">
                  <![CDATA[-1]]>
                </colList_col>
                <colList_col nr="6">
                  <![CDATA[B]]>
                </colList_col>
              </colList_row>
            </colList_body>
          </colList>
          <graphics count="0"/>
        </attribute>
        <attribute name="IsCurrent" id="318695" net="1">
          <![CDATA[1]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="ViewTitle" id="318696" net="1">
          <![CDATA[Untitled]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="XAxisTitle" id="318697" net="1">
          <![CDATA[Time]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="YAxisTitle" id="318698" net="1">
          <![CDATA[]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="DefaultLineWidth" id="318699" net="1">
          <![CDATA[2]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="DefaultLineStyle" id="318700" net="1">
          <![CDATA[100]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="ShowLegend" id="318701" net="1">
          <![CDATA[1]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="LegendHorizontalPosition" id="318702" net="1">
          <![CDATA[32]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="LegendVerticalPosition" id="318703" net="1">
          <![CDATA[1]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="ShowLines" id="318704" net="1">
          <![CDATA[1]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="ShowSymbols" id="318705" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="BarWidth" id="318706" net="1">
          <![CDATA[20]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="IntervalWidth" id="318707" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="XAxisVariable" id="318708" net="1">
          <![CDATA[Time]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="XAxisVariableName" id="318709" net="1">
          <![CDATA[Simulation Time]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="SumOfNodes" id="318710" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="FixedAdjustment" id="318711" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="X_Axis_Max" id="318712" net="1">
          <![CDATA[1]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="X_Axis_Min" id="318713" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Y_Axis_Max" id="318714" net="1">
          <![CDATA[1]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Y_Axis_Min" id="318715" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="X_ZOOM" id="318716" net="1">
          <![CDATA[1]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Y_ZOOM" id="318717" net="1">
          <![CDATA[1]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="SortCurvesBy" id="318718" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="HistogramFrequencyType" id="318719" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <graphics count="0"/>
      </metadata>
    </metadataclass>
    <metadataclass count="0" name="Table"/>
    <metadataclass count="1" name="Simulation Properties">
      <metadata id="318720" net="1">
        <attribute name="interval start" id="318721" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="interval end" id="318722" net="1">
          <![CDATA[10]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="output step" id="318723" net="1">
          <![CDATA[100]]>
          <graphics count="0"/>
        </attribute>
        <graphics count="0"/>
      </metadata>
    </metadataclass>
    <metadataclass count="1" name="Simulation Results">
      <metadata id="318724" net="1">
        <attribute name="marking" id="318725" net="1">
          <![CDATA[]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="marking square" id="318726" net="1">
          <![CDATA[]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="firing rate" id="318727" net="1">
          <![CDATA[]]>
          <graphics count="0"/>
        </attribute>
        <graphics count="0"/>
      </metadata>
    </metadataclass>
  </metadataclasses>
</Snoopy>
