Skip to content

Instantly share code, notes, and snippets.

@kenwebb
Last active August 29, 2015 13:59
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kenwebb/10531009 to your computer and use it in GitHub Desktop.
Save kenwebb/10531009 to your computer and use it in GitHub Desktop.
SICP - A Simulator for Digital Circuits - N-Bit Adder
/*
Automatically generated by Xholon version 0.8.1, using org.primordion.ef.petrinet.Xholon2Graphviz4PetriNets.java
Sun Apr 13 10:00:32 GMT-400 2014 1397397632461
model: SICP - A Simulator for Digital Circuits - N-Bit Adder
www.primordion.com/Xholon
To view this file, use Graphviz dot|fdp|neato|twopi|circo|sfdp from http://www.graphviz.org/
For example, to generate an SVG file:
dot -Tsvg -O DigitalSystem_33_1397397632461.gv
Alternatively try one of these:
dot -Tsvg -O DigitalSystem_33_1397397632461.gv
dot -Tsvg -O -Grankdir=LR DigitalSystem_33_1397397632461.gv
fdp -Tsvg -O DigitalSystem_33_1397397632461.gv
neato -Tsvg -O DigitalSystem_33_1397397632461.gv
circo -Tsvg -O DigitalSystem_33_1397397632461.gv
Or use one of: -Tgif -Tjpg -Tpdf -Tpng -Txdot -Txlib
See also: http://hughesbennett.net/Graphviz
See also: http://graphviz-dev.appspot.com/
See also: http://www.webgraphviz.com/
See also: http://rise4fun.com/agl/
*/
digraph 33 { label="DigitalSystem"
node [style=filled,fillcolor="#f0f8ff"]
subgraph cluster34 { label="a"
35 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
36 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
37 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
38 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
}
subgraph cluster39 { label="b"
40 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
41 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
42 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
43 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
}
subgraph cluster44 { label="s"
45 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
46 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
47 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
48 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
49 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
}
subgraph cluster50 { label="c"
51 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
52 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
53 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
54 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
}
subgraph cluster55 { label="FullAdder"
56 [label="q"]
[fillcolor="#ffff00"]
[shape=ellipse]
57 [label="kq"]
[fillcolor="#ffff00"]
[shape=ellipse]
58 [label="ab"]
[fillcolor="#ffff00"]
[shape=ellipse]
subgraph cluster59 { label="HalfAdder"
60 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
61 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
62 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
62 -> 60;
68 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
74 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
60 -> 74;
61 -> 74;
80 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
80 -> 61;
}
subgraph cluster85 { label="HalfAdder"
86 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
87 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
88 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
88 -> 86;
94 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
100 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
86 -> 100;
87 -> 100;
106 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
106 -> 87;
}
111 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
57 -> 111;
58 -> 111;
68 -> 58; 74 -> 56; 58 -> 80; 56 -> 88; 56 -> 94; 94 -> 57; 57 -> 106;
}
subgraph cluster117 { label="FullAdder"
118 [label="q"]
[fillcolor="#ffff00"]
[shape=ellipse]
119 [label="kq"]
[fillcolor="#ffff00"]
[shape=ellipse]
120 [label="ab"]
[fillcolor="#ffff00"]
[shape=ellipse]
subgraph cluster121 { label="HalfAdder"
122 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
123 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
124 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
124 -> 122;
130 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
136 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
122 -> 136;
123 -> 136;
142 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
142 -> 123;
}
subgraph cluster147 { label="HalfAdder"
148 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
149 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
150 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
150 -> 148;
156 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
162 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
148 -> 162;
149 -> 162;
168 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
168 -> 149;
}
173 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
119 -> 173;
120 -> 173;
130 -> 120; 136 -> 118; 120 -> 142; 118 -> 150; 118 -> 156; 156 -> 119; 119 -> 168;
}
subgraph cluster179 { label="FullAdder"
180 [label="q"]
[fillcolor="#ffff00"]
[shape=ellipse]
181 [label="kq"]
[fillcolor="#ffff00"]
[shape=ellipse]
182 [label="ab"]
[fillcolor="#ffff00"]
[shape=ellipse]
subgraph cluster183 { label="HalfAdder"
184 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
185 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
186 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
186 -> 184;
192 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
198 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
184 -> 198;
185 -> 198;
204 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
204 -> 185;
}
subgraph cluster209 { label="HalfAdder"
210 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
211 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
212 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
212 -> 210;
218 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
224 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
210 -> 224;
211 -> 224;
230 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
230 -> 211;
}
235 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
181 -> 235;
182 -> 235;
192 -> 182; 198 -> 180; 182 -> 204; 180 -> 212; 180 -> 218; 218 -> 181; 181 -> 230;
}
subgraph cluster241 { label="FullAdder"
242 [label="q"]
[fillcolor="#ffff00"]
[shape=ellipse]
243 [label="kq"]
[fillcolor="#ffff00"]
[shape=ellipse]
244 [label="ab"]
[fillcolor="#ffff00"]
[shape=ellipse]
subgraph cluster245 { label="HalfAdder"
246 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
247 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
248 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
248 -> 246;
254 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
260 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
246 -> 260;
247 -> 260;
266 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
266 -> 247;
}
subgraph cluster271 { label="HalfAdder"
272 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
273 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
274 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
274 -> 272;
280 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
286 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
272 -> 286;
273 -> 286;
292 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
292 -> 273;
}
297 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
243 -> 297;
244 -> 297;
254 -> 244; 260 -> 242; 244 -> 266; 242 -> 274; 242 -> 280; 280 -> 243; 243 -> 292;
}
35 -> 62; 40 -> 62; 35 -> 68; 40 -> 68; 51 -> 88; 51 -> 94; 100 -> 45; 111 -> 52; 36 -> 124; 41 -> 124; 36 -> 130; 41 -> 130; 52 -> 150; 52 -> 156; 162 -> 46; 173 -> 53; 37 -> 186; 42 -> 186; 37 -> 192; 42 -> 192; 53 -> 212; 53 -> 218; 224 -> 47; 235 -> 54; 38 -> 248; 43 -> 248; 38 -> 254; 43 -> 254; 54 -> 274; 54 -> 280; 286 -> 48; 297 -> 49;
}
Display the source blob
Display the rendered blob
Raw
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
<map version="0.9.0">
<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
<!--
Automatically generated by Xholon version 0.8, using Xholon2MindMap.java
Sun Apr 13 10:34:12 GMT-400 2014 1397399652973
model: SICP - A Simulator for Digital Circuits - N-Bit Adder
www.primordion.com/Xholon
-->
<node CREATED="1397399652973" ID="33" TEXT="Digital system">
<node CREATED="1397399652973" ID="34" POSITION="right" TEXT="A: number">
<node CREATED="1397399652973" ID="35" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="36" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="37" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="38" TEXT="Wire">
</node>
</node>
<node CREATED="1397399652973" ID="39" POSITION="right" TEXT="B: number">
<node CREATED="1397399652973" ID="40" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="41" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="42" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="43" TEXT="Wire">
</node>
</node>
<node CREATED="1397399652973" ID="44" POSITION="right" TEXT="S: number">
<node CREATED="1397399652973" ID="45" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="46" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="47" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="48" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="49" TEXT="Wire">
</node>
</node>
<node CREATED="1397399652973" ID="50" POSITION="right" TEXT="C: number">
<node CREATED="1397399652973" ID="51" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="52" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="53" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="54" TEXT="Wire">
</node>
</node>
<node CREATED="1397399652973" ID="55" POSITION="right" TEXT="Full adder">
<node CREATED="1397399652973" ID="56" TEXT="Q: wire">
</node>
<node CREATED="1397399652973" ID="57" TEXT="Kq: wire">
</node>
<node CREATED="1397399652973" ID="58" TEXT="Ab: wire">
</node>
<node CREATED="1397399652973" FOLDED="true" ID="59" TEXT="Half adder">
<node CREATED="1397399652973" ID="60" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="61" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="62" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="35" ENDARROW="None" ID="62350" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="40" ENDARROW="None" ID="62400" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="60" ENDARROW="Default" ID="62600" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="68" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="35" ENDARROW="None" ID="68350" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="40" ENDARROW="None" ID="68400" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="58" ENDARROW="Default" ID="68580" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="74" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="60" ENDARROW="None" ID="74600" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="61" ENDARROW="None" ID="74610" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="56" ENDARROW="Default" ID="74560" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="80" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="58" ENDARROW="None" ID="80580" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="61" ENDARROW="Default" ID="80610" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" FOLDED="true" ID="85" TEXT="Half adder">
<node CREATED="1397399652973" ID="86" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="87" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="88" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="51" ENDARROW="None" ID="88510" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="56" ENDARROW="None" ID="88560" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="86" ENDARROW="Default" ID="88860" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="94" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="51" ENDARROW="None" ID="94510" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="56" ENDARROW="None" ID="94560" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="57" ENDARROW="Default" ID="94570" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="100" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="86" ENDARROW="None" ID="100860" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="87" ENDARROW="None" ID="100870" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="45" ENDARROW="Default" ID="100450" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="106" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="57" ENDARROW="None" ID="106570" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="87" ENDARROW="Default" ID="106870" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="111" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="57" ENDARROW="None" ID="111570" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="58" ENDARROW="None" ID="111580" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="52" ENDARROW="Default" ID="111520" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="117" POSITION="right" TEXT="Full adder">
<node CREATED="1397399652973" ID="118" TEXT="Q: wire">
</node>
<node CREATED="1397399652973" ID="119" TEXT="Kq: wire">
</node>
<node CREATED="1397399652973" ID="120" TEXT="Ab: wire">
</node>
<node CREATED="1397399652973" FOLDED="true" ID="121" TEXT="Half adder">
<node CREATED="1397399652973" ID="122" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="123" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="124" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="36" ENDARROW="None" ID="124360" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="41" ENDARROW="None" ID="124410" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="122" ENDARROW="Default" ID="1241220" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="130" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="36" ENDARROW="None" ID="130360" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="41" ENDARROW="None" ID="130410" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="120" ENDARROW="Default" ID="1301200" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="136" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="122" ENDARROW="None" ID="1361220" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="123" ENDARROW="None" ID="1361230" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="118" ENDARROW="Default" ID="1361180" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="142" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="120" ENDARROW="None" ID="1421200" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="123" ENDARROW="Default" ID="1421230" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" FOLDED="true" ID="147" TEXT="Half adder">
<node CREATED="1397399652973" ID="148" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="149" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="150" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="52" ENDARROW="None" ID="150520" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="118" ENDARROW="None" ID="1501180" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="148" ENDARROW="Default" ID="1501480" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="156" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="52" ENDARROW="None" ID="156520" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="118" ENDARROW="None" ID="1561180" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="119" ENDARROW="Default" ID="1561190" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="162" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="148" ENDARROW="None" ID="1621480" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="149" ENDARROW="None" ID="1621490" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="46" ENDARROW="Default" ID="162460" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="168" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="119" ENDARROW="None" ID="1681190" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="149" ENDARROW="Default" ID="1681490" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="173" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="119" ENDARROW="None" ID="1731190" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="120" ENDARROW="None" ID="1731200" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="53" ENDARROW="Default" ID="173530" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="179" POSITION="right" TEXT="Full adder">
<node CREATED="1397399652973" ID="180" TEXT="Q: wire">
</node>
<node CREATED="1397399652973" ID="181" TEXT="Kq: wire">
</node>
<node CREATED="1397399652973" ID="182" TEXT="Ab: wire">
</node>
<node CREATED="1397399652973" FOLDED="true" ID="183" TEXT="Half adder">
<node CREATED="1397399652973" ID="184" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="185" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="186" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="37" ENDARROW="None" ID="186370" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="42" ENDARROW="None" ID="186420" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="184" ENDARROW="Default" ID="1861840" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="192" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="37" ENDARROW="None" ID="192370" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="42" ENDARROW="None" ID="192420" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="182" ENDARROW="Default" ID="1921820" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="198" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="184" ENDARROW="None" ID="1981840" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="185" ENDARROW="None" ID="1981850" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="180" ENDARROW="Default" ID="1981800" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="204" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="182" ENDARROW="None" ID="2041820" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="185" ENDARROW="Default" ID="2041850" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" FOLDED="true" ID="209" TEXT="Half adder">
<node CREATED="1397399652973" ID="210" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="211" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="212" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="53" ENDARROW="None" ID="212530" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="180" ENDARROW="None" ID="2121800" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="210" ENDARROW="Default" ID="2122100" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="218" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="53" ENDARROW="None" ID="218530" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="180" ENDARROW="None" ID="2181800" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="181" ENDARROW="Default" ID="2181810" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="224" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="210" ENDARROW="None" ID="2242100" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="211" ENDARROW="None" ID="2242110" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="47" ENDARROW="Default" ID="224470" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="230" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="181" ENDARROW="None" ID="2301810" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="211" ENDARROW="Default" ID="2302110" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="235" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="181" ENDARROW="None" ID="2351810" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="182" ENDARROW="None" ID="2351820" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="54" ENDARROW="Default" ID="235540" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="241" POSITION="right" TEXT="Full adder">
<node CREATED="1397399652973" ID="242" TEXT="Q: wire">
</node>
<node CREATED="1397399652973" ID="243" TEXT="Kq: wire">
</node>
<node CREATED="1397399652973" ID="244" TEXT="Ab: wire">
</node>
<node CREATED="1397399652973" FOLDED="true" ID="245" TEXT="Half adder">
<node CREATED="1397399652973" ID="246" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="247" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="248" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="38" ENDARROW="None" ID="248380" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="43" ENDARROW="None" ID="248430" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="246" ENDARROW="Default" ID="2482460" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="254" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="38" ENDARROW="None" ID="254380" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="43" ENDARROW="None" ID="254430" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="244" ENDARROW="Default" ID="2542440" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="260" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="246" ENDARROW="None" ID="2602460" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="247" ENDARROW="None" ID="2602470" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="242" ENDARROW="Default" ID="2602420" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="266" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="244" ENDARROW="None" ID="2662440" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="247" ENDARROW="Default" ID="2662470" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" FOLDED="true" ID="271" TEXT="Half adder">
<node CREATED="1397399652973" ID="272" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="273" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="274" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="54" ENDARROW="None" ID="274540" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="242" ENDARROW="None" ID="2742420" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="272" ENDARROW="Default" ID="2742720" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="280" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="54" ENDARROW="None" ID="280540" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="242" ENDARROW="None" ID="2802420" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="243" ENDARROW="Default" ID="2802430" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="286" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="272" ENDARROW="None" ID="2862720" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="273" ENDARROW="None" ID="2862730" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="48" ENDARROW="Default" ID="286480" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="292" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="243" ENDARROW="None" ID="2922430" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="273" ENDARROW="Default" ID="2922730" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="297" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="243" ENDARROW="None" ID="2972430" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="244" ENDARROW="None" ID="2972440" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="49" ENDARROW="Default" ID="297490" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="303" POSITION="right" TEXT="Sicp digital circuit02: petri net">
<arrowlink COLOR="#000080" DESTINATION="33" ENDARROW="Default" ID="303330" STARTARROW="None"/>
<node CREATED="1397399652973" ID="305" TEXT="Analysis petri net">
</node>
<node CREATED="1397399652973" ID="306" TEXT="Analysis c r n">
</node>
<node CREATED="1397399652973" ID="307" TEXT="Analysis cat">
</node>
</node>
<node CREATED="1397399652973" ID="308" POSITION="right" TEXT="Wire initializer">
<node CREATED="1397399652973" ID="310" TEXT="Wire initializerbehavior">
</node>
</node>
</node>
</map>
Display the source blob
Display the rendered blob
Raw
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
<?xml version="1.0" encoding="UTF-8"?>
<!--
Automatically generated by Xholon version 0.8.1, using Xholon2Sbml4PetriNets.java
Sun Apr 13 10:34:21 GMT-400 2014
www.primordion.com/Xholon
-->
<sbml xmlns="http://www.sbml.org/sbml/level2" level="2" version="1">
<model id="_1397399661502" name="SICP - A Simulator for Digital Circuits - N-Bit Adder">
<notes>
<body xmlns="http://www.w3.org/1999/xhtml">
<p>Xholon generated this SBML file from a Petri net model.
</p></body>
</notes>
<!-- Unit Definitions -->
<listOfUnitDefinitions>
<unitDefinition id="volume">
<listOfUnits>
<unit kind="litre" scale="-3" multiplier="1" offset="0"/>
</listOfUnits>
</unitDefinition>
<unitDefinition id="substance">
<listOfUnits>
<unit kind="item" exponent="1"/>
</listOfUnits>
</unitDefinition>
<unitDefinition id="ips">
<listOfUnits>
<unit kind="item" exponent="1"/>
<unit kind="second" exponent="-1"/>
</listOfUnits>
</unitDefinition>
</listOfUnitDefinitions>
<!-- List of Compartments -->
<listOfCompartments>
<compartment id="digitalSystem_33c" name="DigitalSystem" size="1"/>
<compartment id="a_number_34c" name="a" outside="digitalSystem_33c" size="1"/>
<compartment id="b_number_39c" name="b" outside="digitalSystem_33c" size="1"/>
<compartment id="s_number_44c" name="s" outside="digitalSystem_33c" size="1"/>
<compartment id="c_number_50c" name="c" outside="digitalSystem_33c" size="1"/>
<compartment id="fullAdder_55c" name="FullAdder" outside="digitalSystem_33c" size="1"/>
<compartment id="halfAdder_59c" name="HalfAdder" outside="fullAdder_55c" size="1"/>
<compartment id="halfAdder_85c" name="HalfAdder" outside="fullAdder_55c" size="1"/>
<compartment id="fullAdder_117c" name="FullAdder" outside="digitalSystem_33c" size="1"/>
<compartment id="halfAdder_121c" name="HalfAdder" outside="fullAdder_117c" size="1"/>
<compartment id="halfAdder_147c" name="HalfAdder" outside="fullAdder_117c" size="1"/>
<compartment id="fullAdder_179c" name="FullAdder" outside="digitalSystem_33c" size="1"/>
<compartment id="halfAdder_183c" name="HalfAdder" outside="fullAdder_179c" size="1"/>
<compartment id="halfAdder_209c" name="HalfAdder" outside="fullAdder_179c" size="1"/>
<compartment id="fullAdder_241c" name="FullAdder" outside="digitalSystem_33c" size="1"/>
<compartment id="halfAdder_245c" name="HalfAdder" outside="fullAdder_241c" size="1"/>
<compartment id="halfAdder_271c" name="HalfAdder" outside="fullAdder_241c" size="1"/>
<compartment id="sicpDigitalCircuit02_petriNet_303c" name="sicpDigitalCircuit02" outside="digitalSystem_33c" size="1"/>
<compartment id="wireInitializer_308c" name="WireInitializer" outside="digitalSystem_33c" size="1"/>
<compartment id="wireInitializerbehavior_310c" name="WireInitializerbehavior" outside="wireInitializer_308c" size="1"/>
</listOfCompartments>
<!-- List of Species -->
<listOfSpecies>
<species id="wire_35s" name="Wire" compartment="a_number_34c" initialAmount="1"/>
<species id="wire_36s" name="Wire" compartment="a_number_34c" initialAmount="1"/>
<species id="wire_37s" name="Wire" compartment="a_number_34c" initialAmount="1"/>
<species id="wire_38s" name="Wire" compartment="a_number_34c" initialAmount="1"/>
<species id="wire_40s" name="Wire" compartment="b_number_39c" initialAmount="1"/>
<species id="wire_41s" name="Wire" compartment="b_number_39c" initialAmount="1"/>
<species id="wire_42s" name="Wire" compartment="b_number_39c" initialAmount="1"/>
<species id="wire_43s" name="Wire" compartment="b_number_39c" initialAmount="1"/>
<species id="wire_45s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_46s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_47s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_48s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_49s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_51s" name="Wire" compartment="c_number_50c" initialAmount="0"/>
<species id="wire_52s" name="Wire" compartment="c_number_50c" initialAmount="0"/>
<species id="wire_53s" name="Wire" compartment="c_number_50c" initialAmount="0"/>
<species id="wire_54s" name="Wire" compartment="c_number_50c" initialAmount="0"/>
<species id="q_wire_56s" name="q" compartment="fullAdder_55c" initialAmount="0"/>
<species id="kq_wire_57s" name="kq" compartment="fullAdder_55c" initialAmount="0"/>
<species id="ab_wire_58s" name="ab" compartment="fullAdder_55c" initialAmount="0"/>
<species id="d_wire_60s" name="d" compartment="halfAdder_59c" initialAmount="0"/>
<species id="e_wire_61s" name="e" compartment="halfAdder_59c" initialAmount="0"/>
<species id="d_wire_86s" name="d" compartment="halfAdder_85c" initialAmount="0"/>
<species id="e_wire_87s" name="e" compartment="halfAdder_85c" initialAmount="0"/>
<species id="q_wire_118s" name="q" compartment="fullAdder_117c" initialAmount="0"/>
<species id="kq_wire_119s" name="kq" compartment="fullAdder_117c" initialAmount="0"/>
<species id="ab_wire_120s" name="ab" compartment="fullAdder_117c" initialAmount="0"/>
<species id="d_wire_122s" name="d" compartment="halfAdder_121c" initialAmount="0"/>
<species id="e_wire_123s" name="e" compartment="halfAdder_121c" initialAmount="0"/>
<species id="d_wire_148s" name="d" compartment="halfAdder_147c" initialAmount="0"/>
<species id="e_wire_149s" name="e" compartment="halfAdder_147c" initialAmount="0"/>
<species id="q_wire_180s" name="q" compartment="fullAdder_179c" initialAmount="0"/>
<species id="kq_wire_181s" name="kq" compartment="fullAdder_179c" initialAmount="0"/>
<species id="ab_wire_182s" name="ab" compartment="fullAdder_179c" initialAmount="0"/>
<species id="d_wire_184s" name="d" compartment="halfAdder_183c" initialAmount="0"/>
<species id="e_wire_185s" name="e" compartment="halfAdder_183c" initialAmount="0"/>
<species id="d_wire_210s" name="d" compartment="halfAdder_209c" initialAmount="0"/>
<species id="e_wire_211s" name="e" compartment="halfAdder_209c" initialAmount="0"/>
<species id="q_wire_242s" name="q" compartment="fullAdder_241c" initialAmount="0"/>
<species id="kq_wire_243s" name="kq" compartment="fullAdder_241c" initialAmount="0"/>
<species id="ab_wire_244s" name="ab" compartment="fullAdder_241c" initialAmount="0"/>
<species id="d_wire_246s" name="d" compartment="halfAdder_245c" initialAmount="0"/>
<species id="e_wire_247s" name="e" compartment="halfAdder_245c" initialAmount="0"/>
<species id="d_wire_272s" name="d" compartment="halfAdder_271c" initialAmount="0"/>
<species id="e_wire_273s" name="e" compartment="halfAdder_271c" initialAmount="0"/>
</listOfSpecies>
<!-- List of Reactions -->
<listOfReactions>
<reaction id="orGate_62r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_35s"/>
<speciesReference species="wire_40s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_60s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_68r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_35s"/>
<speciesReference species="wire_40s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="ab_wire_58s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_74r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_60s"/>
<speciesReference species="e_wire_61s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="q_wire_56s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_80r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="ab_wire_58s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_61s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_88r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_51s"/>
<speciesReference species="q_wire_56s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_86s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_94r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_51s"/>
<speciesReference species="q_wire_56s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="kq_wire_57s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_100r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_86s"/>
<speciesReference species="e_wire_87s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_45s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_106r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_57s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_87s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_111r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_57s"/>
<speciesReference species="ab_wire_58s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_52s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_124r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_36s"/>
<speciesReference species="wire_41s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_122s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_130r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_36s"/>
<speciesReference species="wire_41s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="ab_wire_120s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_136r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_122s"/>
<speciesReference species="e_wire_123s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="q_wire_118s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_142r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="ab_wire_120s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_123s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_150r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_52s"/>
<speciesReference species="q_wire_118s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_148s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_156r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_52s"/>
<speciesReference species="q_wire_118s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="kq_wire_119s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_162r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_148s"/>
<speciesReference species="e_wire_149s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_46s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_168r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_119s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_149s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_173r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_119s"/>
<speciesReference species="ab_wire_120s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_53s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_186r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_37s"/>
<speciesReference species="wire_42s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_184s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_192r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_37s"/>
<speciesReference species="wire_42s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="ab_wire_182s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_198r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_184s"/>
<speciesReference species="e_wire_185s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="q_wire_180s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_204r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="ab_wire_182s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_185s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_212r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_53s"/>
<speciesReference species="q_wire_180s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_210s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_218r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_53s"/>
<speciesReference species="q_wire_180s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="kq_wire_181s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_224r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_210s"/>
<speciesReference species="e_wire_211s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_47s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_230r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_181s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_211s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_235r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_181s"/>
<speciesReference species="ab_wire_182s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_54s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_248r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_38s"/>
<speciesReference species="wire_43s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_246s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_254r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_38s"/>
<speciesReference species="wire_43s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="ab_wire_244s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_260r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_246s"/>
<speciesReference species="e_wire_247s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="q_wire_242s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_266r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="ab_wire_244s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_247s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_274r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_54s"/>
<speciesReference species="q_wire_242s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_272s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_280r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_54s"/>
<speciesReference species="q_wire_242s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="kq_wire_243s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_286r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_272s"/>
<speciesReference species="e_wire_273s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_48s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_292r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_243s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_273s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_297r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_243s"/>
<speciesReference species="ab_wire_244s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_49s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
</listOfReactions>
</model>
</sbml>
<?xml version="1.0" encoding="UTF-8"?>
<!--Xholon Workbook http://www.primordion.com/Xholon/gwt/ MIT License, Copyright (C) Ken Webb, Sun Apr 13 2014 10:13:22 GMT-0400 (EDT)-->
<XholonWorkbook>
<Notes><![CDATA[
Xholon
------
Title: SICP - A Simulator for Digital Circuits - N-Bit Adder
Description:
Url: http://www.primordion.com/Xholon/gwt/
InternalName: 10531009
Keywords:
My Notes
--------
This Xholon Workbook extends earlier workbooks:
https://gist.github.com/kenwebb/10419442
https://gist.github.com/kenwebb/10483194
The SVG image of a 4-bit adder that's used in this workbook is from:
http://en.wikipedia.org/wiki/File:4-bit_ripple_carry_adder.svg
and is
"licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license."
I'm basing some of the details of my design on Figure 116 in L.C. Pascoe's book "New Mathematics".
]]></Notes>
<_-.XholonClass>
<DigitalSystem/>
<Wire superClass="PlacePN"/>
<PrimitiveFunctionBox superClass="TransitionPN">
<Inverter/>
<AndGate/>
<OrGate/>
</PrimitiveFunctionBox>
<!-- containers -->
<Circuit>
<HalfAdder/>
<FullAdder/>
</Circuit>
<Number/>
<WireInitializer/>
</_-.XholonClass>
<xholonClassDetails>
</xholonClassDetails>
<DigitalSystem>
<!-- Test Cases
a b s s(binary) Tested
5 10 15 01111 OK (no carries required)
7 4 11 01011 OK
7 7 14 01110 OK
15 15 30 11110 OK
-->
<!-- the two n-bit numbers that will be added -->
<Number roleName="a">
<Attribute_int roleName="val">15</Attribute_int>
<Wire multiplicity="4"/>
</Number>
<Number roleName="b">
<Attribute_int roleName="val">15</Attribute_int>
<Wire multiplicity="4"/>
</Number>
<!-- the (n+1)-bit result of adding the two numbers, including the final carry -->
<Number roleName="s">
<Wire multiplicity="5"/>
</Number>
<!-- the n carries; the first one is redundant and always has a value of 0 -->
<Number roleName="c">
<Wire multiplicity="4"/>
</Number>
<FullAdder multiplicity="4">
<!-- these wires are internal to each Full Adder -->
<Wire roleName="q"/>
<Wire roleName="kq"/>
<Wire roleName="ab"/>
<HalfAdder>
<!-- these wires are internal to this Half Adder -->
<Wire roleName="d"/>
<Wire roleName="e"/>
<OrGate kineticsType="KINETICS_LOGIC_OR">
<InputArcs>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='a']"/>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='b']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='d']"/>
</OutputArcs>
</OrGate>
<AndGate kineticsType="KINETICS_LOGIC_AND">
<InputArcs>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='a']"/>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='b']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='ab']"/>
</OutputArcs>
</AndGate>
<AndGate kineticsType="KINETICS_LOGIC_AND">
<InputArcs>
<InputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='d']"/>
<InputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='e']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='q']"/>
</OutputArcs>
</AndGate>
<Inverter kineticsType="KINETICS_LOGIC_NOT">
<InputArcs>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='ab']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='e']"/>
</OutputArcs>
</Inverter>
</HalfAdder>
<HalfAdder>
<!-- these wires are internal to this Half Adder -->
<Wire roleName="d"/>
<Wire roleName="e"/>
<OrGate kineticsType="KINETICS_LOGIC_OR">
<InputArcs>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='c']"/>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='q']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='d']"/>
</OutputArcs>
</OrGate>
<AndGate kineticsType="KINETICS_LOGIC_AND">
<InputArcs>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='c']"/>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='q']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='kq']"/>
</OutputArcs>
</AndGate>
<AndGate kineticsType="KINETICS_LOGIC_AND">
<InputArcs>
<InputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='d']"/>
<InputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='e']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='s']"/>
</OutputArcs>
</AndGate>
<Inverter kineticsType="KINETICS_LOGIC_NOT">
<InputArcs>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='kq']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='e']"/>
</OutputArcs>
</Inverter>
</HalfAdder>
<OrGate kineticsType="KINETICS_LOGIC_OR">
<InputArcs>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='kq']"/>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='ab']"/>
</InputArcs>
<OutputArcs>
<!-- output to the next FullAdder's 'c' which is the Carry bit -->
<OutputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='c']"/>
</OutputArcs>
</OrGate>
</FullAdder>
<PetriNet roleName="sicpDigitalCircuit02">
<QueueTransitions connector="ancestor::DigitalSystem"/>
<AnalysisPetriNet/>
<AnalysisCRN/>
<AnalysisCat/>
</PetriNet>
<WireInitializer/>
</DigitalSystem>
<WireInitializerbehavior implName="org.primordion.xholon.base.Behavior_gwtjs"><![CDATA[
var wi, numberA, numberB, numberS, numberC, fullAdder, fullAdderIx;
var beh = {
postConfigure: function() {
wi = this.cnode.parent();
numberA = wi.xpath("ancestor::DigitalSystem/Number[@roleName='a']");
numberB = wi.xpath("ancestor::DigitalSystem/Number[@roleName='b']");
numberS = wi.xpath("ancestor::DigitalSystem/Number[@roleName='s']");
numberC = wi.xpath("ancestor::DigitalSystem/Number[@roleName='c']");
fullAdder = wi.xpath("ancestor::DigitalSystem/FullAdder[1]"); // first full adder
fullAdderIx = 1; // full adder XPath index (1-based)
// break a and b into their constituent bits, and assign the bit values to the wires
this.assignBitValues(numberA.first(), numberA.val());
this.assignBitValues(numberB.first(), numberB.val());
// fix arcs
while(fullAdder) {
this.fixArcs(fullAdder);
fullAdder = fullAdder.next();
fullAdderIx++;
}
},
// assign bit values to wires that are children of a Number node
assignBitValues: function(wire, val) {
var boolVal = 1;
while (wire) {
if ((val & boolVal) == boolVal) {
wire.val(1);
}
wire = wire.next();
boolVal <<= 1;
}
},
// fix input and output arcs to point to the correct Number wires
// this is a recursive method
fixArcs: function(node) {
if (node.xhc().parent().name() == "ArcPN") {
var place = node.port("place");
if (place && place.xhc().name() == "Number") {
var ix = fullAdderIx;
if ((place.role() == "c") && (node.xhc().name() == "OutputArc")) {
ix++;
}
var xpathExpr = "Wire[" + ix + "]";
var wirePlace = place.xpath(xpathExpr);
if (wirePlace) {
node.port("place", wirePlace);
}
else {
// probably the place is a c:Number/Wire; point to the last s:Number/Wire instead
// this is the last carry
wirePlace = numberS.last();
if (wirePlace) {
node.port("place", wirePlace);
}
}
}
}
var childNode = node.first();
while (childNode) {
this.fixArcs(childNode);
childNode = childNode.next();
}
}
}
]]></WireInitializerbehavior>
<SvgClient><Attribute_String roleName="svgUri"><![CDATA[data:image/svg+xml,
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="500"
height="200"
id="svg13605"
sodipodi:version="0.32"
inkscape:version="0.46"
sodipodi:docbase="/home/cburnett/wikipedia/images"
sodipodi:docname="4-bit_ripple_carry_adder.svg"
version="1.0"
inkscape:output_extension="org.inkscape.output.svg.inkscape">
<defs
id="defs13607">
<inkscape:perspective
sodipodi:type="inkscape:persp3d"
inkscape:vp_x="0 : 100 : 1"
inkscape:vp_y="0 : 1000 : 0"
inkscape:vp_z="500 : 100 : 1"
inkscape:persp3d-origin="250 : 66.666667 : 1"
id="perspective154" />
<marker
inkscape:stockid="Arrow2Lstart"
orient="auto"
refY="0"
refX="0"
id="Arrow2Lstart"
style="overflow:visible">
<path
id="path13823"
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.97309,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z "
transform="matrix(1.1,0,0,1.1,1.1,0)" />
</marker>
<marker
inkscape:stockid="Arrow1Lend"
orient="auto"
refY="0"
refX="0"
id="Arrow1Lend"
style="overflow:visible">
<path
id="path13838"
d="M 0,0 L 5,-5 L -12.5,0 L 5,5 L 0,0 z "
style="fill-rule:evenodd;stroke:black;stroke-width:1pt;marker-start:none"
transform="matrix(-0.8,0,0,-0.8,-10,0)" />
</marker>
<marker
inkscape:stockid="TriangleInL"
orient="auto"
refY="0"
refX="0"
id="TriangleInL"
style="overflow:visible">
<path
id="path13752"
d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z "
style="fill-rule:evenodd;stroke:black;stroke-width:1pt;marker-start:none"
transform="scale(-0.8,-0.8)" />
</marker>
<marker
inkscape:stockid="TriangleOutL"
orient="auto"
refY="0"
refX="0"
id="TriangleOutL"
style="overflow:visible">
<path
id="path13743"
d="M 5.77,0 L -2.88,5 L -2.88,-5 L 5.77,0 z "
style="fill-rule:evenodd;stroke:black;stroke-width:1pt;marker-start:none"
transform="scale(0.8,0.8)" />
</marker>
</defs>
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
gridtolerance="10000"
guidetolerance="10"
objecttolerance="10"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.4142136"
inkscape:cx="268.92671"
inkscape:cy="97.556515"
inkscape:document-units="px"
inkscape:current-layer="layer1"
inkscape:window-width="977"
inkscape:window-height="675"
inkscape:window-x="66"
inkscape:window-y="66"
height="200px"
width="500px"
showgrid="false" />
<metadata
id="metadata13610">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1">
<g
id="g13623"
transform="translate(1,-15.5)">
<rect
y="75.862183"
x="42.5"
height="75"
width="75"
id="rect13613"
style="opacity:1;fill:#80b3ff;fill-opacity:1;stroke:black;stroke-width:1;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
<text
sodipodi:linespacing="100%"
id="text13615"
y="100.81824"
x="79.931641"
style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
xml:space="preserve"><tspan
y="100.81824"
x="79.931641"
id="tspan13617"
sodipodi:role="line">1-bit</tspan><tspan
id="tspan13619"
y="120.81824"
x="79.931641"
sodipodi:role="line">Full</tspan><tspan
id="tspan13621"
y="140.81824"
x="79.931641"
sodipodi:role="line">Adder</tspan></text>
</g>
<g
id="g13630"
transform="translate(112.8333,-15.5)">
<rect
y="75.862183"
x="42.5"
height="75"
width="75"
id="rect13632"
style="opacity:1;fill:#80b3ff;fill-opacity:1;stroke:black;stroke-width:1;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
<text
sodipodi:linespacing="100%"
id="text13634"
y="100.81824"
x="79.931641"
style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
xml:space="preserve"><tspan
y="100.81824"
x="79.931641"
id="tspan13636"
sodipodi:role="line">1-bit</tspan><tspan
id="tspan13638"
y="120.81824"
x="79.931641"
sodipodi:role="line">Full</tspan><tspan
id="tspan13640"
y="140.81824"
x="79.931641"
sodipodi:role="line">Adder</tspan></text>
</g>
<g
id="g13642"
transform="translate(224.6667,-15.5)">
<rect
y="75.862183"
x="42.5"
height="75"
width="75"
id="rect13644"
style="opacity:1;fill:#80b3ff;fill-opacity:1;stroke:black;stroke-width:1;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
<text
sodipodi:linespacing="100%"
id="text13646"
y="100.81824"
x="79.931641"
style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
xml:space="preserve"><tspan
y="100.81824"
x="79.931641"
id="tspan13648"
sodipodi:role="line">1-bit</tspan><tspan
id="tspan13650"
y="120.81824"
x="79.931641"
sodipodi:role="line">Full</tspan><tspan
id="tspan13652"
y="140.81824"
x="79.931641"
sodipodi:role="line">Adder</tspan></text>
</g>
<g
id="g13654"
transform="translate(336.5,-15.5)">
<rect
y="75.862183"
x="42.5"
height="75"
width="75"
id="rect13656"
style="opacity:1;fill:#80b3ff;fill-opacity:1;stroke:black;stroke-width:1;stroke-linecap:butt;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />
<text
sodipodi:linespacing="100%"
id="text13658"
y="100.81824"
x="79.931641"
style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
xml:space="preserve"><tspan
y="100.81824"
x="79.931641"
id="tspan13660"
sodipodi:role="line">1-bit</tspan><tspan
id="tspan13662"
y="120.81824"
x="79.931641"
sodipodi:role="line">Full</tspan><tspan
id="tspan13664"
y="140.81824"
x="79.931641"
sodipodi:role="line">Adder</tspan></text>
</g>
<g
id="g14398">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 119.84375,97.34375 L 119.84375,98.34375 C 137.53973,98.343749 146.38851,98.34375 150.8125,98.34375 C 153.0245,98.34375 154.1345,98.34375 154.6875,98.34375 C 154.964,98.34375 155.08713,98.34375 155.15625,98.34375 C 155.19081,98.34375 155.21011,98.34375 155.21875,98.34375 C 155.22307,98.34375 155.24892,98.34375 155.25,98.34375 L 155.25,97.84375 L 155.25,97.34375 C 155.25,97.34375 155.2357,97.343747 119.84375,97.34375 z "
id="path13852" />
<path
d="M 130.39347,102.22279 L 118.53514,97.86218 L 130.39348,93.501569 C 128.49901,96.076072 128.50992,99.598439 130.39347,102.22279 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14404" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="126.99768"
y="119.06792"
id="text13856"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan13858"
x="126.99768"
y="119.06792"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13860">C</tspan>3</tspan></text>
<g
id="g14322">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 232,97.34375 L 232,98.34375 C 249.69597,98.343749 258.54476,98.34375 262.96875,98.34375 C 265.18075,98.34375 266.2595,98.34375 266.8125,98.34375 C 267.089,98.34375 267.24338,98.34375 267.3125,98.34375 C 267.34706,98.34375 267.36636,98.34375 267.375,98.34375 L 267.375,97.84375 L 267.375,97.34375 C 267.375,97.34375 267.39195,97.343747 232,97.34375 z "
id="path13870" />
<path
d="M 242.53647,102.22279 L 230.67814,97.86218 L 242.53648,93.501569 C 240.64201,96.076072 240.65292,99.598439 242.53647,102.22279 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14328" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="239.14069"
y="119.06792"
id="text13872"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan13874"
x="239.14069"
y="119.06792"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13876">C</tspan><tspan
id="tspan13930"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">2</tspan></tspan></text>
<g
id="g14346">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 343.71875,97.34375 L 343.71875,98.34375 C 361.41472,98.343749 370.26351,98.34375 374.6875,98.34375 C 376.8995,98.34375 378.0095,98.34375 378.5625,98.34375 C 378.839,98.34375 378.96213,98.34375 379.03125,98.34375 C 379.06581,98.34375 379.08511,98.34375 379.09375,98.34375 L 379.09375,97.84375 L 379.09375,97.34375 C 379.09375,97.34375 379.1107,97.343747 343.71875,97.34375 z "
id="path13880" />
<path
d="M 354.25937,102.22279 L 342.40104,97.86218 L 354.25938,93.501569 C 352.36491,96.076072 352.37582,99.598439 354.25937,102.22279 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14352" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="350.86359"
y="119.06792"
id="text13882"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan13884"
x="350.86359"
y="119.06792"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13886">C</tspan><tspan
id="tspan13926"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">1</tspan></tspan></text>
<g
id="g14406">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 455.4375,97.34375 L 455.4375,98.34375 C 473.13347,98.343749 481.98226,98.34375 486.40625,98.34375 C 488.61825,98.34375 489.72825,98.34375 490.28125,98.34375 C 490.55775,98.34375 490.68088,98.34375 490.75,98.34375 C 490.78456,98.34375 490.80386,98.34375 490.8125,98.34375 L 490.8125,97.84375 L 490.8125,97.34375 C 490.8125,97.34375 490.82944,97.343747 455.4375,97.34375 z "
id="path13890" />
<path
d="M 465.98227,102.22279 L 454.12394,97.86218 L 465.98228,93.501569 C 464.08781,96.076072 464.09872,99.598439 465.98227,102.22279 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14412" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="462.58649"
y="119.06792"
id="text13892"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan13894"
x="462.58649"
y="119.06792"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13896">C</tspan><tspan
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13922">0</tspan></tspan></text>
<g
id="g14282">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 7.75,97.34375 L 7.75,98.34375 C 25.445975,98.343749 34.294756,98.34375 38.71875,98.34375 C 40.930747,98.34375 42.040751,98.34375 42.59375,98.34375 C 42.87025,98.34375 43.024625,98.34375 43.09375,98.34375 C 43.128312,98.34375 43.116359,98.34375 43.125,98.34375 C 43.12932,98.34375 43.15517,98.34375 43.15625,98.34375 L 43.15625,97.84375 L 43.15625,97.34375 C 43.15625,97.34375 43.14195,97.343747 7.75,97.34375 z "
id="path13900" />
<path
d="M 18.304774,102.22279 L 6.4464351,97.86218 L 18.304775,93.501569 C 16.410308,96.076072 16.421224,99.598439 18.304774,102.22279 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14288" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="14.908981"
y="119.06792"
id="text13902"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan13904"
x="14.908981"
y="119.06792"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13906">C</tspan><tspan
id="tspan13934"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">4</tspan></tspan></text>
<g
id="g14290">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 63.8125,23.375 C 63.8125,23.375 63.8125,23.389301 63.8125,58.78125 L 64.8125,58.78125 C 64.8125,41.085275 64.8125,32.236494 64.8125,27.8125 C 64.8125,25.600503 64.8125,24.490499 64.8125,23.9375 C 64.8125,23.661 64.8125,23.506625 64.8125,23.4375 C 64.8125,23.402938 64.8125,23.414891 64.8125,23.40625 C 64.8125,23.40193 64.8125,23.37608 64.8125,23.375 L 64.3125,23.375 L 63.8125,23.375 z "
id="path13936" />
<path
d="M 68.683366,48.226649 L 64.322754,60.084988 L 59.962143,48.226648 C 62.536646,50.121115 66.059013,50.110199 68.683366,48.226649 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14296" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="54.763184"
y="20.439724"
id="text13946"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan13948"
x="54.763184"
y="20.439724"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13950">A</tspan>3</tspan></text>
<g
id="g14298">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 98.5625,23.375 C 98.5625,23.375 98.562499,23.389301 98.5625,58.78125 L 99.53125,58.78125 C 99.531249,41.085275 99.53125,32.236494 99.53125,27.8125 C 99.53125,25.600503 99.53125,24.490499 99.53125,23.9375 C 99.53125,23.661 99.53125,23.506625 99.53125,23.4375 C 99.53125,23.402938 99.53125,23.414891 99.53125,23.40625 C 99.53125,23.40193 99.53125,23.37608 99.53125,23.375 L 99.03125,23.375 L 98.5625,23.375 z "
id="path13938" />
<path
d="M 103.42066,48.226649 L 99.06005,60.084988 L 94.699439,48.226648 C 97.273942,50.121115 100.79631,50.110199 103.42066,48.226649 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14304" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:100%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="89.453613"
y="20.088257"
id="text13952"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan13954"
x="89.453613"
y="20.088257"><tspan
style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13958">B</tspan>3</tspan></text>
<g
id="g14306">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 175.75,23.375 C 175.75,23.375 175.75,23.389301 175.75,58.78125 L 176.75,58.78125 C 176.75,41.085275 176.75,32.236494 176.75,27.8125 C 176.75,25.600503 176.75,24.490499 176.75,23.9375 C 176.75,23.661 176.75,23.506625 176.75,23.4375 C 176.75,23.402938 176.75,23.414891 176.75,23.40625 C 176.75,23.40193 176.75,23.37608 176.75,23.375 L 176.25,23.375 L 175.75,23.375 z "
id="path13978" />
<path
d="M 180.63678,48.226649 L 176.27617,60.084988 L 171.91556,48.226648 C 174.49006,50.121115 178.01243,50.110199 180.63678,48.226649 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14312" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="166.7166"
y="20.439728"
id="text13982"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan13984"
x="166.7166"
y="20.439728"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13986">A</tspan><tspan
id="tspan14108"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">2</tspan></tspan></text>
<g
id="g14314">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 210.5,23.375 C 210.5,23.375 210.5,23.389301 210.5,58.78125 L 211.5,58.78125 C 211.5,41.085275 211.5,32.236494 211.5,27.8125 C 211.5,25.600503 211.5,24.490499 211.5,23.9375 C 211.5,23.661 211.5,23.506625 211.5,23.4375 C 211.5,23.402938 211.5,23.414891 211.5,23.40625 C 211.5,23.40193 211.5,23.37608 211.5,23.375 L 211,23.375 L 210.5,23.375 z "
id="path13980" />
<path
d="M 215.37408,48.226649 L 211.01347,60.084988 L 206.65286,48.226648 C 209.22736,50.121115 212.74973,50.110199 215.37408,48.226649 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14320" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:100%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="201.40703"
y="20.088249"
id="text13988"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan13990"
x="201.40703"
y="20.088249"><tspan
style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan13992">B</tspan><tspan
id="tspan14112"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">2</tspan></tspan></text>
<g
id="g14330">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 287.5625,23.375 C 287.5625,23.375 287.56249,23.389298 287.5625,58.78125 L 288.53125,58.78125 C 288.53125,41.085274 288.53125,32.236494 288.53125,27.8125 C 288.53125,25.600503 288.53125,24.490499 288.53125,23.9375 C 288.53125,23.661 288.53125,23.506625 288.53125,23.4375 C 288.53125,23.402938 288.53125,23.414891 288.53125,23.40625 C 288.53125,23.40193 288.53125,23.37608 288.53125,23.375 L 288.03125,23.375 L 287.5625,23.375 z "
id="path13994" />
<path
d="M 292.4233,48.22665 L 288.06269,60.084989 L 283.70208,48.226649 C 286.27658,50.121116 289.79895,50.1102 292.4233,48.22665 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14336" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="278.50311"
y="20.439724"
id="text13998"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan14000"
x="278.50311"
y="20.439724"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan14002">A</tspan><tspan
id="tspan14116"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">1</tspan></tspan></text>
<g
id="g14338">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 322.28125,23.375 C 322.28125,23.375 322.28124,23.389299 322.28125,58.78125 L 323.28125,58.78125 C 323.28124,41.085275 323.28125,32.236494 323.28125,27.8125 C 323.28125,25.600503 323.28125,24.490499 323.28125,23.9375 C 323.28125,23.661 323.28125,23.506625 323.28125,23.4375 C 323.28125,23.402938 323.28125,23.414891 323.28125,23.40625 C 323.28125,23.40193 323.28125,23.37608 323.28125,23.375 L 322.78125,23.375 L 322.28125,23.375 z "
id="path13996" />
<path
d="M 327.1606,48.226651 L 322.79999,60.08499 L 318.43938,48.22665 C 321.01388,50.121117 324.53625,50.110201 327.1606,48.226651 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14344" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:100%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="313.19354"
y="20.088257"
id="text14004"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan14006"
x="313.19354"
y="20.088257"><tspan
style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan14008">B</tspan><tspan
id="tspan14120"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">1</tspan></tspan></text>
<g
id="g14354">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 399.21875,23.375 C 399.21875,23.375 399.21876,23.389298 399.21875,58.78125 L 400.21875,58.78125 C 400.21876,41.085274 400.21875,32.236494 400.21875,27.8125 C 400.21875,25.600503 400.21875,24.490499 400.21875,23.9375 C 400.21875,23.661 400.21875,23.506625 400.21875,23.4375 C 400.21875,23.402938 400.21875,23.414891 400.21875,23.40625 C 400.21875,23.40193 400.21875,23.37608 400.21875,23.375 L 399.71875,23.375 L 399.21875,23.375 z "
id="path14010" />
<path
d="M 404.10133,48.22665 L 399.74072,60.084989 L 395.38011,48.226649 C 397.95461,50.121116 401.47698,50.1102 404.10133,48.22665 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14360" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:125%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="390.18115"
y="20.439724"
id="text14014"
sodipodi:linespacing="125%"><tspan
sodipodi:role="line"
id="tspan14016"
x="390.18115"
y="20.439724"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan14018">A</tspan><tspan
id="tspan14124"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">0</tspan></tspan></text>
<g
id="g14362">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 433.96875,23.375 C 433.96875,23.375 433.96876,23.389299 433.96875,58.78125 L 434.96875,58.78125 C 434.96875,41.085275 434.96875,32.236494 434.96875,27.8125 C 434.96875,25.600503 434.96875,24.490499 434.96875,23.9375 C 434.96875,23.661 434.96875,23.506625 434.96875,23.4375 C 434.96875,23.402938 434.96875,23.414891 434.96875,23.40625 C 434.96875,23.40193 434.96875,23.37608 434.96875,23.375 L 434.46875,23.375 L 433.96875,23.375 z "
id="path14012" />
<path
d="M 438.83863,48.226651 L 434.47802,60.08499 L 430.11741,48.22665 C 432.69191,50.121117 436.21428,50.110201 438.83863,48.226651 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14368" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:100%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="424.87158"
y="20.088257"
id="text14020"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan14022"
x="424.87158"
y="20.088257"><tspan
style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan14024">B</tspan><tspan
id="tspan14128"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">0</tspan></tspan></text>
<g
id="g14140"
transform="translate(-11.71448,-17.41421)">
<path
id="path14130"
d="M 92.613608,188.60229 C 92.613608,153.21035 92.613608,153.21035 92.613608,153.21035"
style="fill:none;fill-opacity:0.75;fill-rule:evenodd;stroke:black;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;marker-start:url(#Arrow2Lstart);stroke-opacity:1" />
<text
sodipodi:linespacing="100%"
id="text14132"
y="205.42169"
x="83.071419"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:100%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
xml:space="preserve"><tspan
y="205.42169"
x="83.071419"
id="tspan14134"
sodipodi:role="line"><tspan
id="tspan14138"
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">S</tspan>3</tspan></text>
</g>
<g
id="g14274">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 192.25,135.78125 C 192.25,135.78125 192.25,135.79556 192.25,171.1875 L 193.21875,171.1875 C 193.21875,153.49153 193.21875,144.64274 193.21875,140.21875 C 193.21875,138.00675 193.21875,136.89675 193.21875,136.34375 C 193.21875,136.06725 193.21875,135.94412 193.21875,135.875 C 193.21875,135.84044 193.21875,135.82114 193.21875,135.8125 C 193.21875,135.81196 193.21875,135.78139 193.21875,135.78125 L 192.71875,135.78125 L 192.25,135.78125 z "
id="path14148" />
<path
d="M 197.1104,160.64007 L 192.74979,172.4984 L 188.38918,160.64006 C 190.96368,162.53453 194.48605,162.52362 197.1104,160.64007 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14280" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:100%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="183.19022"
y="188.00748"
id="text14150"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan14152"
x="183.19022"
y="188.00748"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan14154">S</tspan><tspan
id="tspan14190"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">2</tspan></tspan></text>
<g
id="g14266">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 304.0625,135.78125 C 304.0625,135.78125 304.06251,135.79556 304.0625,171.1875 L 305.0625,171.1875 C 305.06251,153.49153 305.0625,144.64274 305.0625,140.21875 C 305.0625,138.00675 305.0625,136.89675 305.0625,136.34375 C 305.0625,136.06725 305.0625,135.94412 305.0625,135.875 C 305.0625,135.84044 305.0625,135.82114 305.0625,135.8125 C 305.0625,135.81196 305.0625,135.78139 305.0625,135.78125 L 304.5625,135.78125 L 304.0625,135.78125 z "
id="path14158" />
<path
d="M 308.9438,160.64007 L 304.58319,172.4984 L 300.22258,160.64006 C 302.79708,162.53453 306.31945,162.52362 308.9438,160.64007 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14272" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:100%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="295.02362"
y="188.00748"
id="text14160"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan14162"
x="295.02362"
y="188.00748"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan14164">S</tspan><tspan
id="tspan14194"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">1</tspan></tspan></text>
<g
id="g14370">
<path
style="fill:black;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.98667669px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="M 415.90625,135.78125 C 415.90625,135.78125 415.90625,135.79556 415.90625,171.1875 L 416.90625,171.1875 C 416.90625,153.49153 416.90625,144.64274 416.90625,140.21875 C 416.90625,138.00675 416.90625,136.89675 416.90625,136.34375 C 416.90625,136.06725 416.90625,135.94412 416.90625,135.875 C 416.90625,135.84044 416.90625,135.82114 416.90625,135.8125 C 416.90625,135.81196 416.90625,135.78139 416.90625,135.78125 L 416.40625,135.78125 L 415.90625,135.78125 z "
id="path14168" />
<path
d="M 420.7771,160.64007 L 416.41649,172.4984 L 412.05588,160.64006 C 414.63038,162.53453 418.15275,162.52362 420.7771,160.64007 z "
style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round"
id="path14376" />
</g>
<text
xml:space="preserve"
style="font-size:12px;font-style:normal;font-weight:normal;line-height:100%;fill:black;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Bitstream Vera Sans"
x="406.85693"
y="188.00748"
id="text14170"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan14172"
x="406.85693"
y="188.00748"><tspan
style="font-size:18px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans"
id="tspan14174">S</tspan><tspan
id="tspan14198"
style="font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;font-family:Bitstream Vera Sans">0</tspan></tspan></text>
</g>
</svg>
]]></Attribute_String><Attribute_String roleName="setup">${MODELNAME_DEFAULT},${SVGURI_DEFAULT}</Attribute_String></SvgClient>
</XholonWorkbook>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment