| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <!-- |
| Copyright (c) 2010, 2021 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:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd" xmlns="http://graphml.graphdrawing.org/xmlns"> |
| <key for="node" id="ng" yfiles.type="nodegraphics"/> |
| <key for="edge" id="eg" yfiles.type="edgegraphics"/> |
| <key attr.name="description" attr.type="string" for="node" id="dn"/> |
| <graph edgedefault="directed" id="cif:"> |
| <node id="cif:tank" yfiles.foldertype="group"> |
| <data key="dn">group tank</data> |
| <data key="ng"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#ff0000" fontStyle="italic" modelName="internal" modelPosition="t"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">group</span>&nbsp;<span style="color:#000000;">tank</span></html></y:NodeLabel> |
| <y:Fill color="#eeeeee"/> |
| <y:Shape type="rectangle"/> |
| <y:State closed="false"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="119.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#ff0000" fontStyle="italic" modelName="internal" modelPosition="t"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">group</span>&nbsp;<span style="color:#000000;">tank</span></html></y:NodeLabel> |
| <y:Fill color="#cccccc"/> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true"/> |
| </y:GroupNode> |
| </y:Realizers> |
| </y:ProxyAutoBoundsNode> |
| </data> |
| <graph edgedefault="directed" id="cif:tank:"> |
| <node id="cif:tank::code" yfiles.foldertype="group"> |
| <data key="dn">Declarations</data> |
| <data key="ng"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="108.84375" width="201.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#eeee80" modelName="internal" modelPosition="t"> Declarations</y:NodeLabel> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" borderDistance="18" bottomInset="3" leftInset="3" modelName="internal" modelPosition="t" rightInset="3" topInset="3"><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:BorderStyle lineType="dashed"/> |
| <y:Fill color="#ffffcc"/> |
| <y:Shape type="rectangle"/> |
| <y:State closed="false"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="54.0" width="109.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#eeee80" modelName="internal" modelPosition="t"> Declarations</y:NodeLabel> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" borderDistance="18" bottomInset="3" leftInset="3" modelName="internal" modelPosition="t" rightInset="3" topInset="3">...</y:NodeLabel> |
| <y:BorderStyle lineType="dashed"/> |
| <y:Fill color="#ffffcc"/> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true"/> |
| </y:GroupNode> |
| </y:Realizers> |
| </y:ProxyAutoBoundsNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="cif:controller" yfiles.foldertype="group"> |
| <data key="dn">automaton controller</data> |
| <data key="ng"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#ff0000" fontStyle="plain" modelName="internal" modelPosition="t"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#000000;">controller</span></html></y:NodeLabel> |
| <y:Fill color="#eeeeee"/> |
| <y:Shape type="rectangle"/> |
| <y:State closed="false"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="183.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#ff0000" fontStyle="plain" modelName="internal" modelPosition="t"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#000000;">controller</span></html></y:NodeLabel> |
| <y:Fill color="#cccccc"/> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true"/> |
| </y:GroupNode> |
| </y:Realizers> |
| </y:ProxyAutoBoundsNode> |
| </data> |
| <graph edgedefault="directed" id="cif:controller:"> |
| <node id="cif:controller::code" yfiles.foldertype="group"> |
| <data key="dn">Declarations</data> |
| <data key="ng"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="54.0" width="109.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#eeee80" modelName="internal" modelPosition="t"> Declarations</y:NodeLabel> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" borderDistance="18" bottomInset="3" leftInset="3" modelName="internal" modelPosition="t" rightInset="3" topInset="3"><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:BorderStyle lineType="dashed"/> |
| <y:Fill color="#ffffcc"/> |
| <y:Shape type="rectangle"/> |
| <y:State closed="false"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="54.0" width="109.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#eeee80" modelName="internal" modelPosition="t"> Declarations</y:NodeLabel> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" borderDistance="18" bottomInset="3" leftInset="3" modelName="internal" modelPosition="t" rightInset="3" topInset="3">...</y:NodeLabel> |
| <y:BorderStyle lineType="dashed"/> |
| <y:Fill color="#ffffcc"/> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true"/> |
| </y:GroupNode> |
| </y:Realizers> |
| </y:ProxyAutoBoundsNode> |
| </data> |
| </node> |
| <node id="cif:controller::loc0"> |
| <data key="dn">location closed</data> |
| <data key="ng"> |
| <y:ShapeNode> |
| <y:Geometry height="54.90625" width="138.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" modelName="internal" modelPosition="c"><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:Fill color="#ccccff"/> |
| <y:Shape type="roundrectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="cif:controller::loc0::init"> |
| <data key="dn"><init></data> |
| <data key="ng"> |
| <y:ShapeNode> |
| <y:Geometry height="1" width="1"/> |
| <y:BorderStyle hasColor="false"/> |
| <y:Fill transparent="true"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <edge source="cif:controller::loc0::init" target="cif:controller::loc0"> |
| <data key="eg"> |
| <y:PolyLineEdge> |
| <y:Arrows source="none" target="arrow"/> |
| <y:BendStyle smoothed="true"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge source="cif:controller::loc0" target="cif:controller::loc1"> |
| <data key="eg"> |
| <y:PolyLineEdge> |
| <y:Arrows source="none" target="arrow"/> |
| <y:BendStyle smoothed="true"/> |
| <y:EdgeLabel alignment="center" backgroundColor="#eeeeee"><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:EdgeLabel> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <node id="cif:controller::loc1"> |
| <data key="dn">location opened</data> |
| <data key="ng"> |
| <y:ShapeNode> |
| <y:Geometry height="54.90625" width="138.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="content" modelName="internal" modelPosition="c"><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:Fill color="#ccccff"/> |
| <y:Shape type="roundrectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <edge source="cif:controller::loc1" target="cif:controller::loc0"> |
| <data key="eg"> |
| <y:PolyLineEdge> |
| <y:Arrows source="none" target="arrow"/> |
| <y:BendStyle smoothed="true"/> |
| <y:EdgeLabel alignment="center" backgroundColor="#eeeeee"><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:EdgeLabel> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| </graph> |
| </node> |
| </graph> |
| </graphml> |