| <?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[Component definitions]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="176.96875" width="945.375" x="-439.4375" y="-336.0"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#80FF40" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="945.375" x="0.0" y="0.0"> Component definitions</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="1" leftF="1.25" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="191.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="#80FF40" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="191.0" x="0.0" y="0.0"> Component definitions</y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="191.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[automaton def Generator()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="129.0" width="241.375" x="-423.1875" y="-303.03125"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#40C0FF" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="241.375" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#0000ff;">def</span>&nbsp;<span style="color:#000000;">Generator</span><span style="color:#402020;">()</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="221.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="#40C0FF" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="221.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#0000ff;">def</span>&nbsp;<span style="color:#000000;">Generator</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="221.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 id="n0::n0::n0"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="80.0" x="-276.8125" y="-219.03125"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="74.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">exit</span>&nbsp;<span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n0::n1"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="30.0" x="-251.8125" y="-269.03125"/> |
| <y:Fill color="#FFC080" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="20" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="28.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="12.0" x="9.0" y="1.0"><html><span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n0::n2"> |
| <data key="d4"><![CDATA[generated]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="30.0" x="-365.6875" y="-219.03125"/> |
| <y:Fill color="#FFC080" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="20" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="4.0" x="13.0" y="5.5"><html></html></y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n0::n3"> |
| <data key="d4"><![CDATA[generated]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="115.0" x="-408.1875" y="-269.03125"/> |
| <y:Fill color="#FFC000" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="2.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="109.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">generated</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="n0::n1" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[automaton def Buffer()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="129.0" width="227.25" x="-169.6875" y="-303.03125"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#40C0FF" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="227.25" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#0000ff;">def</span>&nbsp;<span style="color:#000000;">Buffer</span><span style="color:#402020;">()</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="1" leftF="1.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="194.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="#40C0FF" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="194.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#0000ff;">def</span>&nbsp;<span style="color:#000000;">Buffer</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="194.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::n1:"> |
| <node id="n0::n1::n0"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="93.0" x="-153.6875" y="-269.03125"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="87.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">enter</span>&nbsp;<span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n1::n1"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="80.0" x="-37.4375" y="-219.03125"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="74.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">exit</span>&nbsp;<span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n1::n2"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="30.0" x="-122.1875" y="-219.03125"/> |
| <y:Fill color="#FFC080" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="20" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="28.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="15.0" x="7.5" y="1.0"><html><span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n1::n3"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="30.0" x="-12.4375" y="-269.03125"/> |
| <y:Fill color="#FFC080" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="20" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="28.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="12.0" x="9.0" y="1.0"><html><span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="n0::n2" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[automaton def Machine()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="129.0" width="242.375" x="72.5625" y="-303.03125"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#40C0FF" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="242.375" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#0000ff;">def</span>&nbsp;<span style="color:#000000;">Machine</span><span style="color:#402020;">()</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="1" leftF="1.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="209.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="#40C0FF" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="209.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#0000ff;">def</span>&nbsp;<span style="color:#000000;">Machine</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="209.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::n2:"> |
| <node id="n0::n2::n0"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="93.0" x="88.5625" y="-269.03125"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="87.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">enter</span>&nbsp;<span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n2::n1"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="80.0" x="219.9375" y="-219.03125"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="74.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">exit</span>&nbsp;<span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n2::n2"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="30.0" x="120.0625" y="-219.03125"/> |
| <y:Fill color="#FFC080" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="20" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="28.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="15.0" x="7.5" y="1.0"><html><span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n2::n3"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="30.0" x="244.9375" y="-269.03125"/> |
| <y:Fill color="#FFC080" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="20" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="28.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="12.0" x="9.0" y="1.0"><html><span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="n0::n3" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[automaton def Exit()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="129.0" width="162.0" x="328.9375" y="-303.03125"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#40C0FF" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="162.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#0000ff;">def</span>&nbsp;<span style="color:#000000;">Exit</span><span style="color:#402020;">()</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="1" leftF="1.0" right="38" rightF="38.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="179.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="#40C0FF" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="179.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#0000ff;">automaton</span>&nbsp;<span style="color:#0000ff;">def</span>&nbsp;<span style="color:#000000;">Exit</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="179.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::n3:"> |
| <node id="n0::n3::n0"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="93.0" x="344.9375" y="-269.03125"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="87.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">enter</span>&nbsp;<span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n0::n3::n1"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="30.0" x="376.4375" y="-219.03125"/> |
| <y:Fill color="#FFC080" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="20" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="28.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="15.0" x="7.5" y="1.0"><html><span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| </graph> |
| </node> |
| <node id="n1" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[Components]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="220.96874999999997" width="1177.7008799999999" x="-439.4375" y="-144.03125"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#80FF40" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="1177.7008799999999" x="0.0" y="0.0"> Components</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="1" leftF="1.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="203.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="#80FF40" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="17.96875" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="203.0" x="0.0" y="0.0"> Components and events</y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="203.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[generator: Generator()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="79.0" width="176.0" x="-423.4375" y="-71.2065"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="176.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">generator</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Generator</span><span style="color:#402020;">()</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="62" leftF="62.0" right="4" rightF="4.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="195.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="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="195.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">generator</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Generator</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="195.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 id="n1::n0::n0"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="80.0" x="-346.4375" y="-37.206500000000005"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="74.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">exit</span>&nbsp;<span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="n1::n1" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[buffer: Buffer()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="79.0" width="227.25" x="-111.54950000000008" y="-71.2065"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="227.25" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">buffer</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Buffer</span><span style="color:#402020;">()</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="9" leftF="9.03612000000021" right="4" rightF="4.45049999999992" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="142.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="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="142.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">buffer</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Buffer</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="142.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::n1:"> |
| <node id="n1::n1::n0"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="93.0" x="-87.51337999999987" y="-37.206500000000005"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="87.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">enter</span>&nbsp;<span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n1::n1::n1"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="80.0" x="16.25" y="-37.206500000000005"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="74.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">exit</span>&nbsp;<span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="n1::n2" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[machine1: Machine()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="79.0" width="216.67488000000003" x="251.58849999999984" y="-111.0625"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="216.67488000000003" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">machine1</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Machine</span><span style="color:#402020;">()</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="1" leftF="1.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="181.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="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="181.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">machine1</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Machine</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="181.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::n2:"> |
| <node id="n1::n2::n0"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="93.0" x="267.58849999999984" y="-77.0625"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="87.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">enter</span>&nbsp;<span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n1::n2::n1"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="80.0" x="373.26337999999987" y="-77.0625"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="74.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">exit</span>&nbsp;<span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="n1::n3" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[machine2: Machine()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="79.0" width="216.67488000000003" x="251.58849999999984" y="-17.06250000000003"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="216.67488000000003" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">machine2</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Machine</span><span style="color:#402020;">()</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="1" leftF="1.0" right="0" rightF="0.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="181.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="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="181.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">machine2</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Machine</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="181.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::n3:"> |
| <node id="n1::n3::n0"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="93.0" x="267.58849999999984" y="16.93749999999997"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="87.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">enter</span>&nbsp;<span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n1::n3::n1"> |
| <data key="d4"><![CDATA[exit !]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="80.0" x="373.26337999999987" y="16.93749999999997"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="74.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">exit</span>&nbsp;<span style="color:#402020;">!</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="n1::n4" yfiles.foldertype="group"> |
| <data key="d4"><![CDATA[exit: Exit()]]></data> |
| <data key="d5"> |
| <y:ProxyAutoBoundsNode> |
| <y:Realizers active="0"> |
| <y:GroupNode> |
| <y:Geometry height="79.0" width="125.0" x="598.2633799999999" y="-71.5625"/> |
| <y:Fill color="#EEEEEE" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="1.0"/> |
| <y:NodeLabel alignment="left" autoSizePolicy="node_width" backgroundColor="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="125.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">exit</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Exit</span><span style="color:#402020;">()</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="1" leftF="1.0" right="1" rightF="1.0" top="0" topF="0.0"/> |
| </y:GroupNode> |
| <y:GroupNode> |
| <y:Geometry height="30.0" width="112.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="#FF8000" borderDistance="0.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasLineColor="false" height="19.0" modelName="internal" modelPosition="t" textColor="#000000" visible="true" width="112.0" x="0.0" y="0.0"><html>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span style="color:#000000;">exit</span><span style="color:#402020;">:</span>&nbsp;<span style="color:#000000;">Exit</span><span style="color:#402020;">()</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| <y:State closed="true" closedHeight="30.0" closedWidth="112.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::n4:"> |
| <node id="n1::n4::n0"> |
| <data key="d4"><![CDATA[enter ?]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="93.0" x="614.2633799999999" y="-37.5625"/> |
| <y:Fill color="#FFE0C0" transparent="false"/> |
| <y:BorderStyle color="#000000" type="dashed" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="87.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">enter</span>&nbsp;<span style="color:#402020;">?</span></html></y:NodeLabel> |
| <y:Shape type="octagon"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <node id="n1::n5"> |
| <data key="d4"><![CDATA[g2b !?~]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="98.0" x="-226.4375" y="-37.206500000000005"/> |
| <y:Fill color="#FFC000" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="2.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="92.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">g2b</span>&nbsp;<span style="color:#402020;">!?~</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n1::n6"> |
| <data key="d4"><![CDATA[b2m !?~]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="101.0" x="132.58849999999984" y="-37.206500000000005"/> |
| <y:Fill color="#FFC000" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="2.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="95.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">b2m</span>&nbsp;<span style="color:#402020;">!?~</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n1::n7"> |
| <data key="d4"><![CDATA[m2e !?~]]></data> |
| <data key="d5"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="101.0" x="483.26337999999987" y="-37.206500000000005"/> |
| <y:Fill color="#FFC000" transparent="false"/> |
| <y:BorderStyle color="#000000" type="line" width="2.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="19.0" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="95.0" x="3.0" y="5.5"><html><span style="color:#0000ff;">event</span>&nbsp;<span style="color:#000000;">m2e</span>&nbsp;<span style="color:#402020;">!?~</span></html></y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| </graph> |
| </node> |
| <edge id="n0::n0::e0" source="n0::n0::n3" target="n0::n0::n2"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="15.0" tx="0.0" ty="-15.0"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="none"/> |
| <y:BendStyle smoothed="true"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge id="n0::n0::e1" source="n0::n0::n1" target="n0::n0::n0"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="15.0" tx="0.0" ty="-15.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="n0::n1::e0" source="n0::n1::n3" target="n0::n1::n1"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="15.0" tx="0.0" ty="-15.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="n0::n1::e1" source="n0::n1::n0" target="n0::n1::n2"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="15.0" tx="0.0" ty="-15.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="n0::n2::e0" source="n0::n2::n3" target="n0::n2::n1"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="15.0" tx="0.0" ty="-15.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="n0::n2::e1" source="n0::n2::n0" target="n0::n2::n2"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="15.0" tx="0.0" ty="-15.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="n0::n3::e0" source="n0::n3::n0" target="n0::n3::n1"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="15.0" tx="0.0" ty="-15.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::e0" source="n1::n0::n0" target="n1::n5"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="20.52197265625" sy="0.0" tx="-29.5" 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::n5" target="n1::n1::n0"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="29.5" sy="0.0" tx="-26.9912109375" 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::e2" source="n1::n1::n1" target="n1::n6"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="39.990234375" sy="0.0" tx="-50.5" 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::e3" source="n1::n6" target="n1::n2::n0"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="50.49329268649194" sy="-6.754311925919801" tx="-46.485595703125" 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::e4" source="n1::n2::n1" target="n1::n7"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="39.990234375" sy="0.0" tx="-50.497361369021974" ty="-6.384140032877241"/> |
| <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::e5" source="n1::n6" target="n1::n3::n0"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="50.5183557780407" sy="9.04004266689531" tx="-46.485595703125" 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::e6" source="n1::n3::n1" target="n1::n7"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="39.990234375" sy="0.0" tx="-50.51085905243883" ty="9.116771448635014"/> |
| <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::e7" source="n1::n7" target="n1::n4::n0"> |
| <data key="d9"> |
| <y:PolyLineEdge> |
| <y:Path sx="31.0" sy="0.0" tx="-26.9912109375" 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> |
| </graph> |
| <data key="d6"> |
| <y:Resources/> |
| </data> |
| </graphml> |