diff --git a/glsp-client/workspace/DiNeROSNet.pnml b/glsp-client/workspace/DiNeROSNet.pnml new file mode 100644 index 0000000000000000000000000000000000000000..c1a3ef5447aab0907ebbeab5f09e1b5c0ec50658 --- /dev/null +++ b/glsp-client/workspace/DiNeROSNet.pnml @@ -0,0 +1,275 @@ +<?xml version="1.0" encoding="UTF-8"?> +<pnml xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns="http://www.pnml.org/version-2009/grammar/pnml"> + <net id="example"> + <page id="b620d456-1c1f-4c04-a5ad-779a04e28a13"> + <name text="NewPage0"/> + <nodegraphics> + <position x="136" y="6"/> + <dimension x="2286" y="1387"/> + </nodegraphics> + <transition id="4c7d3c57-0863-4e9d-92b3-12857a3244d9"> + <name text="ServiceY"/> + <nodegraphics> + <position x="643" y="596"/> + <dimension x="100" y="150"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" type="serviceTransitionType" serviceName="ServiceY" serverInput="9b0ca9c2-f6f9-4d0d-aa84-a210a18ca59a" serverOutput="3c96fec0-1416-4c29-9481-4e869b53f675" serverCapacity="0"> + <channels> + <channel cid="Channel1" request="14b8f3e6-4c86-4676-a997-34716998598e" response="f0688ce5-38d8-4bac-afd5-8c73c128ad73"/> + </channels> + </toolspecific> + </transition> + <transition id="93ce4bc1-0a48-497b-bc58-230ffc1b83be"> + <name text="TopicX"/> + <nodegraphics> + <position x="796" y="189"/> + <dimension x="100" y="150"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" type="topicTransitionType" topicName="TopicX"> + <publishers> + <publisher id="d7187af8-a556-4e86-9837-bfbe0759b86e" limit="10"/> + </publishers> + <subscribers> + <subscriber id="cfda6f51-c2cf-4108-95ea-f5175685222c" limit="10"/> + </subscribers> + </toolspecific> + </transition> + <page id="0e033a93-24ec-4b12-b652-fc227daa7fcb"> + <name text="NodePageA"/> + <nodegraphics> + <position x="162" y="100"/> + <dimension x="455" y="341"/> + </nodegraphics> + <arc id="cf5e73f8-d305-44f8-aef1-d236be3cb4a2" source="f0f19373-5b86-460e-a390-f31de62a5318" target="256d65a6-a05d-43f5-9304-33ad0480e428"> + <name text="NewArc0"/> + </arc> + <arc id="ae705c6c-6d7b-45a2-888a-973c3cca283c" source="256d65a6-a05d-43f5-9304-33ad0480e428" target="d7187af8-a556-4e86-9837-bfbe0759b86e"> + <name text="NewArc1"/> + </arc> + <arc id="c0c397c4-d799-42a5-a3fa-34c4cbefbbe6" source="717530f1-8c57-44af-aeb6-c09472a0f357" target="6e2f2c0f-cdd6-4459-a17e-84e769230f6c"> + <name text="NewArc8"/> + <inscription text="1"/> + </arc> + <arc id="8974e722-24f0-468f-b7ea-f4a548e3ac58" source="6e2f2c0f-cdd6-4459-a17e-84e769230f6c" target="2bfeb487-8fc2-4df5-9432-c94177cd9307"> + <name text="NewArc9"/> + </arc> + <place id="f0f19373-5b86-460e-a390-f31de62a5318" OutArcs="cf5e73f8-d305-44f8-aef1-d236be3cb4a2"> + <name text="Pa1"/> + <nodegraphics> + <position x="36" y="50"/> + <dimension x="70" y="70"/> + </nodegraphics> + <initialMarking text="2"/> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="0e033a93-24ec-4b12-b652-fc227daa7fcb" subnet=""> + <balloonMarking> + <tokens> + <token>a</token> + <token>b</token> + </tokens> + </balloonMarking> + </toolspecific> + </place> + <place id="d7187af8-a556-4e86-9837-bfbe0759b86e" InArcs="ae705c6c-6d7b-45a2-888a-973c3cca283c"> + <name text="Pa2"/> + <nodegraphics> + <position x="354" y="50"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="0e033a93-24ec-4b12-b652-fc227daa7fcb" subnet=""/> + </place> + <place id="717530f1-8c57-44af-aeb6-c09472a0f357" OutArcs="c0c397c4-d799-42a5-a3fa-34c4cbefbbe6"> + <name text="Pa3"/> + <nodegraphics> + <position x="41" y="190"/> + <dimension x="70" y="70"/> + </nodegraphics> + <initialMarking text="0"/> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="0e033a93-24ec-4b12-b652-fc227daa7fcb" subnet=""> + <balloonMarking> + <tokens/> + </balloonMarking> + </toolspecific> + </place> + <place id="2bfeb487-8fc2-4df5-9432-c94177cd9307" InArcs="8974e722-24f0-468f-b7ea-f4a548e3ac58"> + <name text="Pa4"/> + <nodegraphics> + <position x="349" y="189"/> + <dimension x="70" y="70"/> + </nodegraphics> + <initialMarking text="0"/> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="0e033a93-24ec-4b12-b652-fc227daa7fcb" subnet=""> + <balloonMarking> + <tokens/> + </balloonMarking> + </toolspecific> + </place> + <transition id="256d65a6-a05d-43f5-9304-33ad0480e428" InArcs="cf5e73f8-d305-44f8-aef1-d236be3cb4a2" OutArcs="ae705c6c-6d7b-45a2-888a-973c3cca283c"> + <name text="Ta1"/> + <nodegraphics> + <position x="208" y="50"/> + <dimension x="30" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" type="discreteTransitionType" node="0e033a93-24ec-4b12-b652-fc227daa7fcb" subnet="" inputsignalclause="Red AND Blue"/> + </transition> + <transition id="6e2f2c0f-cdd6-4459-a17e-84e769230f6c" InArcs="c0c397c4-d799-42a5-a3fa-34c4cbefbbe6" OutArcs="8974e722-24f0-468f-b7ea-f4a548e3ac58"> + <name text="Ta2"/> + <nodegraphics> + <position x="208" y="189"/> + <dimension x="30" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" type="discreteTransitionType" node="0e033a93-24ec-4b12-b652-fc227daa7fcb" subnet="" inputsignalclause="Blue"/> + </transition> + </page> + <page id="28af6d8b-5a40-4f0b-a2ea-d7c1070e5728"> + <name text="NodePageC"/> + <nodegraphics> + <position x="182" y="497"/> + <dimension x="289" y="321"/> + </nodegraphics> + <place id="14b8f3e6-4c86-4676-a997-34716998598e"> + <name text="Pc1"/> + <nodegraphics> + <position x="104" y="28"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="28af6d8b-5a40-4f0b-a2ea-d7c1070e5728" subnet=""/> + </place> + <place id="f0688ce5-38d8-4bac-afd5-8c73c128ad73"> + <name text="Pc2"/> + <nodegraphics> + <position x="102" y="164"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="28af6d8b-5a40-4f0b-a2ea-d7c1070e5728" subnet=""/> + </place> + </page> + <page id="74c18b25-873e-46bb-bc5a-53ea3bd5b382"> + <name text="ServerF"/> + <nodegraphics> + <position x="981" y="512"/> + <dimension x="440" y="337"/> + </nodegraphics> + <arc id="ab470e24-4d55-49e7-92d7-b33f30bef2ce" source="9b0ca9c2-f6f9-4d0d-aa84-a210a18ca59a" target="4b6cab06-a551-411f-b72f-d8a327e87bc9"> + <name text="NewArc2"/> + </arc> + <arc id="3a4effe3-2962-4c4c-a78c-e0c56142c8cb" source="4b6cab06-a551-411f-b72f-d8a327e87bc9" target="dcaf6106-41af-440b-a699-86fa00f5098d"> + <name text="NewArc11"/> + </arc> + <arc id="3e484531-f63f-4574-b79f-7b69677a16cf" source="dcaf6106-41af-440b-a699-86fa00f5098d" target="c0c735f0-e832-4005-a3e2-8ac1ae0790d0"> + <name text="NewArc12"/> + </arc> + <arc id="070ec34d-d256-4e1b-b263-3e8c27c12e5a" source="c0c735f0-e832-4005-a3e2-8ac1ae0790d0" target="3c96fec0-1416-4c29-9481-4e869b53f675"> + <name text="NewArc13"/> + </arc> + <place id="9b0ca9c2-f6f9-4d0d-aa84-a210a18ca59a" OutArcs="ab470e24-4d55-49e7-92d7-b33f30bef2ce"> + <name text="Pf1"/> + <nodegraphics> + <position x="55" y="27"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="74c18b25-873e-46bb-bc5a-53ea3bd5b382" subnet=""/> + </place> + <place id="3c96fec0-1416-4c29-9481-4e869b53f675" InArcs="070ec34d-d256-4e1b-b263-3e8c27c12e5a"> + <name text="Pf3"/> + <nodegraphics> + <position x="49" y="190"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="74c18b25-873e-46bb-bc5a-53ea3bd5b382" subnet=""/> + </place> + <place id="dcaf6106-41af-440b-a699-86fa00f5098d" InArcs="3a4effe3-2962-4c4c-a78c-e0c56142c8cb" OutArcs="3e484531-f63f-4574-b79f-7b69677a16cf"> + <name text="Pf2"/> + <nodegraphics> + <position x="282" y="27"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="74c18b25-873e-46bb-bc5a-53ea3bd5b382" subnet=""/> + </place> + <transition id="4b6cab06-a551-411f-b72f-d8a327e87bc9" InArcs="ab470e24-4d55-49e7-92d7-b33f30bef2ce" OutArcs="3a4effe3-2962-4c4c-a78c-e0c56142c8cb"> + <name text="Tf1"/> + <nodegraphics> + <position x="187" y="27"/> + <dimension x="30" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" type="discreteTransitionType" node="74c18b25-873e-46bb-bc5a-53ea3bd5b382" subnet=""/> + </transition> + <transition id="c0c735f0-e832-4005-a3e2-8ac1ae0790d0" InArcs="3e484531-f63f-4574-b79f-7b69677a16cf" OutArcs="070ec34d-d256-4e1b-b263-3e8c27c12e5a"> + <name text="Tf2"/> + <nodegraphics> + <position x="305" y="190"/> + <dimension x="30" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" type="discreteTransitionType" node="74c18b25-873e-46bb-bc5a-53ea3bd5b382" subnet=""/> + </transition> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" type="serverPrototype" serviceName="ServerF"/> + </page> + <page id="1f38c72b-f846-4cc3-b44c-f457c792ab23"> + <name text="NodePageB"/> + <nodegraphics> + <position x="1053" y="191"/> + <dimension x="456" y="215"/> + </nodegraphics> + <arc id="3ae63869-874e-4d77-a2c1-df8de9e246b9" source="cfda6f51-c2cf-4108-95ea-f5175685222c" target="bb2afd13-950b-4647-887d-54e395970f91"> + <name text="NewArc6"/> + </arc> + <arc id="596b0d0f-48dc-48c8-863d-6c0e1fa61713" source="bb2afd13-950b-4647-887d-54e395970f91" target="9973284c-78d0-4231-b8d7-38c137a003cf"> + <name text="NewArc7"/> + </arc> + <place id="cfda6f51-c2cf-4108-95ea-f5175685222c" OutArcs="3ae63869-874e-4d77-a2c1-df8de9e246b9"> + <name text="Pb1"/> + <nodegraphics> + <position x="46" y="50"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="1f38c72b-f846-4cc3-b44c-f457c792ab23" subnet=""/> + </place> + <place id="9973284c-78d0-4231-b8d7-38c137a003cf" InArcs="596b0d0f-48dc-48c8-863d-6c0e1fa61713"> + <name text="Pb2"/> + <nodegraphics> + <position x="307" y="50"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="1f38c72b-f846-4cc3-b44c-f457c792ab23" subnet=""/> + </place> + <transition id="bb2afd13-950b-4647-887d-54e395970f91" InArcs="3ae63869-874e-4d77-a2c1-df8de9e246b9" OutArcs="596b0d0f-48dc-48c8-863d-6c0e1fa61713"> + <name text="Tb1"/> + <nodegraphics> + <position x="198" y="50"/> + <dimension x="30" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" type="discreteTransitionType" node="1f38c72b-f846-4cc3-b44c-f457c792ab23" subnet=""/> + </transition> + </page> + <page id="7a772423-c775-495d-ac01-001e23017b40"> + <name text="NodePageD"/> + <nodegraphics> + <position x="187" y="851"/> + <dimension x="270" y="283"/> + </nodegraphics> + <place id="4b4781ff-1b78-4d9d-b92e-9afe39e72bb2"> + <name text="Pd1"/> + <nodegraphics> + <position x="90" y="28"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="7a772423-c775-495d-ac01-001e23017b40" subnet=""/> + </place> + <place id="a1d0b04f-de7e-406b-8df6-5f18dcb390a1"> + <name text="Pd2"/> + <nodegraphics> + <position x="91" y="149"/> + <dimension x="70" y="70"/> + </nodegraphics> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1" node="7a772423-c775-495d-ac01-001e23017b40" subnet=""/> + </place> + </page> + </page> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <inputsignals> + <inputsignal inputsignalID="Red"/> + <inputsignal inputsignalID="Blue"/> + <inputsignal inputsignalID="Green"/> + </inputsignals> + </toolspecific> + </net> +</pnml> diff --git a/videos/1.mp4 b/videos/1.mp4 new file mode 100644 index 0000000000000000000000000000000000000000..e2af1c1400c820becc7ed40cd5f3e15cc3a7e51e Binary files /dev/null and b/videos/1.mp4 differ diff --git a/videos/2.mp4 b/videos/2.mp4 new file mode 100644 index 0000000000000000000000000000000000000000..6a40c337da0154cadbc88c1e18c589077abbb57b Binary files /dev/null and b/videos/2.mp4 differ diff --git a/videos/3.mp4 b/videos/3.mp4 new file mode 100644 index 0000000000000000000000000000000000000000..9159c5e497ed12af81444766cab25f3af016458e Binary files /dev/null and b/videos/3.mp4 differ