Select Git revision
CMakeLists.txt
model-top-overflow.pnml 27.40 KiB
<?xml version="1.0" encoding="UTF-8"?>
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
<net id="ModelTop" type="http://www.pnml.org/version-2009/grammar/ptnet">
<name>
<text>ModelTop</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<inputsignals>
<inputsignal>
<inputsignalID>Red</inputsignalID>
<initialvalue>false</initialvalue>
</inputsignal>
<inputsignal>
<inputsignalID>Blue</inputsignalID>
<initialvalue>false</initialvalue>
</inputsignal>
<inputsignal>
<inputsignalID>Green</inputsignalID>
<initialvalue>false</initialvalue>
</inputsignal>
</inputsignals>
</toolspecific>
<page id="top">
<page id="SelectorPage">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>nodePage</type>
</toolspecific>
<place id="ObjectPoolRed">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorRed</subnet>
<balloonMarking>
<tokens>
<token>{"color" : "green", "name" : "green1", "pickSuccess" : "false", "placeSuccess" : "false",
"humanDetected" : "false", "sensorData" : "", "trace" : "", "locked" : "false" } </token>
</tokens>
</balloonMarking>
</toolspecific>
<initialMarking>
<text>1</text>
</initialMarking>
<name>
<text>ObjectPoolRed</text>
</name>
</place>
<place id="ObjectPoolBlue">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorBlue</subnet>
<balloonMarking>
<tokens>
<token>{"color" : "blue", "name" : "blue1", "pickSuccess" : "false", "placeSuccess" : "false",
"humanDetected" : "false", "sensorData" : "", "trace" : "", "locked" : "false" } </token>
</tokens>
</balloonMarking>
</toolspecific>
<initialMarking>
<text>1</text>
</initialMarking>
<name>
<text>ObjectPoolBlue</text>
</name>
</place>
<place id="ObjectPoolGreen">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorGreen</subnet>
<balloonMarking>
<tokens>
<token>{"color" : "red", "name" : "red1", "pickSuccess" : "false", "placeSuccess" : "false", "humanDetected" : "false", "sensorData" : "", "trace" : "", "locked" : "false" } </token>
</tokens>
</balloonMarking>
</toolspecific>
<initialMarking>
<text>1</text>
</initialMarking>
<name>
<text>ObjectPoolGreen</text>
</name>
</place>
<transition id="SortRed">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorRed</subnet>
<type>discreteTransitionType</type>
<inputsignalclause>(Red)</inputsignalclause>
</toolspecific>
<name>
<text>SortRed</text>
</name>
</transition>
<transition id="SortBlue">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorBlue</subnet>
<type>discreteTransitionType</type>
<inputsignalclause>(Blue)</inputsignalclause>
</toolspecific>
<name>
<text>SortBlue</text>
</name>
</transition>
<transition id="SortGreen">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorGreen</subnet>
<type>discreteTransitionType</type>
<inputsignalclause>(Green)</inputsignalclause>
</toolspecific>
<name>
<text>SortGreen</text>
</name>
</transition>
<place id="RedOut">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorRed</subnet>
</toolspecific>
<name>
<text>RedOut</text>
</name>
</place>
<place id="BlueOut">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorBlue</subnet>
</toolspecific>
<name>
<text>BlueOut</text>
</name>
</place>
<place id="GreenOut">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>selector</node>
<subnet>selectorGreen</subnet>
</toolspecific>
<name> <text>GreenOut</text>
</name>
</place>
<arc id="a1" source="SortRed" target="RedOut">
</arc>
<arc id="a2" source="SortBlue" target="BlueOut">
</arc>
<arc id="a3" source="SortGreen" target="GreenOut">
</arc>
<arc id="a4" source="ObjectPoolRed" target="SortRed">
</arc>
<arc id="a5" source="ObjectPoolBlue" target="SortBlue">
</arc>
<arc id="a6" source="ObjectPoolGreen" target="SortGreen">
</arc>
</page>
<transition id="LeftCellTopic">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>topicTransitionType</type>
<topicName>LeftCellTopic</topicName>
<publishers>
<publisher>
<id>RedOut</id>
<limit>10</limit>
</publisher>
<publisher>
<id>BlueOut</id>
<limit>10</limit>
</publisher>
</publishers>
<subscribers>
<subscriber>
<id>L-AwaitingControl</id>
<limit>1</limit>
</subscriber>
</subscribers>
</toolspecific>
<name>
<text>LeftCellTopic</text>
</name>
</transition>
<transition id="RightCellTopic">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>topicTransitionType</type>
<topicName>RightCellTopic</topicName>
<publishers>
<publisher>
<id>GreenOut</id>
<limit>10</limit>
</publisher>
</publishers>
<subscribers>
<subscriber>
<id>R-AwaitingControl</id>
<limit>10</limit>
</subscriber>
</subscribers>
</toolspecific>
<name>
<text>RightCellTopic</text>
</name>
</transition>
<transition id="UITopic">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>topicTransitionType</type>
<topicName>UITopic</topicName>
<publishers> <publisher>
<id>L-Done</id>
<limit>10</limit>
</publisher>
<publisher>
<id>R-Done</id>
<limit>10</limit>
</publisher>
</publishers>
<subscribers>
<subscriber>
<id>FeedbackIn</id>
<limit>10</limit>
</subscriber>
</subscribers>
</toolspecific>
<name>
<text>UITopic</text>
</name>
</transition>
<page id="LeftControllerPage">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>nodePage</type>
</toolspecific>
<place id="L-AwaitingControl">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>LC1</subnet>
</toolspecific>
<name>
<text>L-AwaitingControl</text>
</name>
</place>
<place id="L-Ready">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>LC1</subnet>
</toolspecific>
<name>
<text>L-Ready</text>
</name>
</place>
<place id="L-ObjectPicked">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>LC1</subnet>
</toolspecific>
<name>
<text>L-ObjectPicked</text>
</name>
</place>
<place id="L-ObjectPlaced">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>LC1</subnet>
</toolspecific>
<name>
<text>L-ObjectPlaced</text>
</name>
</place>
<place id="L-Done">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>LC1</subnet>
</toolspecific>
<name>
<text>L-Done</text>
</name> </place>
<transition id="L-Pick">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>LC1</subnet>
<type>discreteTransitionType</type>
<inputsignalclause></inputsignalclause>
</toolspecific>
<name>
<text>L-Pick</text>
</name>
</transition>
<transition id="L-Place">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>LC1</subnet>
<type>discreteTransitionType</type>
<inputsignalclause></inputsignalclause>
</toolspecific>
<name>
<text>L-Place</text>
</name>
</transition>
<arc id="at1" source="L-Ready" target="L-Pick">
</arc>
<arc id="at2" source="L-Pick" target="L-ObjectPicked">
</arc>
<arc id="at3" source="L-ObjectPicked" target="L-Place">
</arc>
<arc id="at4" source="L-Place" target="L-ObjectPlaced">
</arc>
</page>
<page id="RightControllerPage">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>nodePage</type>
</toolspecific>
<place id="R-AwaitingControl">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>RightController</node>
<subnet>RC1</subnet>
</toolspecific>
<name>
<text>R-AwaitingControl</text>
</name>
</place>
<place id="R-Ready">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>RightController</node>
<subnet>RC1</subnet>
</toolspecific>
<name>
<text>R-Ready</text>
</name>
</place>
<place id="R-ObjectPicked">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>RightController</node>
<subnet>RC1</subnet>
</toolspecific>
<name>
<text>R-ObjectPicked</text>
</name>
</place>
<place id="R-ObjectPlaced">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>RightController</node> <subnet>RC1</subnet>
</toolspecific>
<name>
<text>R-ObjectPlaced</text>
</name>
</place>
<place id="R-Done">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>RightController</node>
<subnet>RC1</subnet>
</toolspecific>
<name>
<text>R-Done</text>
</name>
</place>
<transition id="R-Pick">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>RC1</subnet>
<type>discreteTransitionType</type>
<inputsignalclause></inputsignalclause>
</toolspecific>
<name>
<text>R-Pick</text>
</name>
</transition>
<transition id="R-Place">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>LeftController</node>
<subnet>RC1</subnet>
<type>discreteTransitionType</type>
<inputsignalclause></inputsignalclause>
</toolspecific>
<name>
<text>R-Place</text>
</name>
</transition>
<arc id="at5" source="R-Ready" target="R-Pick">
</arc>
<arc id="at6" source="R-Pick" target="R-ObjectPicked">
</arc>
<arc id="at7" source="R-ObjectPicked" target="R-Place">
</arc>
<arc id="at8" source="R-Place" target="R-ObjectPlaced">
</arc>
</page>
<page id="FeedbackPage">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>nodePage</type>
</toolspecific>
<place id="FeedbackIn">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Feedback</node>
<subnet>Feedback</subnet>
</toolspecific>
<name>
<text>FeedbackIn</text>
</name>
</place>
<transition id="ShowFeedback">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Feedback</node>
<subnet>Feedback</subnet>
<type>discreteTransitionType</type>
<inputsignalclause></inputsignalclause>
</toolspecific> <name>
<text>ShowFeedback</text>
</name>
</transition>
<place id="FeedbackDone">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Feedback</node>
<subnet>Feedback</subnet>
</toolspecific>
<name>
<text>FeedbackDone</text>
</name>
</place>
<arc id="a7" source="FeedbackIn" target="ShowFeedback">
</arc>
<arc id="a8" source="ShowFeedback" target="FeedbackDone">
</arc>
</page>
<page id="SynchronizerPage">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>nodePage</type>
</toolspecific>
<page id="GetControlService">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>serverPrototype</type>
<serviceName>getControlService</serviceName>
</toolspecific>
<place id="GetControlIn">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>GetControl</subnet>
</toolspecific>
<name>
<text>GetControlIn</text>
</name>
</place>
<place id="GetControlOut">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>GetControl</subnet>
</toolspecific>
<name>
<text>GetControlOut</text>
</name>
</place>
<referencePlace id="GetSharedRef" ref="GetShared">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>GetControl</subnet>
</toolspecific>
<name>
<text>GetSharedRef</text>
</name>
</referencePlace>
<transition id="Get">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>GetControl</subnet>
<type>discreteTransitionType</type>
<inputsignalclause></inputsignalclause>
</toolspecific>
<name>
<text>Get</text>
</name>
</transition>
<arc id="a9" source="GetControlIn" target="Get"> </arc>
<arc id="a10" source="Get" target="GetControlOut">
</arc>
<arc id="a11" source="GetSharedRef" target="Get">
</arc>
</page>
<page id="EndControlService">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>serverPrototype</type>
<serviceName>endControlService</serviceName>
</toolspecific>
<place id="EndControlIn">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>EndControl</subnet>
</toolspecific>
<name>
<text>EndControlIn</text>
</name>
</place>
<place id="EndControlOut">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>EndControl</subnet>
</toolspecific>
<name>
<text>EndControlOut</text>
</name>
</place>
<referencePlace id="GetEndSharedRef" ref="GetShared">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>EndControl</subnet>
</toolspecific>
<name>
<text>GetEndSharedRef</text>
</name>
</referencePlace>
<transition id="End">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>EndControl</subnet>
<type>discreteTransitionType</type>
<inputsignalclause></inputsignalclause>
</toolspecific>
<name>
<text>End</text>
</name>
</transition>
<arc id="a12" source="EndControlIn" target="End">
</arc>
<arc id="a13" source="End" target="EndControlOut">
</arc>
<arc id="a13b" source="End" target="GetEndSharedRef">
</arc>
</page>
<page id="SharedSpacePage">
<place id="GetShared">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>Synchronizer</node>
<subnet>SharedSync</subnet>
<balloonMarking>
<tokens>
<token>{ "color":"NONE","name":"NONE","pickSuccess":"false","placeSuccess":"false",
"humanDetected":"false","sensorData":"NONE","trace":"NONE", "locked" : "true" }
</token>
</tokens>
</balloonMarking>
</toolspecific> <initialMarking>
<text>1</text>
</initialMarking>
<name>
<text>GetShared</text>
</name>
</place>
</page>
</page>
<transition id="GetControlServiceCall">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>serviceTransitionType</type>
<serviceName>getControlService</serviceName>
<serverInput>GetControlIn</serverInput>
<serverOutput>GetControlOut</serverOutput>
<serverCapacity>2</serverCapacity>
<channels>
<channel>
<cid>c1</cid>
<request>L-AwaitingControl</request>
<response>L-Ready</response>
</channel>
<channel>
<cid>c2</cid>
<request>R-AwaitingControl</request>
<response>R-Ready</response>
</channel>
</channels>
</toolspecific>
<name>
<text>GetControlServiceCall</text>
</name>
</transition>
<transition id="EndControlServiceCall">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>serviceTransitionType</type>
<serviceName>endControlService</serviceName>
<serverInput>EndControlIn</serverInput>
<serverOutput>EndControlOut</serverOutput>
<serverCapacity>2</serverCapacity>
<channels>
<channel>
<cid>c3</cid>
<request>L-ObjectPlaced</request>
<response>L-Done</response>
</channel>
<channel>
<cid>c4</cid>
<request>R-ObjectPlaced</request>
<response>R-Done</response>
</channel>
</channels>
</toolspecific>
<name>
<text>EndControlServiceCall</text>
</name>
</transition>
</page>
</net>
</pnml>