{ "csm": { "nodes": { "284": { "typename": { "type": "string", "value": "StateDefinitionIcon" }, "position": { "type": "list", "value": [ 471, 72 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "82": { "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 125 }, "cornerRadius": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "orange", "fill-opacity": 0.75, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 4, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "85": { "segments": { "type": "string", "value": "m0,0l197,0" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 6, 36 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "86": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 53.75, 20 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "90": { "textContent": { "type": "string", "value": "+ time : float" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar filenames = getAttr('attributes').map(\n function(attr)\n {\n var s = '+ '+attr['name'] + ' : ' + attr['type'];\n if (attr['default'])\n s += ' = ' + attr['default'];\n return s;\n });\n\n({'textContent': filenames.join('\\n')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 9, 41 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "92": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 18.1796875, 26 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "93": { "textContent": { "type": "string", "value": "TrafficLightMode" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 8, 9 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "94": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 25.607941766118074, 12.053332982167333 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "82", "dest": "86" }, { "src": "86", "dest": "85" }, { "src": "82", "dest": "92" }, { "src": "92", "dest": "90" }, { "src": "82", "dest": "94" }, { "src": "94", "dest": "93" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/StateDefinition/284.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateDefinitionIcon" }, "285": { "typename": { "type": "string", "value": "AtomicDEVSIcon" }, "position": { "type": "list", "value": [ 175.4147879168, 248.7197 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 3.1010908483327992, 2.1829 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "$contents": { "type": "map", "value": { "nodes": { "14": { "width": { "type": "double", "value": 250 }, "height": { "type": "double", "value": 250 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 8, 28 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "16": { "textContent": { "type": "string", "value": "TrafficLight" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 8, 7 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/AtomicDEVS/285.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon" }, "286": { "typename": { "type": "string", "value": "StateIcon" }, "position": { "type": "list", "value": [ 246, 416 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "34": { "r": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 2, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar style = {\n \"stroke\": \"#000000\",\n \"stroke-dasharray\": \"\",\n \"fill\": \"#ffffff\",\n \"fill-opacity\": 0.75,\n \"font-size\": \"20px\",\n \"stroke-width\": 1,\n \"arrow-start\": \"none\",\n \"arrow-end\": \"none\"\n};\nif (getAttr('initial')) {\n style[\"stroke-width\"] = 2;\n}\n({'style': style})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "37": { "textContent": { "type": "string", "value": "red" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "12px", "font-weight": "bold", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 5, 6 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "40": { "textContent": { "type": "string", "value": "return 60" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('time_advance').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 79, 57 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "42": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/clock.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 56, 53 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "44": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/arrow_up.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar width = 20,\n height = 20;\nif (getAttr('output') == \"\") {\n width = 0;\n height = 0;\n}\n({'width': width, 'height': height})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 55, 18 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "46": { "textContent": { "type": "string", "value": "return {\"OBSERVED\": [\"grey\"]}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('output').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 77, 23 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/State/286.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon" }, "287": { "typename": { "type": "string", "value": "InputPortIcon" }, "position": { "type": "list", "value": [ 697.181053853721, 301.95985241 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, "$contents": { "type": "map", "value": { "nodes": { "54": { "r": { "type": "double", "value": 7 }, "sides": { "type": "int", "value": 4 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Polygon", "position": { "type": "list", "value": [ 5, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "55": { "textContent": { "type": "string", "value": "INTERRUPT" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/InputPort/287.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InputPortIcon" }, "288": { "typename": { "type": "string", "value": "OutputPortIcon" }, "position": { "type": "list", "value": [ 963.8685538537209, 507.24015240999995 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': [getAttr('position')[0], getAttr('position')[1]]})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, "$contents": { "type": "map", "value": { "nodes": { "48": { "r": { "type": "double", "value": 7 }, "sides": { "type": "int", "value": 4 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "purple", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Polygon", "position": { "type": "list", "value": [ 4, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "50": { "textContent": { "type": "string", "value": "OBSERVED" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/OutputPort/288.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon" }, "290": { "typename": { "type": "string", "value": "StateIcon" }, "position": { "type": "list", "value": [ 559, 422 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "34": { "r": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar style = {\n \"stroke\": \"#000000\",\n \"stroke-dasharray\": \"\",\n \"fill\": \"#ffffff\",\n \"fill-opacity\": 0.75,\n \"font-size\": \"20px\",\n \"stroke-width\": 1,\n \"arrow-start\": \"none\",\n \"arrow-end\": \"none\"\n};\nif (getAttr('initial')) {\n style[\"stroke-width\"] = 2;\n}\n({'style': style})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "37": { "textContent": { "type": "string", "value": "green" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "12px", "font-weight": "bold", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 5, 6 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "40": { "textContent": { "type": "string", "value": "return 50" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('time_advance').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 79, 57 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "42": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/clock.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 56, 53 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "44": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/arrow_up.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar width = 20,\n height = 20;\nif (getAttr('output') == \"\") {\n width = 0;\n height = 0;\n}\n({'width': width, 'height': height})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 55, 18 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "46": { "textContent": { "type": "string", "value": "return {\"OBSERVED\": [\"yellow\"]}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('output').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 77, 23 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/State/290.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon" }, "291": { "typename": { "type": "string", "value": "StateIcon" }, "position": { "type": "list", "value": [ 409, 522 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "34": { "r": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar style = {\n \"stroke\": \"#000000\",\n \"stroke-dasharray\": \"\",\n \"fill\": \"#ffffff\",\n \"fill-opacity\": 0.75,\n \"font-size\": \"20px\",\n \"stroke-width\": 1,\n \"arrow-start\": \"none\",\n \"arrow-end\": \"none\"\n};\nif (getAttr('initial')) {\n style[\"stroke-width\"] = 2;\n}\n({'style': style})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "37": { "textContent": { "type": "string", "value": "yellow" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "12px", "font-weight": "bold", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 5, 6 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "40": { "textContent": { "type": "string", "value": "return 10" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('time_advance').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 79, 57 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "42": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/clock.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 56, 53 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "44": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/arrow_up.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar width = 20,\n height = 20;\nif (getAttr('output') == \"\") {\n width = 0;\n height = 0;\n}\n({'width': width, 'height': height})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 55, 18 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "46": { "textContent": { "type": "string", "value": "return {\"OBSERVED\": [\"grey\"]}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('output').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 77, 23 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/State/291.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon" }, "292": { "typename": { "type": "string", "value": "StateIcon" }, "position": { "type": "list", "value": [ 660, 729 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "34": { "r": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar style = {\n \"stroke\": \"#000000\",\n \"stroke-dasharray\": \"\",\n \"fill\": \"#ffffff\",\n \"fill-opacity\": 0.75,\n \"font-size\": \"20px\",\n \"stroke-width\": 1,\n \"arrow-start\": \"none\",\n \"arrow-end\": \"none\"\n};\nif (getAttr('initial')) {\n style[\"stroke-width\"] = 2;\n}\n({'style': style})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "37": { "textContent": { "type": "string", "value": "manual" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "12px", "font-weight": "bold", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 5, 6 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "40": { "textContent": { "type": "string", "value": "return INFINITY" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('time_advance').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 79, 57 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "42": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/clock.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 56, 53 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "44": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/arrow_up.png" }, "width": { "type": "double", "value": 0 }, "height": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar width = 20,\n height = 20;\nif (getAttr('output') == \"\") {\n width = 0;\n height = 0;\n}\n({'width': width, 'height': height})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 55, 18 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "46": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('output').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 77, 23 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/State/292.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon" }, "293": { "link-style": { "type": "map", "value": { "stroke": "blue", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "InternalTransitionLink" }, "position": { "type": "list", "value": [ 454.7322712984176, 403 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "77": { "textContent": { "type": "string", "value": "[]" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-51.63166948889756,0%", "0;-31.5,0%" ] }, "orientation": { "type": "double", "value": "0;0" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": -31.5 } } }, "78": { "textContent": { "type": "string", "value": "return {'time': self.state.time + self.timeAdvance()}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-51.63166948889756,0%", "0;2.5,0%" ] }, "orientation": { "type": "double", "value": "0;0" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;116.95537611698677,74.05603051369147%", "0;46.03747547719752,67.19899065131261%" ] }, "orientation": { "type": "double", "value": "0;42.22083313592791" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition/293.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/286.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/293.instance": "M276,438L321,403L454.73227129841763,403", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/293.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/290.instance": "M454.73227129841763,403L515,403L568.9996877893518,451.99971669774516" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink" }, "294": { "link-style": { "type": "map", "value": { "stroke": "blue", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "InternalTransitionLink" }, "position": { "type": "list", "value": [ 539.5, 524.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "77": { "textContent": { "type": "string", "value": "[]" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-2.1417535642704024,0%", "0;32.431884310677106,0%" ] }, "orientation": { "type": "double", "value": "0;165.66467135568715" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": -31.5 } } }, "78": { "textContent": { "type": "string", "value": "return {'time': self.state.time + self.timeAdvance()}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-10.560033270849317,0%", "0;-0.5094660985243991,0%" ] }, "orientation": { "type": "double", "value": "0;165.66467135568715" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-89.50881692414953,-96.88632473294571%", "0;26.37507057913058,24.759646195820192%" ] }, "orientation": { "type": "double", "value": "0;165.66467135568715" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition/294.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/290.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/294.instance": "M565,478L539,524", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/294.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/291.instance": "M539,524L449.00079722801763,546.9996175898127" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink" }, "295": { "link-style": { "type": "map", "value": { "stroke": "blue", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "InternalTransitionLink" }, "position": { "type": "list", "value": [ 344.5, 540 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "77": { "textContent": { "type": "string", "value": "[]" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;0.7644084088107093,0%", "0;32.3165417181645,0%" ] }, "orientation": { "type": "double", "value": "0;-169.14358665193777" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": -31.5 } } }, "78": { "textContent": { "type": "string", "value": "return {'time': self.state.time + self.timeAdvance()}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;7.168253407655584,0%", "0;-1.0749357758123779,0%" ] }, "orientation": { "type": "double", "value": "0;-169.14358665193777" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-66.04603766001026,-77.12232012883885%", "0;-48.91489492784888,-63.65648229320324%" ] }, "orientation": { "type": "double", "value": "0;-140.46385868036768" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition/295.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/291.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/295.instance": "M417.0000000000001,554L344,540", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/295.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/286.instance": "M344,540L281.00022163171786,488.00021226699755" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink" }, "296": { "link-style": { "type": "map", "value": { "stroke": "red", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "ExternalTransitionLink" }, "position": { "type": "list", "value": [ 780, 562.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "73": { "textContent": { "type": "string", "value": "[return inputs['INTERRUPT'][0] == 'toManual']" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-12.443220486065343,0%", "0;-42.095206152196624,0%" ] }, "orientation": { "type": "double", "value": "0;22.848042871616336" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4110429447852761, "yoffset": -33.5 } } }, "75": { "textContent": { "type": "string", "value": "return {'time': self.state.time + self.elapsed}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-21.867899280569873,0%", "0;-7.0011460751034065,0%" ] }, "orientation": { "type": "double", "value": "0;22.848042871616336" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4233128834355828, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-80.33537303232777,-40.082018940929906%", "0;193.10250723006175,91.61567419180484%" ] }, "orientation": { "type": "double", "value": "0;113.62946249571338" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ExternalTransition/296.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/290.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink/296.instance": "M602,487L780,562", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink/296.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/292.instance": "M780,562L696,753.9992264724245" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink" }, "297": { "link-style": { "type": "map", "value": { "stroke": "red", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "ExternalTransitionLink" }, "position": { "type": "list", "value": [ 590.5, 628.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "73": { "textContent": { "type": "string", "value": "[return inputs['INTERRUPT'][0] == 'toManual']" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-14.972100185797899,0%", "0;-39.140243850083266,0%" ] }, "orientation": { "type": "double", "value": "0;15.185837262201334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4110429447852761, "yoffset": -33.5 } } }, "75": { "textContent": { "type": "string", "value": "return {'time': self.state.time + self.elapsed}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-20.917172070766014,0%", "0;-3.451348446952352,0%" ] }, "orientation": { "type": "double", "value": "0;15.185837262201334" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4233128834355828, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;82.8768512609912,53.60081366652724%", "0;123.35596745333896,84.42128152478038%" ] }, "orientation": { "type": "double", "value": "0;57.5876933816488" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ExternalTransition/297.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/291.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink/297.instance": "M450.0000000000001,590L590,628", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink/297.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/292.instance": "M590,628L670,754" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink" }, "298": { "link-style": { "type": "map", "value": { "stroke": "red", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "ExternalTransitionLink" }, "position": { "type": "list", "value": [ 269.1007771540317, 645.2515888669735 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "73": { "textContent": { "type": "string", "value": "[return inputs['INTERRUPT'][0] == 'toManual']" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;72.22090330495183,0%", "0;-10.679320764108411,0%" ] }, "orientation": { "type": "double", "value": "0;19.083568037697184" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4110429447852761, "yoffset": -33.5 } } }, "75": { "textContent": { "type": "string", "value": "return {'time': self.state.time + self.elapsed}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;67.42228492682636,0%", "0;25.754065869893793,0%" ] }, "orientation": { "type": "double", "value": "0;19.083568037697184" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4233128834355828, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;397.2065000354903,94.50427167203102%", "0;132.96818331855548,32.69468818843445%" ] }, "orientation": { "type": "double", "value": "0;19.083568037697184" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ExternalTransition/298.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/286.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink/298.instance": "M251.00000000292692,471L233,528L269.0000000000001,645", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink/298.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/292.instance": "M269.0000000000001,645L664.9994896619846,781.9999430524102" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink" }, "299": { "link-style": { "type": "map", "value": { "stroke": "red", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "ExternalTransitionLink" }, "position": { "type": "list", "value": [ 432.74775570659403, 674.7676963751403 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "73": { "textContent": { "type": "string", "value": "[return inputs['INTERRUPT'][0] == 'toAutonomous']" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;18.02545373408384,0%", "0;43.06413396040318,0%" ] }, "orientation": { "type": "double", "value": "0;-157.8180337367797" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4110429447852761, "yoffset": -33.5 } } }, "75": { "textContent": { "type": "string", "value": "return {'time': self.state.time + self.elapsed}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;25.59995019343063,0%", "0;7.275115757142771,0%" ] }, "orientation": { "type": "double", "value": "0;-157.8180337367797" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4233128834355828, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;-168.60545125808483,-26.43264047682312%", "0;-188.71012777402495,-96.44332800885198%" ] }, "orientation": { "type": "double", "value": "0;-105.32693151021111" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ExternalTransition/299.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/292.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink/299.instance": "M665,769L432,674", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink/299.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/286.instance": "M432,674L305.0000000000002,620L268.00003756886326,485.0002629820424" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/ExternalTransitionLink" }, "300": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "statesLink" }, "position": { "type": "list", "value": [ 320.02734375, 357.75 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/states/300.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/285.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/300.instance": "M214.99999999999994,264L320.02734375,357.75", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/300.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/286.instance": "M320.08316874503157,357.79983076880126L364.053969748208,449.4993593170303" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink" }, "301": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "statesLink" }, "position": { "type": "list", "value": [ 445.859375, 357.75 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/states/301.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/285.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/301.instance": "M214.99999999999994,264L445.859375,357.75", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/301.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/290.instance": "M445.9981117921851,357.8063398140854L678.7178568437391,455.4996372969499" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink" }, "302": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "statesLink" }, "position": { "type": "list", "value": [ 368.359375, 407.75 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/states/302.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/285.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/302.instance": "M214.99999999999994,264L368.359375,407.75", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/302.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/291.instance": "M368.4139897151729,407.80119260107904L523.7182807560816,555.4995601585277" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink" }, "303": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "statesLink" }, "position": { "type": "list", "value": [ 477.53076374203573, 512.8532157650021 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/states/303.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/285.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/303.instance": "M214.99999999999994,264L477.5307637420358,512.8532157650021", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/303.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/292.instance": "M477.5305830138425,512.8530444525378L741.8432682358707,765.4995433352225" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink" }, "304": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "portsLink" }, "position": { "type": "list", "value": [ 1031.1422412383658, 552.0491378823444 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ports/304.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/285.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/304.instance": "M976,533L1031.1422412383658,552.0491378823444", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/304.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon/288.instance": "M1031.0709980502493,552.0245265991771L1114.9997548971874,468.9999153281193" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink" }, "305": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "portsLink" }, "position": { "type": "list", "value": [ 739.9468355566192, 306.8594939710652 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ports/305.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/285.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/305.instance": "M755,317L739.9468355566191,306.85949397106526", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/305.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InputPortIcon/287.instance": "M739.9734850325167,306.92992472879405L725.0001344802338,250.00035541204662" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink" }, "307": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "- ", "stroke-opacity": 1, "stroke-width": 1 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "statedefLink" }, "position": { "type": "list", "value": [ 599, 255.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-5,6.123031769111886e-15%", "0;-54.499724938978204,-100%" ] }, "orientation": { "type": "double", "value": "0;-90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/statedef/307.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/285.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statedefLink/307.instance": "M599,310L599,255.5", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statedefLink/307.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateDefinitionIcon/284.instance": "M599,255.42375002211176L599,201.0002750610218" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statedefLink" }, "308": { "typename": { "type": "string", "value": "AtomicDEVSIcon" }, "position": { "type": "list", "value": [ 1141.296, 268 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1.3282813879999995, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "$contents": { "type": "map", "value": { "nodes": { "14": { "width": { "type": "double", "value": 250 }, "height": { "type": "double", "value": 250 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 8, 28 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "16": { "textContent": { "type": "string", "value": "Policeman" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 8, 7 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/AtomicDEVS/308.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon" }, "309": { "typename": { "type": "string", "value": "StateDefinitionIcon" }, "position": { "type": "list", "value": [ 1196, 72 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "82": { "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 125 }, "cornerRadius": { "type": "double", "value": 10 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "orange", "fill-opacity": 0.75, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 4, 3 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "85": { "segments": { "type": "string", "value": "m0,0l197,0" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ 6, 36 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "86": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 53.75, 20 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "90": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar filenames = getAttr('attributes').map(\n function(attr)\n {\n var s = '+ '+attr['name'] + ' : ' + attr['type'];\n if (attr['default'])\n s += ' = ' + attr['default'];\n return s;\n });\n\n({'textContent': filenames.join('\\n')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 9, 41 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "92": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 18.1796875, 26 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "93": { "textContent": { "type": "string", "value": "PolicemanMode" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 8, 9 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "94": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 25.607941766118074, 12.053332982167333 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "82", "dest": "86" }, { "src": "86", "dest": "85" }, { "src": "82", "dest": "92" }, { "src": "92", "dest": "90" }, { "src": "82", "dest": "94" }, { "src": "94", "dest": "93" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/StateDefinition/309.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateDefinitionIcon" }, "310": { "typename": { "type": "string", "value": "OutputPortIcon" }, "position": { "type": "list", "value": [ 1370.5791057782928, 538 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': [getAttr('position')[0], getAttr('position')[1]]})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, "$contents": { "type": "map", "value": { "nodes": { "48": { "r": { "type": "double", "value": 7 }, "sides": { "type": "int", "value": 4 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "purple", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Polygon", "position": { "type": "list", "value": [ 4, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "50": { "textContent": { "type": "string", "value": "OUT" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/OutputPort/310.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon" }, "311": { "typename": { "type": "string", "value": "StateIcon" }, "position": { "type": "list", "value": [ 1213, 317 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "34": { "r": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 2, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar style = {\n \"stroke\": \"#000000\",\n \"stroke-dasharray\": \"\",\n \"fill\": \"#ffffff\",\n \"fill-opacity\": 0.75,\n \"font-size\": \"20px\",\n \"stroke-width\": 1,\n \"arrow-start\": \"none\",\n \"arrow-end\": \"none\"\n};\nif (getAttr('initial')) {\n style[\"stroke-width\"] = 2;\n}\n({'style': style})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "37": { "textContent": { "type": "string", "value": "idle" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "12px", "font-weight": "bold", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 5, 6 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "40": { "textContent": { "type": "string", "value": "return 200" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('time_advance').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 79, 57 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "42": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/clock.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 56, 53 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "44": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/arrow_up.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar width = 20,\n height = 20;\nif (getAttr('output') == \"\") {\n width = 0;\n height = 0;\n}\n({'width': width, 'height': height})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 55, 18 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "46": { "textContent": { "type": "string", "value": "return {\"OUT\": [\"toManual\"]}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('output').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 77, 23 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/State/311.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon" }, "312": { "typename": { "type": "string", "value": "StateIcon" }, "position": { "type": "list", "value": [ 1214, 444 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "34": { "r": { "type": "double", "value": 25 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar style = {\n \"stroke\": \"#000000\",\n \"stroke-dasharray\": \"\",\n \"fill\": \"#ffffff\",\n \"fill-opacity\": 0.75,\n \"font-size\": \"20px\",\n \"stroke-width\": 1,\n \"arrow-start\": \"none\",\n \"arrow-end\": \"none\"\n};\nif (getAttr('initial')) {\n style[\"stroke-width\"] = 2;\n}\n({'style': style})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "37": { "textContent": { "type": "string", "value": "working" }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "12px", "font-weight": "bold", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 5, 6 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "40": { "textContent": { "type": "string", "value": "return 100" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('time_advance').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 79, 57 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "42": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/clock.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 0.75, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 56, 53 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "44": { "src": { "type": "string", "value": "/Formalisms/ParallelDEVS/icons/arrow_up.png" }, "width": { "type": "double", "value": 20 }, "height": { "type": "double", "value": 20 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#ffffff", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar width = 20,\n height = 20;\nif (getAttr('output') == \"\") {\n width = 0;\n height = 0;\n}\n({'width': width, 'height': height})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Image", "position": { "type": "list", "value": [ 55, 18 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "46": { "textContent": { "type": "string", "value": "return {\"OUT\": [\"toAutonomous\"]}" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('output').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent })" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 77, 23 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/State/312.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon" }, "315": { "link-style": { "type": "map", "value": { "stroke": "blue", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "InternalTransitionLink" }, "position": { "type": "list", "value": [ 1181.9999999999998, 424.5672603082047 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "77": { "textContent": { "type": "string", "value": "[]" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-31.499999999999773,0%", "0;10.308445543634548,0%" ] }, "orientation": { "type": "double", "value": "0;-90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": -31.5 } } }, "78": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;2.5000000000002274,0%", "0;10.308445543634548,0%" ] }, "orientation": { "type": "double", "value": "0;-90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;32.6744802310227,81.37334712067343%", "0;-57.82178919724521,-58.123819371909725%" ] }, "orientation": { "type": "double", "value": "0;-35.53767779197444" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition/315.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/312.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/315.instance": "M1223,478L1182,444L1182,424.5672603082047", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/315.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/311.instance": "M1182,424.5672603082047L1182,395L1216.999433005899,370.0004049957864" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink" }, "316": { "link-style": { "type": "map", "value": { "stroke": "blue", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "InternalTransitionLink" }, "position": { "type": "list", "value": [ 1242, 428.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "77": { "textContent": { "type": "string", "value": "[]" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': '[' + textContent + ']'})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;31.5,0%", "0;-5.432682509904964,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": -31.5 } } }, "78": { "textContent": { "type": "string", "value": "" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('action').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ "0;-2.5,0%", "0;-5.432682509904964,0%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 0.4294478527607362, "yoffset": 2.5 } } }, "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;4,6.123031769111886e-15%", "0;38.49961072693554,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition/316.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/311.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/316.instance": "M1242,390L1242,428.5", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink/316.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/312.instance": "M1242,428.5767762705565L1242,466.99961072693554" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InternalTransitionLink" }, "317": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "statesLink" }, "position": { "type": "list", "value": [ 1237.0585765, 307.75 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/states/317.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/308.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/317.instance": "M1150.7265280000001,275L1237.0585765,307.75", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/317.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/311.instance": "M1237.1990292223184,307.80328063837067L1323.3900134488017,350.4997680084963" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink" }, "318": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "statesLink" }, "position": { "type": "list", "value": [ 1244.56248275, 371.25 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/states/318.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/308.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/318.instance": "M1150.7265280000001,275L1244.56248275,371.25", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink/318.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateIcon/312.instance": "M1244.6147677067884,371.30363005155425L1338.3977325322862,477.4992768961255" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statesLink" }, "319": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "portsLink" }, "position": { "type": "list", "value": [ 1398.3903867774238, 555.6096132225763 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ports/319.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/308.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/319.instance": "M1408,546L1398.3903867774238,555.6096132225763", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/319.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon/310.instance": "M1398.3903867774238,555.6096132225763L1389,565" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink" }, "320": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "- ", "stroke-opacity": 1, "stroke-width": 1 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "statedefLink" }, "position": { "type": "list", "value": [ 1325, 248 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "271": { "r": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle", "position": { "type": "list", "value": [ "0;-5.000000000000227,-4.601706385734539e-13%", "0;-48.99969408579756,-100%" ] }, "orientation": { "type": "double", "value": "0;-90.00000000000027" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -5 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/statedef/320.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/AtomicDEVSIcon/308.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statedefLink/320.instance": "M1325,297L1325,248", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statedefLink/320.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/StateDefinitionIcon/309.instance": "M1325,247.92360827492968L1324.9999999999998,199.00030591420241" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/statedefLink" }, "321": { "typename": { "type": "string", "value": "SimulationIcon" }, "position": { "type": "list", "value": [ 50, 75 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "65": { "width": { "type": "double", "value": 200 }, "height": { "type": "double", "value": 50 }, "cornerRadius": { "type": "double", "value": 0 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#2BAFD4", "fill-opacity": 0.5, "font-size": "20px", "stroke-width": 3, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 6, 5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "69": { "textContent": { "type": "string", "value": "return time >= 5000" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\nvar splitted = getAttr('end_condition').split('\\n'),\n textContent = \"\";\nif (splitted.length > 1) {\n textContent = \"...\\n\" + splitted[splitted.length - 1];\n} else if (splitted.length == 1) {\n textContent = splitted[0];\n}\n({'textContent': textContent})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 13, 13 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "72": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 21.31768296950213, 13.063635584495046 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "65", "dest": "72" }, { "src": "72", "dest": "69" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/Simulation/321.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/SimulationIcon" }, "323": { "typename": { "type": "string", "value": "CoupledDEVSIcon" }, "position": { "type": "list", "value": [ 1039, 818 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1.284, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "$contents": { "type": "map", "value": { "nodes": { "30": { "width": { "type": "double", "value": 250 }, "height": { "type": "double", "value": 250 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.07, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 8, 28 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "31": { "textContent": { "type": "string", "value": "Root" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "20px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 8, 7 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/CoupledDEVS/323.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/CoupledDEVSIcon" }, "324": { "typename": { "type": "string", "value": "DevsInstanceIcon" }, "position": { "type": "list", "value": [ 1240, 960 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "$contents": { "type": "map", "value": { "nodes": { "104": { "textContent": { "type": "string", "value": "trafficLight" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 15, 26 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "110": { "textContent": { "type": "string", "value": ":TrafficLight" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': ':' + getAttr('devs_type')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 33, 46 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "117": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 100 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.15, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 7, 4 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "119": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 22.791684421312993, 19.099999244142055 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "120": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 31.6796875, 29 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "117", "dest": "119" }, { "src": "119", "dest": "104" }, { "src": "117", "dest": "120" }, { "src": "120", "dest": "110" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/DevsInstance/324.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/DevsInstanceIcon" }, "325": { "typename": { "type": "string", "value": "DevsInstanceIcon" }, "position": { "type": "list", "value": [ 1065, 874 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position'), 'scale': getAttr('scale')})" }, "$contents": { "type": "map", "value": { "nodes": { "104": { "textContent": { "type": "string", "value": "policeman" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 15, 26 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "110": { "textContent": { "type": "string", "value": ":Policeman" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': ':' + getAttr('devs_type')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 33, 46 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "117": { "width": { "type": "double", "value": 100 }, "height": { "type": "double", "value": 100 }, "cornerRadius": { "type": "double", "value": 5 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 0.15, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle", "position": { "type": "list", "value": [ 7, 4 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "119": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 22.791684421312993, 19.099999244142055 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } }, "120": { "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain", "position": { "type": "list", "value": [ 31.6796875, 29 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "link-style": { "type": "map", "value": { "stroke": "#00ffff", "stroke-dasharray": "", "stroke-opacity": 0.1, "stroke-width": 1 } } } }, "edges": [ { "src": "117", "dest": "119" }, { "src": "119", "dest": "104" }, { "src": "117", "dest": "120" }, { "src": "120", "dest": "110" } ] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/DevsInstance/325.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/DevsInstanceIcon" }, "326": { "typename": { "type": "string", "value": "InputPortIcon" }, "position": { "type": "list", "value": [ 1284, 955 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': getAttr('position')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, "$contents": { "type": "map", "value": { "nodes": { "54": { "r": { "type": "double", "value": 7 }, "sides": { "type": "int", "value": 4 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "green", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Polygon", "position": { "type": "list", "value": [ 5, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "55": { "textContent": { "type": "string", "value": "INTERRUPT" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/InputPort/326.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InputPortIcon" }, "327": { "typename": { "type": "string", "value": "OutputPortIcon" }, "position": { "type": "list", "value": [ 1236, 1013 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': [getAttr('position')[0], getAttr('position')[1]]})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, "$contents": { "type": "map", "value": { "nodes": { "48": { "r": { "type": "double", "value": 7 }, "sides": { "type": "int", "value": 4 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "purple", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Polygon", "position": { "type": "list", "value": [ 4, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "50": { "textContent": { "type": "string", "value": "OBSERVED" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/OutputPort/327.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon" }, "330": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "submodelsLink" }, "position": { "type": "list", "value": [ 1149, 882.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/submodels/330.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/CoupledDEVSIcon/323.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/submodelsLink/330.instance": "M1118,825L1149,882.5", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/submodelsLink/330.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/DevsInstanceIcon/325.instance": "M1149.0713182872742,882.6322839199438L1117.9995602148385,903.9991842694584" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/submodelsLink" }, "331": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 0, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "submodelsLink" }, "position": { "type": "list", "value": [ 1165.761122559213, 902.5833333190592 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/submodels/331.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/CoupledDEVSIcon/323.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/submodelsLink/331.instance": "M1049.272,825L1165.761122559213,902.5833333190592", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/submodelsLink/331.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/DevsInstanceIcon/324.instance": "M1165.7609431720925,902.5832138448076L1295.9996413970325,969.999761165567" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/submodelsLink" }, "332": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "portsLink" }, "position": { "type": "list", "value": [ 1267.4673312924422, 788.3532208773105 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ports/332.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/DevsInstanceIcon/324.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/332.instance": "M1308,926L1267.4673312924422,788.3532208773105", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/332.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InputPortIcon/326.instance": "M1267.4837257711417,788.4268805773829L1228.0001802687275,622.0008099397749" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink" }, "334": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "portsLink" }, "position": { "type": "list", "value": [ 1106.5, 1028 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ports/334.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/DevsInstanceIcon/324.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/334.instance": "M1254,1006L1106.5,1028", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/334.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon/327.instance": "M1106.4242605665502,1028L965.0009467036011,1001" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink" }, "335": { "typename": { "type": "string", "value": "OutputPortIcon" }, "position": { "type": "list", "value": [ 1161, 906 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'position': [getAttr('position')[0], getAttr('position')[1]]})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'position': getAttr('position')})" }, "$contents": { "type": "map", "value": { "nodes": { "48": { "r": { "type": "double", "value": 7 }, "sides": { "type": "int", "value": 4 }, "style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "fill": "purple", "fill-opacity": 1, "font-size": "20px", "stroke-width": 1, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Polygon", "position": { "type": "list", "value": [ 4, 1 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } }, "50": { "textContent": { "type": "string", "value": "OUT" }, "style": { "type": "map", "value": { "stroke": "#ffffff", "stroke-dasharray": "", "fill": "#000000", "fill-opacity": 1, "font-size": "12px", "stroke-width": 0, "arrow-start": "none", "arrow-end": "none" } }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */\n({'name': getAttr('textContent')})" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text", "position": { "type": "list", "value": [ 4, 21 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/OutputPort/335.instance" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon" }, "336": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "", "stroke-opacity": 1, "stroke-width": 0 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "portsLink" }, "position": { "type": "list", "value": [ 1285.5, 886.5 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": {}, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/ports/336.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/DevsInstanceIcon/325.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/336.instance": "M1166,895L1285.5,886.5", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink/336.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon/335.instance": "M1285.649748919137,886.4893484032413L1250.999498188057,894.0000356937365" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/portsLink" }, "337": { "link-style": { "type": "map", "value": { "stroke": "#000000", "stroke-dasharray": "- ", "stroke-opacity": 1, "stroke-width": 2 } }, "arrowHead": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "custom" }, "arrowTail": { "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)", "value": "arrow-black" }, "typename": { "type": "string", "value": "channelLink" }, "position": { "type": "list", "value": [ 1256.538413907066, 914 ] }, "orientation": { "type": "double", "value": 0 }, "scale": { "type": "list", "value": [ 1, 1 ] }, "mapper": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$contents": { "type": "map", "value": { "nodes": { "267": { "segments": { "type": "string", "value": "m0,0 l10,4 l-10,4 l3,-4 z" }, "style": { "type": "map", "value": { "stroke": "#000000", "fill": "#000000", "opacity": 1, "stroke-width": 1 } }, "mapper": { "type": "code", "value": "" }, "parser": { "type": "code", "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */" }, "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path", "position": { "type": "list", "value": [ "0;42.46158609293411,6.123031769111886e-15%", "0;45.999348771266455,100%" ] }, "orientation": { "type": "double", "value": "0;90" }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$linkDecoratorInfo": { "type": "map", "value": { "xratio": 1, "yoffset": -4 } } } }, "edges": [] } }, "$asuri": { "type": "string", "value": "/Formalisms/ParallelDEVS/ParallelDEVS/channel/337.instance" }, "$segments": { "type": "map>", "value": { "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/OutputPortIcon/335.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/channelLink/337.instance": "M1172,914L1256.538413907066,914", "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/channelLink/337.instance--/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/InputPortIcon/326.instance": "M1256.538413907066,914L1295,914L1295,959.9993487712665" } }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons/channelLink" } }, "edges": [], "metamodels": [ "/Formalisms/ParallelDEVS/ParallelDEVS.defaultIcons", "/Formalisms/__LanguageSyntax__/SimpleClassDiagram/SimpleClassDiagram.umlIcons" ] }, "asm": { "nodes": { "284": { "name": { "type": "string", "value": "TrafficLightMode" }, "attributes": { "type": "list<$ATTRIBUTE>", "value": [ { "name": "time", "type": "float", "default": 0 } ] }, "parameters": { "type": "list<$ARG>", "value": [ { "name": "time", "type": "float" } ] }, "initial_binding": { "type": "list>", "value": [ { "name": "time", "val": 0 } ] }, "__init__": { "type": "code", "value": "self.time = time" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/StateDefinition" }, "285": { "name": { "type": "string", "value": "TrafficLight" }, "attributes": { "type": "list<$ATTRIBUTE>", "value": [] }, "parameters": { "type": "list<$ARG>", "value": [] }, "__init__": { "type": "code", "value": "" }, "position": { "type": "list", "value": [ 175.4147879168, 248.7197 ] }, "scale": { "type": "list", "value": [ 3.1010908483327992, 2.1829 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/AtomicDEVS" }, "286": { "name": { "type": "string", "value": "red" }, "initial": { "type": "bool", "value": true }, "time_advance": { "type": "code", "value": "return 60" }, "output": { "type": "code", "value": "return {\"OBSERVED\": [\"grey\"]}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/State" }, "287": { "name": { "type": "string", "value": "INTERRUPT" }, "position": { "type": "list", "value": [ 697.181053853721, 301.95985241 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/InputPort" }, "288": { "name": { "type": "string", "value": "OBSERVED" }, "position": { "type": "list", "value": [ 963.8685538537209, 507.24015240999995 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/OutputPort" }, "290": { "name": { "type": "string", "value": "green" }, "initial": { "type": "bool", "value": false }, "time_advance": { "type": "code", "value": "return 50" }, "output": { "type": "code", "value": "return {\"OBSERVED\": [\"yellow\"]}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/State" }, "291": { "name": { "type": "string", "value": "yellow" }, "initial": { "type": "bool", "value": false }, "time_advance": { "type": "code", "value": "return 10" }, "output": { "type": "code", "value": "return {\"OBSERVED\": [\"grey\"]}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/State" }, "292": { "name": { "type": "string", "value": "manual" }, "initial": { "type": "bool", "value": false }, "time_advance": { "type": "code", "value": "return INFINITY" }, "output": { "type": "code", "value": "" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/State" }, "293": { "condition": { "type": "code", "value": "" }, "action": { "type": "code", "value": "return {'time': self.state.time + self.timeAdvance()}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition" }, "294": { "condition": { "type": "code", "value": "" }, "action": { "type": "code", "value": "return {'time': self.state.time + self.timeAdvance()}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition" }, "295": { "condition": { "type": "code", "value": "" }, "action": { "type": "code", "value": "return {'time': self.state.time + self.timeAdvance()}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition" }, "296": { "condition": { "type": "code", "value": "return inputs['INTERRUPT'][0] == 'toManual'" }, "action": { "type": "code", "value": "return {'time': self.state.time + self.elapsed}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ExternalTransition" }, "297": { "condition": { "type": "code", "value": "return inputs['INTERRUPT'][0] == 'toManual'" }, "action": { "type": "code", "value": "return {'time': self.state.time + self.elapsed}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ExternalTransition" }, "298": { "condition": { "type": "code", "value": "return inputs['INTERRUPT'][0] == 'toManual'" }, "action": { "type": "code", "value": "return {'time': self.state.time + self.elapsed}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ExternalTransition" }, "299": { "condition": { "type": "code", "value": "return inputs['INTERRUPT'][0] == 'toAutonomous'" }, "action": { "type": "code", "value": "return {'time': self.state.time + self.elapsed}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ExternalTransition" }, "300": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/states" }, "301": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/states" }, "302": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/states" }, "303": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/states" }, "304": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ports" }, "305": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ports" }, "307": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/statedef" }, "308": { "name": { "type": "string", "value": "Policeman" }, "attributes": { "type": "list<$ATTRIBUTE>", "value": [] }, "parameters": { "type": "list<$ARG>", "value": [] }, "__init__": { "type": "code", "value": "" }, "position": { "type": "list", "value": [ 1141.296, 268 ] }, "scale": { "type": "list", "value": [ 1.3282813879999995, 1 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/AtomicDEVS" }, "309": { "name": { "type": "string", "value": "PolicemanMode" }, "attributes": { "type": "list<$ATTRIBUTE>", "value": [] }, "parameters": { "type": "list<$ARG>", "value": [] }, "initial_binding": { "type": "list>", "value": [] }, "__init__": { "type": "code", "value": "" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/StateDefinition" }, "310": { "name": { "type": "string", "value": "OUT" }, "position": { "type": "list", "value": [ 1370.5791057782928, 538 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/OutputPort" }, "311": { "name": { "type": "string", "value": "idle" }, "initial": { "type": "bool", "value": true }, "time_advance": { "type": "code", "value": "return 200" }, "output": { "type": "code", "value": "return {\"OUT\": [\"toManual\"]}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/State" }, "312": { "name": { "type": "string", "value": "working" }, "initial": { "type": "bool", "value": false }, "time_advance": { "type": "code", "value": "return 100" }, "output": { "type": "code", "value": "return {\"OUT\": [\"toAutonomous\"]}" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/State" }, "315": { "condition": { "type": "code", "value": "" }, "action": { "type": "code", "value": "" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition" }, "316": { "condition": { "type": "code", "value": "" }, "action": { "type": "code", "value": "" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/InternalTransition" }, "317": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/states" }, "318": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/states" }, "319": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ports" }, "320": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/statedef" }, "321": { "end_condition": { "type": "code", "value": "return time >= 5000" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/Simulation" }, "323": { "name": { "type": "string", "value": "Root" }, "attributes": { "type": "list<$ATTRIBUTE>", "value": [] }, "parameters": { "type": "list<$ARG>", "value": [] }, "__init__": { "type": "code", "value": "" }, "position": { "type": "list", "value": [ 1039, 818 ] }, "scale": { "type": "list", "value": [ 1.284, 1 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/CoupledDEVS" }, "324": { "name": { "type": "string", "value": "trafficLight" }, "devs_type": { "type": "string", "value": "TrafficLight" }, "parameter_binding": { "type": "list>", "value": [] }, "position": { "type": "list", "value": [ 1240, 960 ] }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/DevsInstance" }, "325": { "name": { "type": "string", "value": "policeman" }, "devs_type": { "type": "string", "value": "Policeman" }, "parameter_binding": { "type": "list>", "value": [] }, "position": { "type": "list", "value": [ 1065, 874 ] }, "scale": { "type": "list", "value": [ 1, 1 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/DevsInstance" }, "326": { "name": { "type": "string", "value": "INTERRUPT" }, "position": { "type": "list", "value": [ 1284, 955 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/InputPort" }, "327": { "name": { "type": "string", "value": "OBSERVED" }, "position": { "type": "list", "value": [ 1236, 1013 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/OutputPort" }, "330": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/submodels" }, "331": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/submodels" }, "332": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ports" }, "334": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ports" }, "335": { "name": { "type": "string", "value": "OUT" }, "position": { "type": "list", "value": [ 1161, 906 ] }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/OutputPort" }, "336": { "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/ports" }, "337": { "transfer_function": { "type": "code", "value": "" }, "$type": "/Formalisms/ParallelDEVS/ParallelDEVS/channel" } }, "edges": [ { "src": "286", "dest": "293" }, { "src": "293", "dest": "290" }, { "src": "290", "dest": "294" }, { "src": "294", "dest": "291" }, { "src": "291", "dest": "295" }, { "src": "295", "dest": "286" }, { "src": "290", "dest": "296" }, { "src": "296", "dest": "292" }, { "src": "291", "dest": "297" }, { "src": "297", "dest": "292" }, { "src": "286", "dest": "298" }, { "src": "298", "dest": "292" }, { "src": "292", "dest": "299" }, { "src": "299", "dest": "286" }, { "src": "285", "dest": "300" }, { "src": "300", "dest": "286" }, { "src": "285", "dest": "301" }, { "src": "301", "dest": "290" }, { "src": "285", "dest": "302" }, { "src": "302", "dest": "291" }, { "src": "285", "dest": "303" }, { "src": "303", "dest": "292" }, { "src": "285", "dest": "304" }, { "src": "304", "dest": "288" }, { "src": "285", "dest": "305" }, { "src": "305", "dest": "287" }, { "src": "285", "dest": "307" }, { "src": "307", "dest": "284" }, { "src": "312", "dest": "315" }, { "src": "315", "dest": "311" }, { "src": "311", "dest": "316" }, { "src": "316", "dest": "312" }, { "src": "308", "dest": "317" }, { "src": "317", "dest": "311" }, { "src": "308", "dest": "318" }, { "src": "318", "dest": "312" }, { "src": "308", "dest": "319" }, { "src": "319", "dest": "310" }, { "src": "308", "dest": "320" }, { "src": "320", "dest": "309" }, { "src": "323", "dest": "330" }, { "src": "330", "dest": "325" }, { "src": "323", "dest": "331" }, { "src": "331", "dest": "324" }, { "src": "324", "dest": "332" }, { "src": "332", "dest": "326" }, { "src": "324", "dest": "334" }, { "src": "334", "dest": "327" }, { "src": "325", "dest": "336" }, { "src": "336", "dest": "335" }, { "src": "335", "dest": "337" }, { "src": "337", "dest": "326" } ], "metamodels": [ "/Formalisms/ParallelDEVS/ParallelDEVS", "/Formalisms/__LanguageSyntax__/SimpleClassDiagram/SimpleClassDiagram" ] } }