| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <!-- |
| Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation |
| |
| See the NOTICE file(s) distributed with this work for additional |
| information regarding copyright ownership. |
| |
| This program and the accompanying materials are made available under the terms |
| of the MIT License which is available at https://opensource.org/licenses/MIT |
| |
| SPDX-License-Identifier: MIT |
| --> |
| <graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:java="http://www.yworks.com/xml/yfiles-common/1.0/java" xmlns:sys="http://www.yworks.com/xml/yfiles-common/markup/primitives/2.0" xmlns:x="http://www.yworks.com/xml/yfiles-common/markup/2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd"> |
| <!--Created by yEd 3.14.1--> |
| <key for="port" id="d0" yfiles.type="portgraphics"/> |
| <key for="port" id="d1" yfiles.type="portgeometry"/> |
| <key for="port" id="d2" yfiles.type="portuserdata"/> |
| <key attr.name="url" attr.type="string" for="node" id="d3"/> |
| <key attr.name="description" attr.type="string" for="node" id="d4"/> |
| <key for="node" id="d5" yfiles.type="nodegraphics"/> |
| <key for="graphml" id="d6" yfiles.type="resources"/> |
| <key attr.name="url" attr.type="string" for="edge" id="d7"/> |
| <key attr.name="description" attr.type="string" for="edge" id="d8"/> |
| <key for="edge" id="d9" yfiles.type="edgegraphics"/> |
| <graph edgedefault="directed" id="G"> |
| <node id="n0" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[group tank]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="157.84375" width="231.0" x="-283.5" y="16.578125"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF0000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="italic" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="231.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">group</span>&nbsp;<span style="color:#000000;">tank</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="false" closedHeight="80.0" closedWidth="100.0" innerGraphDisplayEnabled="false"/> |
| <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/> |
| <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="119.0" x="-15.0" y="-15.0"/> |
| <y:Fill color="#CCCCCC" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF0000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="italic" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="119.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">group</span>&nbsp;<span style="color:#000000;">tank</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="119.0" innerGraphDisplayEnabled="false"/> |
| <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/> |
| <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| </y:Realizers> |
| </y:ProxyAutoBoundsNode> |
| </data> |
| <graph edgedefault="directed" id="n0:"> |
| <node id="n0::n0" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[Declarations]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="108.84375" width="201.0" x="-268.5" y="50.578125"/> |
| <y:Fill color="#FFFFCC" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#EEEE80" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="201.0" x="0.0" y="0.0"> Declarations</y:NodeLabel> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" borderDistance="18.0" bottomInset="3" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="81.0" leftInset="3" modelName="internal" modelPosition="t" rightInset="3" textColor="#000000" topInset="3" visible="true" width="197.0" x="2.0" y="18.0"><html><span style="color:#0000ff;">cont</span>&nbsp;<span style="color:#000000;">V</span>&nbsp;<span style="color:#402020;">=</span>&nbsp;<span style="color:#006100;">10.0</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">alg</span>&nbsp;<span style="color:#0000ff;">real</span>&nbsp;<span style="color:#000000;">Qi</span>&nbsp;<span style="color:#402020;">=</span>&nbsp;<span style="color:#000000;">controller.n</span>&nbsp;<span style="color:#402020;">*</span>&nbsp;<span style="color:#006100;">5.0</span><span style="color:#402020;">;</span><br><span style="color:#0000ff;">alg</span>&nbsp;<span style="color:#0000ff;">real</span>&nbsp;<span style="color:#000000;">Qo</span>&nbsp;<span style="color:#402020;">=</span>&nbsp;<span style="color:#8000ff;">sqrt</span><span style="color:#402020;">(</span><span style="color:#000000;">V</span><span style="color:#402020;">);</span><br><br><span style="color:#0000ff;">equation</span>&nbsp;<span style="color:#000000;">V</span><span style="color:#402020;">'</span>&nbsp;<span style="color:#402020;">=</span>&nbsp;<span style="color:#000000;">Qi</span>&nbsp;<span style="color:#402020;">-</span>&nbsp;<span style="color:#000000;">Qo</span><span style="color:#402020;">;</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="false" closedHeight="108.84375" closedWidth="201.0" innerGraphDisplayEnabled="false"/> |
| <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/> |
| <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="54.0" width="109.0" x="-15.0" y="-15.0"/> |
| <y:Fill color="#FFFFCC" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#EEEE80" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="109.0" x="0.0" y="0.0"> Declarations</y:NodeLabel> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" borderDistance="18.0" bottomInset="3" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.96875" leftInset="3" modelName="internal" modelPosition="t" rightInset="3" textColor="#000000" topInset="3" visible="true" width="17.443359375" x="45.7783203125" y="18.0">...</y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="54.0" closedWidth="109.0" innerGraphDisplayEnabled="false"/> |
| <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/> |
| <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| </y:Realizers> |
| </y:ProxyAutoBoundsNode> |
| </data> |
| <graph edgedefault="directed" id="n0::n0:"/> |
| </node> |
| </graph> |
| </node> |
| <node id="n1" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[automaton controller]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="108.84375" width="642.5999999999999" x="-37.5" y="15.171875"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF0000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="642.5999999999999" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#000000;">controller</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="false" closedHeight="80.0" closedWidth="100.0" innerGraphDisplayEnabled="false"/> |
| <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/> |
| <y:BorderInsets bottom="4" bottomF="4.4375" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="183.0" x="-15.0" y="-15.0"/> |
| <y:Fill color="#CCCCCC" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF0000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="183.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#000000;">controller</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="183.0" innerGraphDisplayEnabled="false"/> |
| <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/> |
| <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| </y:Realizers> |
| </y:ProxyAutoBoundsNode> |
| </data> |
| <graph edgedefault="directed" id="n1:"> |
| <node id="n1::n0" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[Declarations]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="54.0" width="109.0" x="-22.5" y="50.578125"/> |
| <y:Fill color="#FFFFCC" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#EEEE80" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="109.0" x="0.0" y="0.0"> Declarations</y:NodeLabel> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" borderDistance="18.0" bottomInset="3" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="21.0" leftInset="3" modelName="internal" modelPosition="t" rightInset="3" textColor="#000000" topInset="3" visible="true" width="95.0" x="7.0" y="18.0"><html><span style="color:#0000ff;">alg</span>&nbsp;<span style="color:#0000ff;">int</span><span style="color:#402020;">[</span><span style="color:#006100;">0</span><span style="color:#402020;">..</span><span style="color:#006100;">1</span><span style="color:#402020;">]</span>&nbsp;<span style="color:#000000;">n</span><span style="color:#402020;">;</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="false" closedHeight="54.0" closedWidth="109.0" innerGraphDisplayEnabled="false"/> |
| <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/> |
| <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="54.0" width="109.0" x="-15.0" y="-15.0"/> |
| <y:Fill color="#FFFFCC" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#EEEE80" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="109.0" x="0.0" y="0.0"> Declarations</y:NodeLabel> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" borderDistance="18.0" bottomInset="3" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.96875" leftInset="3" modelName="internal" modelPosition="t" rightInset="3" textColor="#000000" topInset="3" visible="true" width="17.443359375" x="45.7783203125" y="18.0">...</y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="54.0" closedWidth="109.0" innerGraphDisplayEnabled="false"/> |
| <y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/> |
| <y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| </y:Realizers> |
| </y:ProxyAutoBoundsNode> |
| </data> |
| <graph edgedefault="directed" id="n1::n0:"/> |
| </node> |
| <node id="n1::n1"> |
| <data key="d4"><![CDATA[location closed]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="54.90625" width="138.0" x="170.5" y="49.171875"/> |
| <y:Fill color="#CCCCFF" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="49.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="102.0" x="18.0" y="2.953125"><html><span style="color:#000000;">closed</span><br><br><span style="color:#0000ff;">equation</span>&nbsp;<span style="color:#000000;">n</span>&nbsp;<span style="color:#402020;">=</span>&nbsp;<span style="color:#006100;">0</span><span style="color:#402020;">;</span></html></y:NodeLabel> |
| <y:Shape type="roundrectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n1::n2"> |
| <data key="d4"><![CDATA[<init>]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="8.296875" width="17.0" x="97.0" y="73.4296875"/> |
| <y:Fill color="#CCCCFF" transparent="true"/> |
| <y:BorderStyle hasColor="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="4.0" x="6.5" y="2.1484375"/> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n1::n3"> |
| <data key="d4"><![CDATA[location opened]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="54.90625" width="138.0" x="452.0999999999999" y="49.171875"/> |
| <y:Fill color="#CCCCFF" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="49.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="102.0" x="18.0" y="2.953125"><html><span style="color:#000000;">opened</span><br><br><span style="color:#0000ff;">equation</span>&nbsp;<span style="color:#000000;">n</span>&nbsp;<span style="color:#402020;">=</span>&nbsp;<span style="color:#006100;">1</span><span style="color:#402020;">;</span></html></y:NodeLabel> |
| <y:Shape type="roundrectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <edge id="n1::e0" source="n1::n2" target="n1::n1"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="-2.2079039999999566" sy="-0.953125" tx="-69.00927734375" ty="0.0"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="standard"/> |
| <y:BendStyle smoothed="true"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge id="n1::e1" source="n1::n1" target="n1::n3"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="69.01775642458114" sy="-13.969902892510284" tx="-69.00079999999974" ty="-13.969902892510284"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="standard"/> |
| <y:EdgeLabel alignment="center" backgroundColor="#EEEEEE" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="free" modelPosition="anywhere" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="117.0" x="12.460638769531442" y="-23.465113961425786"><html><span style="color:#0000ff;">when</span>&nbsp;<span style="color:#000000;">tank.V</span>&nbsp;<span style="color:#402020;">&lt;=</span>&nbsp;<span style="color:#006100;">2</span></html><y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/> |
| </y:EdgeLabel> |
| <y:BendStyle smoothed="true"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge id="n1::e2" source="n1::n3" target="n1::n1"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="-69.00079999999974" sy="13.507893662371615" tx="69.00639818065497" ty="13.507893662371615"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="standard"/> |
| <y:EdgeLabel alignment="center" backgroundColor="#EEEEEE" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="free" modelPosition="anywhere" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="125.0" x="-130.2056126464842" y="5.581887576660137"><html><span style="color:#0000ff;">when</span>&nbsp;<span style="color:#000000;">tank.V</span>&nbsp;<span style="color:#402020;">&gt;=</span>&nbsp;<span style="color:#006100;">10</span></html><y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/> |
| </y:EdgeLabel> |
| <y:BendStyle smoothed="true"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| </graph> |
| <data key="d6"> |
| <y:Resources/> |
| </data> |
| </graphml> |
