diff --git a/case-study-sorting-pkg/.gradle/6.7.1/executionHistory/executionHistory.bin b/case-study-sorting-pkg/.gradle/6.7.1/executionHistory/executionHistory.bin
index 390b8a0e5f3e7509cd65c507336d58dac3a72aa9..5a24e775aa4471369df6a34023084eccbb05c9df 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/executionHistory/executionHistory.bin and b/case-study-sorting-pkg/.gradle/6.7.1/executionHistory/executionHistory.bin differ
diff --git a/case-study-sorting-pkg/.gradle/6.7.1/executionHistory/executionHistory.lock b/case-study-sorting-pkg/.gradle/6.7.1/executionHistory/executionHistory.lock
index 80e8786dd967028508f715933b5256cd38c779d1..8f470d6e4364abf78a7b871b676543dea55cdbdf 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/executionHistory/executionHistory.lock and b/case-study-sorting-pkg/.gradle/6.7.1/executionHistory/executionHistory.lock differ
diff --git a/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/fileHashes.bin b/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/fileHashes.bin
index ad34a328489caf615748ebd36d062134cdaf3f41..1e0ea25ffe0134175d63f78c031f5812e711db14 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/fileHashes.bin and b/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/fileHashes.bin differ
diff --git a/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/fileHashes.lock b/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/fileHashes.lock
index 987f6d489a65f76f1cfac879146842e17a08f7b2..f651d196f7e61dfbc9b6aaf97afad39f1d26c254 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/fileHashes.lock and b/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/fileHashes.lock differ
diff --git a/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/resourceHashesCache.bin b/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/resourceHashesCache.bin
index 73ba150b6a6520143cf266af2eba463e16966d74..eb287e7af8b1f71afeac3efdd85f800fe4792fb3 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/resourceHashesCache.bin and b/case-study-sorting-pkg/.gradle/6.7.1/fileHashes/resourceHashesCache.bin differ
diff --git a/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/classAnalysis.bin b/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/classAnalysis.bin
index 150d543175545e218cd741811904209295e0d8cd..4991ecb921cb1737b434fe4dda9820ff4d357dc7 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/classAnalysis.bin and b/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/classAnalysis.bin differ
diff --git a/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/jarAnalysis.bin b/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/jarAnalysis.bin
index 1f1526e8dd839303b5a001eef8da7e1eed0ad9f5..c1829d181dd8fc4a7eb09df974655e98da2dc261 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/jarAnalysis.bin and b/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/jarAnalysis.bin differ
diff --git a/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/javaCompile.lock b/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/javaCompile.lock
index 069954e59b6ad869a9c683d15b0097c3ed5c6b14..7e0f929300c3742303e9c14ec4d5c03b7e4cbafd 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/javaCompile.lock and b/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/javaCompile.lock differ
diff --git a/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/taskHistory.bin b/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/taskHistory.bin
index 4bb603d448dee260c37b8123ee8731bfcea4f16d..88c75299709632a9664dd371d47238b6f1cbd383 100644
Binary files a/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/taskHistory.bin and b/case-study-sorting-pkg/.gradle/6.7.1/javaCompile/taskHistory.bin differ
diff --git a/case-study-sorting-pkg/.gradle/buildOutputCleanup/buildOutputCleanup.lock b/case-study-sorting-pkg/.gradle/buildOutputCleanup/buildOutputCleanup.lock
index 708da361a31aabb4e44d5d5991d7c1fd1a824272..457dd637ec037c9cfb1d061d5fdba2cc26e9a502 100644
Binary files a/case-study-sorting-pkg/.gradle/buildOutputCleanup/buildOutputCleanup.lock and b/case-study-sorting-pkg/.gradle/buildOutputCleanup/buildOutputCleanup.lock differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/Main$1.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/Main$1.class
deleted file mode 100644
index bd313b3fc15880977903f91a5c4c5480046b154b..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/Main$1.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/Main.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/Main.class
deleted file mode 100644
index 8702394e9ba97257de86dc6dcf2659724144b158..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/Main.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/constants/TokenConstants.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/constants/TokenConstants.class
deleted file mode 100644
index 8f56e4c5e270207b77e1d8314689e105931a488c..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/constants/TokenConstants.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/handlers/ShowResultHandler.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/handlers/ShowResultHandler.class
deleted file mode 100644
index 1dcf8833acd343c0b3f0609a0b63bdddce0ae0ab..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/handlers/ShowResultHandler.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/handlers/SortColorHandler.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/handlers/SortColorHandler.class
deleted file mode 100644
index 194614abc389927d3fdc339422a9629ef88eb317..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/handlers/SortColorHandler.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/FeedbackNode.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/FeedbackNode.class
deleted file mode 100644
index cd72bf460888b204d8ee3a59af88ae5bf04ac60b..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/FeedbackNode.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/LeftControllerNode.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/LeftControllerNode.class
deleted file mode 100644
index 8f88569d09bd42480114782f4d2dec8a43cfd963..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/LeftControllerNode.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/RightControllerNode.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/RightControllerNode.class
deleted file mode 100644
index 69fffb224e7c0c58053c6c7ea00f90d9930bfc86..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/RightControllerNode.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/SelectorNode.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/SelectorNode.class
deleted file mode 100644
index 89c8e385b30a54b7e8b4ae9ac2a85df2eadddbce..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/SelectorNode.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/SynchronizerNode.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/SynchronizerNode.class
deleted file mode 100644
index e25c66eef85e1b3d1dd7285a2ec21d25f5656b45..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/nodes/SynchronizerNode.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/utils/LogUtils.class b/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/utils/LogUtils.class
deleted file mode 100644
index 4a136ce51c23ce80a9c50b069a9a319edbc79b27..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/classes/java/main/de/tudresden/inf/st/sorting/utils/LogUtils.class and /dev/null differ
diff --git a/case-study-sorting-pkg/build/distributions/case-study-sorting-pkg-0.1.tar b/case-study-sorting-pkg/build/distributions/case-study-sorting-pkg-0.1.tar
deleted file mode 100644
index 2a226846d424a76dc6e2b3a26e04c38fbc668dc4..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/distributions/case-study-sorting-pkg-0.1.tar and /dev/null differ
diff --git a/case-study-sorting-pkg/build/distributions/case-study-sorting-pkg-0.1.zip b/case-study-sorting-pkg/build/distributions/case-study-sorting-pkg-0.1.zip
deleted file mode 100644
index 0ded1574fa67e8e3b63fc397733512898b81d5be..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/distributions/case-study-sorting-pkg-0.1.zip and /dev/null differ
diff --git a/case-study-sorting-pkg/build/libs/case-study-sorting-pkg-0.1.jar b/case-study-sorting-pkg/build/libs/case-study-sorting-pkg-0.1.jar
deleted file mode 100644
index 3937516f2c779207f3514dc373b114ab502d4d8e..0000000000000000000000000000000000000000
Binary files a/case-study-sorting-pkg/build/libs/case-study-sorting-pkg-0.1.jar and /dev/null differ
diff --git a/case-study-sorting-pkg/build/resources/main/nets/ExecutorNode.pnml b/case-study-sorting-pkg/build/resources/main/nets/ExecutorNode.pnml
deleted file mode 100644
index 1091e4cef8b3e1bd741ec1b7dbcfa0c3a102ab07..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/resources/main/nets/ExecutorNode.pnml
+++ /dev/null
@@ -1,544 +0,0 @@
-<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
- <net id="PTNET-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
- <page id="top">
- <page id="ExecutorPage">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>nodePage</type>
- </toolspecific>
- <page id="PickService">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>serverPrototype</type>
- <serviceName>pickService</serviceName>
- </toolspecific>
- <place id="PickOutput">
- <name>
- <text>PickOutput</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="Picking">
- <name>
- <text>Picking</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="PickInput">
- <name>
- <text>PickInput</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <transition id="PickingSuccess">
- <name>
- <text>PickingSuccess</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(PickSuccess)</inputsignalclause>
- </toolspecific>
- </transition>
- <transition id="PickingFail">
- <name>
- <text>PickingFail</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(PickFail)</inputsignalclause>
- </toolspecific>
- </transition>
- <transition id="PickingAbort">
- <name>
- <text>PickingAbort</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <transition id="Pick">
- <name>
- <text>Pick</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <referencePlace id="PickSafeRef" ref="Safe">
- <name>
- <text>PickSafeRef</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- </toolspecific>
- </referencePlace>
- <referencePlace id="PickUnsafeRef" ref="Unsafe">
- <name>
- <text>PickUnsafeRef</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PickService</subnet>
- </toolspecific>
- </referencePlace>
- <arc id="a18" source="Pick" target="Picking">
- </arc>
- <arc id="a16" source="Pick" target="PickSafeRef">
- </arc>
- <arc id="a15" source="PickInput" target="Pick">
- </arc>
- <arc id="a19" source="Picking" target="PickingFail">
- </arc>
- <arc id="a23" source="PickingSuccess" target="PickOutput">
- </arc>
- <arc id="a24" source="PickingAbort" target="PickOutput">
- </arc>
- <arc id="a20" source="Picking" target="PickingSuccess">
- </arc>
- <arc id="a21" source="Picking" target="PickingAbort">
- </arc>
- <arc id="a17" source="PickSafeRef" target="Pick">
- </arc>
- <arc id="a22" source="PickingFail" target="PickOutput">
- </arc>
- </page>
- <page id="PlaceService">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>serverPrototype</type>
- <serviceName>placeService</serviceName>
- </toolspecific>
- <place id="Placing">
- <name>
- <text>Placing</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="PlaceInput">
- <name>
- <text>PlaceInput</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="PlaceOutput">
- <name>
- <text>PlaceOutput</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <transition id="PlacingAbort">
- <name>
- <text>PlacingAbort</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <transition id="Place">
- <name>
- <text>Place</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <transition id="PlacingSuccess">
- <name>
- <text>PlacingSuccess</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(PlaceSuccess)</inputsignalclause>
- </toolspecific>
- </transition>
- <transition id="PlacingFail">
- <name>
- <text>PlacingFail</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(PlaceFail)</inputsignalclause>
- </toolspecific>
- </transition>
- <referencePlace id="PlaceSafeRef" ref="Safe">
- <name>
- <text>PlaceSafeRef</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- </toolspecific>
- </referencePlace>
- <referencePlace id="PlaceUnsafeRef" ref="Unsafe">
- <name>
- <text>PlaceUnsafeRef</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>PlaceService</subnet>
- </toolspecific>
- </referencePlace>
- <arc id="a32" source="PlacingFail" target="PlaceOutput">
- </arc>
- <arc id="a25" source="PlaceInput" target="Place">
- </arc>
- <arc id="a34" source="PlacingAbort" target="PlaceOutput">
- </arc>
- <arc id="a33" source="PlacingSuccess" target="PlaceOutput">
- </arc>
- <arc id="a30" source="Placing" target="PlacingSuccess">
- </arc>
- <arc id="a26" source="Place" target="PlaceSafeRef">
- </arc>
- <arc id="a31" source="Placing" target="PlacingAbort">
- </arc>
- <arc id="a28" source="Place" target="Placing">
- </arc>
- <arc id="a29" source="Placing" target="PlacingFail">
- </arc>
- <arc id="a27" source="PlaceSafeRef" target="Place">
- </arc>
- </page>
- <page id="SafetyModel">
- <place id="Unsafe">
- <name>
- <text>Unsafe</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- <balloonMarking>
- <tokens>
- <token>{ "id" : "NONE", "picksuccess" : "false", "placesuccess" : "false", "sensor"
- : "NONE" }
- </token>
- </tokens>
- </balloonMarking>
- </toolspecific>
- <initialMarking>
- <text>1</text>
- </initialMarking>
- </place>
- <place id="Safe">
- <name>
- <text>Safe</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="SensorCall">
- <name>
- <text>SensorCall</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="SensorResponse">
- <name>
- <text>SensorResponse</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <transition id="TransitionSafe">
- <name>
- <text>TransitionSafe</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <transition id="SafeToSensorCall">
- <name>
- <text>SafeToSensorCall</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <transition id="SafeToUnsafe">
- <name>
- <text>SafeToUnsafe</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(Stop)</inputsignalclause>
- </toolspecific>
- </transition>
- <transition id="UnsafeToSensorCall">
- <name>
- <text>UnsafeToSensorCall</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <transition id="TransitionUnsafe">
- <name>
- <text>TransitionUnsafe</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Executor</node>
- <subnet>SafetyModel</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <arc id="a54" source="TransitionUnsafe" target="Unsafe">
- </arc>
- <arc id="a56" source="SafeToSensorCall" target="SensorCall">
- </arc>
- <arc id="a57" source="SensorResponse" target="TransitionSafe">
- </arc>
- <arc id="a58" source="TransitionSafe" target="Safe">
- </arc>
- <arc id="a55" source="Safe" target="SafeToSensorCall">
- </arc>
- <arc id="a49" source="Unsafe" target="UnsafeToSensorCall">
- </arc>
- <arc id="a52" source="SafeToUnsafe" target="Unsafe">
- </arc>
- <arc id="a53" source="SensorResponse" target="TransitionUnsafe">
- </arc>
- <arc id="a51" source="Safe" target="SafeToUnsafe">
- </arc>
- <arc id="a50" source="UnsafeToSensorCall" target="SensorCall">
- </arc>
- </page>
- </page>
- </page>
- <name>
- <text>SortingWorkflowSyncedSensorSafeSig</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.splitter" version="0.0.1">
-
- <ports>
- <port name="RightCellTopic" limit="10" placeType="pub">GreenOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">BlueOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">RedOut</port>
- <port name="UITopic" limit="10" placeType="pub">L-Done</port>
- <port name="UITopic" limit="10" placeType="pub">R-Done</port>
- <port name="RightCellTopic" limit="10" placeType="sub">R-AwaitingControl</port>
- <port name="LeftCellTopic" limit="10" placeType="sub">L-AwaitingControl</port>
- <port name="UITopic" limit="10" placeType="sub">FeedbackIn</port>
- <port cResponsePlace="R-Ready" limit="-1" name="getControlService" placeType="creq">R-AwaitingControl
- </port>
- <port cResponsePlace="L-Ready" limit="-1" name="getControlService" placeType="creq">L-AwaitingControl
- </port>
- <port cResponsePlace="R-Done" limit="-1" name="endControlService" placeType="creq">R-ObjectPlaced</port>
- <port cResponsePlace="L-Done" limit="-1" name="endControlService" placeType="creq">L-ObjectPlaced</port>
- <port cResponsePlace="SensorResponse" limit="-1" name="sensorService" placeType="creq">SensorCall</port>
- <port cResponsePlace="L-ObjectPicked" limit="-1" name="pickService" placeType="creq">L-Ready</port>
- <port cResponsePlace="R-ObjectPicked" limit="-1" name="pickService" placeType="creq">R-Ready</port>
- <port cResponsePlace="L-ObjectPlaced" limit="-1" name="placeService" placeType="creq">L-ObjectPicked
- </port>
- <port cResponsePlace="R-ObjectPlaced" limit="-1" name="placeService" placeType="creq">R-ObjectPicked
- </port>
- <port cRequestPlace="L-AwaitingControl" limit="-1" name="getControlService" placeType="cres">L-Ready
- </port>
- <port cRequestPlace="R-AwaitingControl" limit="-1" name="getControlService" placeType="cres">R-Ready
- </port>
- <port cRequestPlace="L-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">L-Done</port>
- <port cRequestPlace="R-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">R-Done</port>
- <port cRequestPlace="SensorCall" limit="-1" name="sensorService" placeType="cres">SensorResponse</port>
- <port cRequestPlace="L-Ready" limit="-1" name="pickService" placeType="cres">L-ObjectPicked</port>
- <port cRequestPlace="R-Ready" limit="-1" name="pickService" placeType="cres">R-ObjectPicked</port>
- <port cRequestPlace="R-ObjectPicked" limit="-1" name="placeService" placeType="cres">R-ObjectPlaced
- </port>
- <port cRequestPlace="L-ObjectPicked" limit="-1" name="placeService" placeType="cres">L-ObjectPlaced
- </port>
- <port limit="2" name="getControlService" placeType="sreq">GetControlIn</port>
- <port limit="2" name="endControlService" placeType="sreq">EndControlIn</port>
- <port limit="1" name="sensorService" placeType="sreq">SensorIn</port>
- <port limit="2" name="pickService" placeType="sreq">PickInput</port>
- <port limit="2" name="placeService" placeType="sreq">PlaceInput</port>
- <port limit="2" name="getControlService" placeType="sres">GetControlOut</port>
- <port limit="2" name="endControlService" placeType="sres">EndControlOut</port>
- <port limit="1" name="sensorService" placeType="sres">SensorOut</port>
- <port limit="2" name="pickService" placeType="sres">PickOutput</port>
- <port limit="2" name="placeService" placeType="sres">PlaceOutput</port>
- </ports>
- </toolspecific>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
- <inputsignals>
- <inputsignal>
- <inputsignalID>Red</inputsignalID>
- <initialvalue>true</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Blue</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Green</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Stop</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Sensor</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- </inputsignals>
- </toolspecific>
- </net>
-</pnml>
diff --git a/case-study-sorting-pkg/build/resources/main/nets/FeedbackNode.pnml b/case-study-sorting-pkg/build/resources/main/nets/FeedbackNode.pnml
deleted file mode 100644
index c8a2ef66a0618fc207da115f0f56420e673ad084..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/resources/main/nets/FeedbackNode.pnml
+++ /dev/null
@@ -1,151 +0,0 @@
-<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
- <net id="PTNET-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
- <page id="top">
- <page id="FeedbackPage">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>nodePage</type>
- </toolspecific>
- <place id="FeedbackDone">
- <name>
- <text>FeedbackDone</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Feedback</node>
- <subnet>Feedback</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="FeedbackIn">
- <name>
- <text>FeedbackIn</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Feedback</node>
- <subnet>Feedback</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <transition id="ShowFeedback">
- <name>
- <text>ShowFeedback</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Feedback</node>
- <subnet>Feedback</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <arc id="a8" source="ShowFeedback" target="FeedbackDone">
- </arc>
- <arc id="a7" source="FeedbackIn" target="ShowFeedback">
- </arc>
- </page>
- </page>
- <name>
- <text>SortingWorkflowSyncedSensorSafeSig</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.splitter" version="0.0.1">
-
- <ports>
- <port name="RightCellTopic" limit="10" placeType="pub">GreenOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">BlueOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">RedOut</port>
- <port name="UITopic" limit="10" placeType="pub">L-Done</port>
- <port name="UITopic" limit="10" placeType="pub">R-Done</port>
- <port name="RightCellTopic" limit="10" placeType="sub">R-AwaitingControl</port>
- <port name="LeftCellTopic" limit="10" placeType="sub">L-AwaitingControl</port>
- <port name="UITopic" limit="10" placeType="sub">FeedbackIn</port>
- <port cResponsePlace="R-Ready" limit="-1" name="getControlService" placeType="creq">R-AwaitingControl
- </port>
- <port cResponsePlace="L-Ready" limit="-1" name="getControlService" placeType="creq">L-AwaitingControl
- </port>
- <port cResponsePlace="R-Done" limit="-1" name="endControlService" placeType="creq">R-ObjectPlaced</port>
- <port cResponsePlace="L-Done" limit="-1" name="endControlService" placeType="creq">L-ObjectPlaced</port>
- <port cResponsePlace="SensorResponse" limit="-1" name="sensorService" placeType="creq">SensorCall</port>
- <port cResponsePlace="L-ObjectPicked" limit="-1" name="pickService" placeType="creq">L-Ready</port>
- <port cResponsePlace="R-ObjectPicked" limit="-1" name="pickService" placeType="creq">R-Ready</port>
- <port cResponsePlace="L-ObjectPlaced" limit="-1" name="placeService" placeType="creq">L-ObjectPicked
- </port>
- <port cResponsePlace="R-ObjectPlaced" limit="-1" name="placeService" placeType="creq">R-ObjectPicked
- </port>
- <port cRequestPlace="L-AwaitingControl" limit="-1" name="getControlService" placeType="cres">L-Ready
- </port>
- <port cRequestPlace="R-AwaitingControl" limit="-1" name="getControlService" placeType="cres">R-Ready
- </port>
- <port cRequestPlace="L-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">L-Done</port>
- <port cRequestPlace="R-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">R-Done</port>
- <port cRequestPlace="SensorCall" limit="-1" name="sensorService" placeType="cres">SensorResponse</port>
- <port cRequestPlace="L-Ready" limit="-1" name="pickService" placeType="cres">L-ObjectPicked</port>
- <port cRequestPlace="R-Ready" limit="-1" name="pickService" placeType="cres">R-ObjectPicked</port>
- <port cRequestPlace="R-ObjectPicked" limit="-1" name="placeService" placeType="cres">R-ObjectPlaced
- </port>
- <port cRequestPlace="L-ObjectPicked" limit="-1" name="placeService" placeType="cres">L-ObjectPlaced
- </port>
- <port limit="2" name="getControlService" placeType="sreq">GetControlIn</port>
- <port limit="2" name="endControlService" placeType="sreq">EndControlIn</port>
- <port limit="1" name="sensorService" placeType="sreq">SensorIn</port>
- <port limit="2" name="pickService" placeType="sreq">PickInput</port>
- <port limit="2" name="placeService" placeType="sreq">PlaceInput</port>
- <port limit="2" name="getControlService" placeType="sres">GetControlOut</port>
- <port limit="2" name="endControlService" placeType="sres">EndControlOut</port>
- <port limit="1" name="sensorService" placeType="sres">SensorOut</port>
- <port limit="2" name="pickService" placeType="sres">PickOutput</port>
- <port limit="2" name="placeService" placeType="sres">PlaceOutput</port>
- </ports>
- </toolspecific>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
- <inputsignals>
- <inputsignal>
- <inputsignalID>Red</inputsignalID>
- <initialvalue>true</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Blue</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Green</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Stop</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Sensor</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- </inputsignals>
- </toolspecific>
- </net>
-</pnml>
diff --git a/case-study-sorting-pkg/build/resources/main/nets/LeftControllerNode.pnml b/case-study-sorting-pkg/build/resources/main/nets/LeftControllerNode.pnml
deleted file mode 100644
index 4d6ce660b011e2f4bda759c55325e2709b562509..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/resources/main/nets/LeftControllerNode.pnml
+++ /dev/null
@@ -1,176 +0,0 @@
-<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
- <net id="PTNET-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
- <page id="top">
- <page id="LeftControllerPage">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>nodePage</type>
- </toolspecific>
- <place id="L-AwaitingControl">
- <name>
- <text>L-AwaitingControl</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>LeftController</node>
- <subnet>LC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="L-ObjectPicked">
- <name>
- <text>L-ObjectPicked</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>LeftController</node>
- <subnet>LC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="L-Done">
- <name>
- <text>L-Done</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>LeftController</node>
- <subnet>LC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="L-ObjectPlaced">
- <name>
- <text>L-ObjectPlaced</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>LeftController</node>
- <subnet>LC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="L-Ready">
- <name>
- <text>L-Ready</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>LeftController</node>
- <subnet>LC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- </page>
- </page>
- <name>
- <text>SortingWorkflowSyncedSensorSafeSig</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.splitter" version="0.0.1">
-
- <ports>
- <port name="RightCellTopic" limit="10" placeType="pub">GreenOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">BlueOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">RedOut</port>
- <port name="UITopic" limit="10" placeType="pub">L-Done</port>
- <port name="UITopic" limit="10" placeType="pub">R-Done</port>
- <port name="RightCellTopic" limit="10" placeType="sub">R-AwaitingControl</port>
- <port name="LeftCellTopic" limit="10" placeType="sub">L-AwaitingControl</port>
- <port name="UITopic" limit="10" placeType="sub">FeedbackIn</port>
- <port cResponsePlace="R-Ready" limit="-1" name="getControlService" placeType="creq">R-AwaitingControl
- </port>
- <port cResponsePlace="L-Ready" limit="-1" name="getControlService" placeType="creq">L-AwaitingControl
- </port>
- <port cResponsePlace="R-Done" limit="-1" name="endControlService" placeType="creq">R-ObjectPlaced</port>
- <port cResponsePlace="L-Done" limit="-1" name="endControlService" placeType="creq">L-ObjectPlaced</port>
- <port cResponsePlace="SensorResponse" limit="-1" name="sensorService" placeType="creq">SensorCall</port>
- <port cResponsePlace="L-ObjectPicked" limit="-1" name="pickService" placeType="creq">L-Ready</port>
- <port cResponsePlace="R-ObjectPicked" limit="-1" name="pickService" placeType="creq">R-Ready</port>
- <port cResponsePlace="L-ObjectPlaced" limit="-1" name="placeService" placeType="creq">L-ObjectPicked
- </port>
- <port cResponsePlace="R-ObjectPlaced" limit="-1" name="placeService" placeType="creq">R-ObjectPicked
- </port>
- <port cRequestPlace="L-AwaitingControl" limit="-1" name="getControlService" placeType="cres">L-Ready
- </port>
- <port cRequestPlace="R-AwaitingControl" limit="-1" name="getControlService" placeType="cres">R-Ready
- </port>
- <port cRequestPlace="L-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">L-Done</port>
- <port cRequestPlace="R-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">R-Done</port>
- <port cRequestPlace="SensorCall" limit="-1" name="sensorService" placeType="cres">SensorResponse</port>
- <port cRequestPlace="L-Ready" limit="-1" name="pickService" placeType="cres">L-ObjectPicked</port>
- <port cRequestPlace="R-Ready" limit="-1" name="pickService" placeType="cres">R-ObjectPicked</port>
- <port cRequestPlace="R-ObjectPicked" limit="-1" name="placeService" placeType="cres">R-ObjectPlaced
- </port>
- <port cRequestPlace="L-ObjectPicked" limit="-1" name="placeService" placeType="cres">L-ObjectPlaced
- </port>
- <port limit="2" name="getControlService" placeType="sreq">GetControlIn</port>
- <port limit="2" name="endControlService" placeType="sreq">EndControlIn</port>
- <port limit="1" name="sensorService" placeType="sreq">SensorIn</port>
- <port limit="2" name="pickService" placeType="sreq">PickInput</port>
- <port limit="2" name="placeService" placeType="sreq">PlaceInput</port>
- <port limit="2" name="getControlService" placeType="sres">GetControlOut</port>
- <port limit="2" name="endControlService" placeType="sres">EndControlOut</port>
- <port limit="1" name="sensorService" placeType="sres">SensorOut</port>
- <port limit="2" name="pickService" placeType="sres">PickOutput</port>
- <port limit="2" name="placeService" placeType="sres">PlaceOutput</port>
- </ports>
- </toolspecific>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
- <inputsignals>
- <inputsignal>
- <inputsignalID>Red</inputsignalID>
- <initialvalue>true</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Blue</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Green</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Stop</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Sensor</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- </inputsignals>
- </toolspecific>
- </net>
-</pnml>
diff --git a/case-study-sorting-pkg/build/resources/main/nets/RightControllerNode.pnml b/case-study-sorting-pkg/build/resources/main/nets/RightControllerNode.pnml
deleted file mode 100644
index a14e84ad556196fbab9fb0aec3c425c7ee935e1c..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/resources/main/nets/RightControllerNode.pnml
+++ /dev/null
@@ -1,176 +0,0 @@
-<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
- <net id="PTNET-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
- <page id="top">
- <page id="RightControllerPage">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>nodePage</type>
- </toolspecific>
- <place id="R-AwaitingControl">
- <name>
- <text>R-AwaitingControl</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>RightController</node>
- <subnet>RC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="R-Ready">
- <name>
- <text>R-Ready</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>RightController</node>
- <subnet>RC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="R-Done">
- <name>
- <text>R-Done</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>RightController</node>
- <subnet>RC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="R-ObjectPicked">
- <name>
- <text>R-ObjectPicked</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>RightController</node>
- <subnet>RC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="R-ObjectPlaced">
- <name>
- <text>R-ObjectPlaced</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>RightController</node>
- <subnet>RC1</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- </page>
- </page>
- <name>
- <text>SortingWorkflowSyncedSensorSafeSig</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.splitter" version="0.0.1">
-
- <ports>
- <port name="RightCellTopic" limit="10" placeType="pub">GreenOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">BlueOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">RedOut</port>
- <port name="UITopic" limit="10" placeType="pub">L-Done</port>
- <port name="UITopic" limit="10" placeType="pub">R-Done</port>
- <port name="RightCellTopic" limit="10" placeType="sub">R-AwaitingControl</port>
- <port name="LeftCellTopic" limit="10" placeType="sub">L-AwaitingControl</port>
- <port name="UITopic" limit="10" placeType="sub">FeedbackIn</port>
- <port cResponsePlace="R-Ready" limit="-1" name="getControlService" placeType="creq">R-AwaitingControl
- </port>
- <port cResponsePlace="L-Ready" limit="-1" name="getControlService" placeType="creq">L-AwaitingControl
- </port>
- <port cResponsePlace="R-Done" limit="-1" name="endControlService" placeType="creq">R-ObjectPlaced</port>
- <port cResponsePlace="L-Done" limit="-1" name="endControlService" placeType="creq">L-ObjectPlaced</port>
- <port cResponsePlace="SensorResponse" limit="-1" name="sensorService" placeType="creq">SensorCall</port>
- <port cResponsePlace="L-ObjectPicked" limit="-1" name="pickService" placeType="creq">L-Ready</port>
- <port cResponsePlace="R-ObjectPicked" limit="-1" name="pickService" placeType="creq">R-Ready</port>
- <port cResponsePlace="L-ObjectPlaced" limit="-1" name="placeService" placeType="creq">L-ObjectPicked
- </port>
- <port cResponsePlace="R-ObjectPlaced" limit="-1" name="placeService" placeType="creq">R-ObjectPicked
- </port>
- <port cRequestPlace="L-AwaitingControl" limit="-1" name="getControlService" placeType="cres">L-Ready
- </port>
- <port cRequestPlace="R-AwaitingControl" limit="-1" name="getControlService" placeType="cres">R-Ready
- </port>
- <port cRequestPlace="L-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">L-Done</port>
- <port cRequestPlace="R-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">R-Done</port>
- <port cRequestPlace="SensorCall" limit="-1" name="sensorService" placeType="cres">SensorResponse</port>
- <port cRequestPlace="L-Ready" limit="-1" name="pickService" placeType="cres">L-ObjectPicked</port>
- <port cRequestPlace="R-Ready" limit="-1" name="pickService" placeType="cres">R-ObjectPicked</port>
- <port cRequestPlace="R-ObjectPicked" limit="-1" name="placeService" placeType="cres">R-ObjectPlaced
- </port>
- <port cRequestPlace="L-ObjectPicked" limit="-1" name="placeService" placeType="cres">L-ObjectPlaced
- </port>
- <port limit="2" name="getControlService" placeType="sreq">GetControlIn</port>
- <port limit="2" name="endControlService" placeType="sreq">EndControlIn</port>
- <port limit="1" name="sensorService" placeType="sreq">SensorIn</port>
- <port limit="2" name="pickService" placeType="sreq">PickInput</port>
- <port limit="2" name="placeService" placeType="sreq">PlaceInput</port>
- <port limit="2" name="getControlService" placeType="sres">GetControlOut</port>
- <port limit="2" name="endControlService" placeType="sres">EndControlOut</port>
- <port limit="1" name="sensorService" placeType="sres">SensorOut</port>
- <port limit="2" name="pickService" placeType="sres">PickOutput</port>
- <port limit="2" name="placeService" placeType="sres">PlaceOutput</port>
- </ports>
- </toolspecific>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
- <inputsignals>
- <inputsignal>
- <inputsignalID>Red</inputsignalID>
- <initialvalue>true</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Blue</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Green</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Stop</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Sensor</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- </inputsignals>
- </toolspecific>
- </net>
-</pnml>
diff --git a/case-study-sorting-pkg/build/resources/main/nets/SelectorNode.pnml b/case-study-sorting-pkg/build/resources/main/nets/SelectorNode.pnml
deleted file mode 100644
index c914a69407a531fba657afc87fba6788533f9cd6..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/resources/main/nets/SelectorNode.pnml
+++ /dev/null
@@ -1,257 +0,0 @@
-<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
- <net id="PTNET-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
- <page id="top">
- <page id="SelectorPage">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>nodePage</type>
- </toolspecific>
- <place id="ObjectPoolGreen">
- <name>
- <text>ObjectPoolGreen</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>selector</node>
- <subnet>selectorGreen</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>
- </place>
- <place id="BlueOut">
- <name>
- <text>BlueOut</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>selector</node>
- <subnet>selectorBlue</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="ObjectPoolBlue">
- <name>
- <text>ObjectPoolBlue</text>
- </name>
- <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>
- </place>
- <place id="ObjectPoolRed">
- <name>
- <text>ObjectPoolRed</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>selector</node>
- <subnet>selectorRed</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>
- </place>
- <place id="RedOut">
- <name>
- <text>RedOut</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>selector</node>
- <subnet>selectorRed</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="GreenOut">
- <name>
- <text>GreenOut</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>selector</node>
- <subnet>selectorGreen</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <transition id="SortRed">
- <name>
- <text>SortRed</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>selector</node>
- <subnet>selectorRed</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(Red)</inputsignalclause>
- </toolspecific>
- </transition>
- <transition id="SortGreen">
- <name>
- <text>SortGreen</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>selector</node>
- <subnet>selectorGreen</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(Green)</inputsignalclause>
- </toolspecific>
- </transition>
- <transition id="SortBlue">
- <name>
- <text>SortBlue</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>selector</node>
- <subnet>selectorBlue</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(Blue)</inputsignalclause>
- </toolspecific>
- </transition>
- <arc id="a2" source="SortBlue" target="BlueOut">
- </arc>
- <arc id="a5" source="ObjectPoolBlue" target="SortBlue">
- </arc>
- <arc id="a6" source="ObjectPoolGreen" target="SortGreen">
- </arc>
- <arc id="a1" source="SortRed" target="RedOut">
- </arc>
- <arc id="a4" source="ObjectPoolRed" target="SortRed">
- </arc>
- <arc id="a3" source="SortGreen" target="GreenOut">
- </arc>
- </page>
- </page>
- <name>
- <text>SortingWorkflowSyncedSensorSafeSig</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.splitter" version="0.0.1">
-
- <ports>
- <port name="RightCellTopic" limit="10" placeType="pub">GreenOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">BlueOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">RedOut</port>
- <port name="UITopic" limit="10" placeType="pub">L-Done</port>
- <port name="UITopic" limit="10" placeType="pub">R-Done</port>
- <port name="RightCellTopic" limit="10" placeType="sub">R-AwaitingControl</port>
- <port name="LeftCellTopic" limit="10" placeType="sub">L-AwaitingControl</port>
- <port name="UITopic" limit="10" placeType="sub">FeedbackIn</port>
- <port cResponsePlace="R-Ready" limit="-1" name="getControlService" placeType="creq">R-AwaitingControl
- </port>
- <port cResponsePlace="L-Ready" limit="-1" name="getControlService" placeType="creq">L-AwaitingControl
- </port>
- <port cResponsePlace="R-Done" limit="-1" name="endControlService" placeType="creq">R-ObjectPlaced</port>
- <port cResponsePlace="L-Done" limit="-1" name="endControlService" placeType="creq">L-ObjectPlaced</port>
- <port cResponsePlace="SensorResponse" limit="-1" name="sensorService" placeType="creq">SensorCall</port>
- <port cResponsePlace="L-ObjectPicked" limit="-1" name="pickService" placeType="creq">L-Ready</port>
- <port cResponsePlace="R-ObjectPicked" limit="-1" name="pickService" placeType="creq">R-Ready</port>
- <port cResponsePlace="L-ObjectPlaced" limit="-1" name="placeService" placeType="creq">L-ObjectPicked
- </port>
- <port cResponsePlace="R-ObjectPlaced" limit="-1" name="placeService" placeType="creq">R-ObjectPicked
- </port>
- <port cRequestPlace="L-AwaitingControl" limit="-1" name="getControlService" placeType="cres">L-Ready
- </port>
- <port cRequestPlace="R-AwaitingControl" limit="-1" name="getControlService" placeType="cres">R-Ready
- </port>
- <port cRequestPlace="L-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">L-Done</port>
- <port cRequestPlace="R-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">R-Done</port>
- <port cRequestPlace="SensorCall" limit="-1" name="sensorService" placeType="cres">SensorResponse</port>
- <port cRequestPlace="L-Ready" limit="-1" name="pickService" placeType="cres">L-ObjectPicked</port>
- <port cRequestPlace="R-Ready" limit="-1" name="pickService" placeType="cres">R-ObjectPicked</port>
- <port cRequestPlace="R-ObjectPicked" limit="-1" name="placeService" placeType="cres">R-ObjectPlaced
- </port>
- <port cRequestPlace="L-ObjectPicked" limit="-1" name="placeService" placeType="cres">L-ObjectPlaced
- </port>
- <port limit="2" name="getControlService" placeType="sreq">GetControlIn</port>
- <port limit="2" name="endControlService" placeType="sreq">EndControlIn</port>
- <port limit="1" name="sensorService" placeType="sreq">SensorIn</port>
- <port limit="2" name="pickService" placeType="sreq">PickInput</port>
- <port limit="2" name="placeService" placeType="sreq">PlaceInput</port>
- <port limit="2" name="getControlService" placeType="sres">GetControlOut</port>
- <port limit="2" name="endControlService" placeType="sres">EndControlOut</port>
- <port limit="1" name="sensorService" placeType="sres">SensorOut</port>
- <port limit="2" name="pickService" placeType="sres">PickOutput</port>
- <port limit="2" name="placeService" placeType="sres">PlaceOutput</port>
- </ports>
- </toolspecific>
- <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>
- <inputsignal>
- <inputsignalID>PickSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Stop</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Sensor</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- </inputsignals>
- </toolspecific>
- </net>
-</pnml>
diff --git a/case-study-sorting-pkg/build/resources/main/nets/SensorNode.pnml b/case-study-sorting-pkg/build/resources/main/nets/SensorNode.pnml
deleted file mode 100644
index a292b80cac058616a138451dcbd5bd34f9c39ec3..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/resources/main/nets/SensorNode.pnml
+++ /dev/null
@@ -1,190 +0,0 @@
-<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
- <net id="PTNET-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
- <page id="top">
- <page id="SensorPage">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>nodePage</type>
- </toolspecific>
- <page id="SensorService">
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <type>serverPrototype</type>
- <serviceName>sensorService</serviceName>
- </toolspecific>
- <place id="SensorInter">
- <name>
- <text>SensorInter</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Sensorics</node>
- <subnet>SensorService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="SensorOut">
- <name>
- <text>SensorOut</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Sensorics</node>
- <subnet>SensorService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="SensorIn">
- <name>
- <text>SensorIn</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Sensorics</node>
- <subnet>SensorService</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <transition id="ProcessSensorData">
- <name>
- <text>ProcessSensorData</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Sensorics</node>
- <subnet>SensorService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <transition id="GetSensorData">
- <name>
- <text>GetSensorData</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Sensorics</node>
- <subnet>SensorService</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause>(Sensor)</inputsignalclause>
- </toolspecific>
- </transition>
- <arc id="a59" source="SensorIn" target="GetSensorData">
- </arc>
- <arc id="a62" source="ProcessSensorData" target="SensorOut">
- </arc>
- <arc id="a61" source="SensorInter" target="ProcessSensorData">
- </arc>
- <arc id="a60" source="GetSensorData" target="SensorInter">
- </arc>
- </page>
- </page>
- </page>
- <name>
- <text>SortingWorkflowSyncedSensorSafeSig</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.splitter" version="0.0.1">
-
- <ports>
- <port name="RightCellTopic" limit="10" placeType="pub">GreenOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">BlueOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">RedOut</port>
- <port name="UITopic" limit="10" placeType="pub">L-Done</port>
- <port name="UITopic" limit="10" placeType="pub">R-Done</port>
- <port name="RightCellTopic" limit="10" placeType="sub">R-AwaitingControl</port>
- <port name="LeftCellTopic" limit="10" placeType="sub">L-AwaitingControl</port>
- <port name="UITopic" limit="10" placeType="sub">FeedbackIn</port>
- <port cResponsePlace="R-Ready" limit="-1" name="getControlService" placeType="creq">R-AwaitingControl
- </port>
- <port cResponsePlace="L-Ready" limit="-1" name="getControlService" placeType="creq">L-AwaitingControl
- </port>
- <port cResponsePlace="R-Done" limit="-1" name="endControlService" placeType="creq">R-ObjectPlaced</port>
- <port cResponsePlace="L-Done" limit="-1" name="endControlService" placeType="creq">L-ObjectPlaced</port>
- <port cResponsePlace="SensorResponse" limit="-1" name="sensorService" placeType="creq">SensorCall</port>
- <port cResponsePlace="L-ObjectPicked" limit="-1" name="pickService" placeType="creq">L-Ready</port>
- <port cResponsePlace="R-ObjectPicked" limit="-1" name="pickService" placeType="creq">R-Ready</port>
- <port cResponsePlace="L-ObjectPlaced" limit="-1" name="placeService" placeType="creq">L-ObjectPicked
- </port>
- <port cResponsePlace="R-ObjectPlaced" limit="-1" name="placeService" placeType="creq">R-ObjectPicked
- </port>
- <port cRequestPlace="L-AwaitingControl" limit="-1" name="getControlService" placeType="cres">L-Ready
- </port>
- <port cRequestPlace="R-AwaitingControl" limit="-1" name="getControlService" placeType="cres">R-Ready
- </port>
- <port cRequestPlace="L-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">L-Done</port>
- <port cRequestPlace="R-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">R-Done</port>
- <port cRequestPlace="SensorCall" limit="-1" name="sensorService" placeType="cres">SensorResponse</port>
- <port cRequestPlace="L-Ready" limit="-1" name="pickService" placeType="cres">L-ObjectPicked</port>
- <port cRequestPlace="R-Ready" limit="-1" name="pickService" placeType="cres">R-ObjectPicked</port>
- <port cRequestPlace="R-ObjectPicked" limit="-1" name="placeService" placeType="cres">R-ObjectPlaced
- </port>
- <port cRequestPlace="L-ObjectPicked" limit="-1" name="placeService" placeType="cres">L-ObjectPlaced
- </port>
- <port limit="2" name="getControlService" placeType="sreq">GetControlIn</port>
- <port limit="2" name="endControlService" placeType="sreq">EndControlIn</port>
- <port limit="1" name="sensorService" placeType="sreq">SensorIn</port>
- <port limit="2" name="pickService" placeType="sreq">PickInput</port>
- <port limit="2" name="placeService" placeType="sreq">PlaceInput</port>
- <port limit="2" name="getControlService" placeType="sres">GetControlOut</port>
- <port limit="2" name="endControlService" placeType="sres">EndControlOut</port>
- <port limit="1" name="sensorService" placeType="sres">SensorOut</port>
- <port limit="2" name="pickService" placeType="sres">PickOutput</port>
- <port limit="2" name="placeService" placeType="sres">PlaceOutput</port>
- </ports>
- </toolspecific>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
- <inputsignals>
- <inputsignal>
- <inputsignalID>Red</inputsignalID>
- <initialvalue>true</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Blue</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Green</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Stop</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Sensor</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- </inputsignals>
- </toolspecific>
- </net>
-</pnml>
diff --git a/case-study-sorting-pkg/build/resources/main/nets/SynchronizerNode.pnml b/case-study-sorting-pkg/build/resources/main/nets/SynchronizerNode.pnml
deleted file mode 100644
index c96d49cdec29d6dda51db8bd8c023a68f3b6a891..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/resources/main/nets/SynchronizerNode.pnml
+++ /dev/null
@@ -1,261 +0,0 @@
-<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
- <net id="PTNET-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
- <page id="top">
- <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="GetControlOut">
- <name>
- <text>GetControlOut</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Synchronizer</node>
- <subnet>GetControl</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="GetControlIn">
- <name>
- <text>GetControlIn</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Synchronizer</node>
- <subnet>GetControl</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <transition id="Get">
- <name>
- <text>Get</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Synchronizer</node>
- <subnet>GetControl</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <referencePlace id="GetSharedRef" ref="GetShared">
- <name>
- <text>GetSharedRef</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Synchronizer</node>
- <subnet>GetControl</subnet>
- </toolspecific>
- </referencePlace>
- <arc id="a10" source="Get" target="GetControlOut">
- </arc>
- <arc id="a11" source="GetSharedRef" target="Get">
- </arc>
- <arc id="a9" source="GetControlIn" 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="EndControlOut">
- <name>
- <text>EndControlOut</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Synchronizer</node>
- <subnet>EndControl</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <place id="EndControlIn">
- <name>
- <text>EndControlIn</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Synchronizer</node>
- <subnet>EndControl</subnet>
- </toolspecific>
- <initialMarking>
- <text>0</text>
- </initialMarking>
- </place>
- <transition id="End">
- <name>
- <text>End</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Synchronizer</node>
- <subnet>EndControl</subnet>
- <type>discreteTransitionType</type>
- <inputsignalclause/>
- </toolspecific>
- </transition>
- <referencePlace id="GetEndSharedRef" ref="GetShared">
- <name>
- <text>GetEndSharedRef</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
-
- <node>Synchronizer</node>
- <subnet>EndControl</subnet>
- </toolspecific>
- </referencePlace>
- <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">
- <name>
- <text>GetShared</text>
- </name>
- <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>
- </place>
- </page>
- </page>
- </page>
- <name>
- <text>SortingWorkflowSyncedSensorSafeSig</text>
- </name>
- <toolspecific tool="de.tudresden.inf.st.pnml.splitter" version="0.0.1">
-
- <ports>
- <port name="RightCellTopic" limit="10" placeType="pub">GreenOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">BlueOut</port>
- <port name="LeftCellTopic" limit="10" placeType="pub">RedOut</port>
- <port name="UITopic" limit="10" placeType="pub">L-Done</port>
- <port name="UITopic" limit="10" placeType="pub">R-Done</port>
- <port name="RightCellTopic" limit="10" placeType="sub">R-AwaitingControl</port>
- <port name="LeftCellTopic" limit="10" placeType="sub">L-AwaitingControl</port>
- <port name="UITopic" limit="10" placeType="sub">FeedbackIn</port>
- <port cResponsePlace="R-Ready" limit="-1" name="getControlService" placeType="creq">R-AwaitingControl
- </port>
- <port cResponsePlace="L-Ready" limit="-1" name="getControlService" placeType="creq">L-AwaitingControl
- </port>
- <port cResponsePlace="R-Done" limit="-1" name="endControlService" placeType="creq">R-ObjectPlaced</port>
- <port cResponsePlace="L-Done" limit="-1" name="endControlService" placeType="creq">L-ObjectPlaced</port>
- <port cResponsePlace="SensorResponse" limit="-1" name="sensorService" placeType="creq">SensorCall</port>
- <port cResponsePlace="L-ObjectPicked" limit="-1" name="pickService" placeType="creq">L-Ready</port>
- <port cResponsePlace="R-ObjectPicked" limit="-1" name="pickService" placeType="creq">R-Ready</port>
- <port cResponsePlace="L-ObjectPlaced" limit="-1" name="placeService" placeType="creq">L-ObjectPicked
- </port>
- <port cResponsePlace="R-ObjectPlaced" limit="-1" name="placeService" placeType="creq">R-ObjectPicked
- </port>
- <port cRequestPlace="L-AwaitingControl" limit="-1" name="getControlService" placeType="cres">L-Ready
- </port>
- <port cRequestPlace="R-AwaitingControl" limit="-1" name="getControlService" placeType="cres">R-Ready
- </port>
- <port cRequestPlace="L-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">L-Done</port>
- <port cRequestPlace="R-ObjectPlaced" limit="-1" name="endControlService" placeType="cres">R-Done</port>
- <port cRequestPlace="SensorCall" limit="-1" name="sensorService" placeType="cres">SensorResponse</port>
- <port cRequestPlace="L-Ready" limit="-1" name="pickService" placeType="cres">L-ObjectPicked</port>
- <port cRequestPlace="R-Ready" limit="-1" name="pickService" placeType="cres">R-ObjectPicked</port>
- <port cRequestPlace="R-ObjectPicked" limit="-1" name="placeService" placeType="cres">R-ObjectPlaced
- </port>
- <port cRequestPlace="L-ObjectPicked" limit="-1" name="placeService" placeType="cres">L-ObjectPlaced
- </port>
- <port limit="2" name="getControlService" placeType="sreq">GetControlIn</port>
- <port limit="2" name="endControlService" placeType="sreq">EndControlIn</port>
- <port limit="1" name="sensorService" placeType="sreq">SensorIn</port>
- <port limit="2" name="pickService" placeType="sreq">PickInput</port>
- <port limit="2" name="placeService" placeType="sreq">PlaceInput</port>
- <port limit="2" name="getControlService" placeType="sres">GetControlOut</port>
- <port limit="2" name="endControlService" placeType="sres">EndControlOut</port>
- <port limit="1" name="sensorService" placeType="sres">SensorOut</port>
- <port limit="2" name="pickService" placeType="sres">PickOutput</port>
- <port limit="2" name="placeService" placeType="sres">PlaceOutput</port>
- </ports>
- </toolspecific>
- <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-
- <inputsignals>
- <inputsignal>
- <inputsignalID>Red</inputsignalID>
- <initialvalue>true</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Blue</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Green</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceSuccess</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PickFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>PlaceFail</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Stop</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- <inputsignal>
- <inputsignalID>Sensor</inputsignalID>
- <initialvalue>false</initialvalue>
- </inputsignal>
- </inputsignals>
- </toolspecific>
- </net>
-</pnml>
diff --git a/case-study-sorting-pkg/build/scripts/case-study-sorting-pkg b/case-study-sorting-pkg/build/scripts/case-study-sorting-pkg
deleted file mode 100755
index c8f618ddbe4f9b903fe42493f2b20ecd1038a95d..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/scripts/case-study-sorting-pkg
+++ /dev/null
@@ -1,185 +0,0 @@
-#!/usr/bin/env sh
-
-#
-# Copyright 2015 the original author or authors.
-#
-# Licensed under the Apache License, Version 2.0 (the "License");
-# you may not use this file except in compliance with the License.
-# You may obtain a copy of the License at
-#
-# https://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-#
-
-##############################################################################
-##
-## case-study-sorting-pkg start up script for UN*X
-##
-##############################################################################
-
-# Attempt to set APP_HOME
-# Resolve links: $0 may be a link
-PRG="$0"
-# Need this for relative symlinks.
-while [ -h "$PRG" ] ; do
- ls=`ls -ld "$PRG"`
- link=`expr "$ls" : '.*-> \(.*\)$'`
- if expr "$link" : '/.*' > /dev/null; then
- PRG="$link"
- else
- PRG=`dirname "$PRG"`"/$link"
- fi
-done
-SAVED="`pwd`"
-cd "`dirname \"$PRG\"`/.." >/dev/null
-APP_HOME="`pwd -P`"
-cd "$SAVED" >/dev/null
-
-APP_NAME="case-study-sorting-pkg"
-APP_BASE_NAME=`basename "$0"`
-
-# Add default JVM options here. You can also use JAVA_OPTS and CASE_STUDY_SORTING_PKG_OPTS to pass JVM options to this script.
-DEFAULT_JVM_OPTS=""
-
-# Use the maximum available, or set MAX_FD != -1 to use that value.
-MAX_FD="maximum"
-
-warn () {
- echo "$*"
-}
-
-die () {
- echo
- echo "$*"
- echo
- exit 1
-}
-
-# OS specific support (must be 'true' or 'false').
-cygwin=false
-msys=false
-darwin=false
-nonstop=false
-case "`uname`" in
- CYGWIN* )
- cygwin=true
- ;;
- Darwin* )
- darwin=true
- ;;
- MINGW* )
- msys=true
- ;;
- NONSTOP* )
- nonstop=true
- ;;
-esac
-
-CLASSPATH=$APP_HOME/lib/case-study-sorting-pkg-0.1.jar:$APP_HOME/lib/pnml-relast-engine-fatjar-0.1.jar:$APP_HOME/lib/jackson-annotations-2.13.3.jar:$APP_HOME/lib/jackson-core-2.13.3.jar:$APP_HOME/lib/jackson-databind-2.13.3.jar
-
-
-# Determine the Java command to use to start the JVM.
-if [ -n "$JAVA_HOME" ] ; then
- if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
- # IBM's JDK on AIX uses strange locations for the executables
- JAVACMD="$JAVA_HOME/jre/sh/java"
- else
- JAVACMD="$JAVA_HOME/bin/java"
- fi
- if [ ! -x "$JAVACMD" ] ; then
- die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
-
-Please set the JAVA_HOME variable in your environment to match the
-location of your Java installation."
- fi
-else
- JAVACMD="java"
- which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
-
-Please set the JAVA_HOME variable in your environment to match the
-location of your Java installation."
-fi
-
-# Increase the maximum file descriptors if we can.
-if [ "$cygwin" = "false" -a "$darwin" = "false" -a "$nonstop" = "false" ] ; then
- MAX_FD_LIMIT=`ulimit -H -n`
- if [ $? -eq 0 ] ; then
- if [ "$MAX_FD" = "maximum" -o "$MAX_FD" = "max" ] ; then
- MAX_FD="$MAX_FD_LIMIT"
- fi
- ulimit -n $MAX_FD
- if [ $? -ne 0 ] ; then
- warn "Could not set maximum file descriptor limit: $MAX_FD"
- fi
- else
- warn "Could not query maximum file descriptor limit: $MAX_FD_LIMIT"
- fi
-fi
-
-# For Darwin, add options to specify how the application appears in the dock
-if $darwin; then
- GRADLE_OPTS="$GRADLE_OPTS \"-Xdock:name=$APP_NAME\" \"-Xdock:icon=$APP_HOME/media/gradle.icns\""
-fi
-
-# For Cygwin or MSYS, switch paths to Windows format before running java
-if [ "$cygwin" = "true" -o "$msys" = "true" ] ; then
- APP_HOME=`cygpath --path --mixed "$APP_HOME"`
- CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
-
- JAVACMD=`cygpath --unix "$JAVACMD"`
-
- # We build the pattern for arguments to be converted via cygpath
- ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d 2>/dev/null`
- SEP=""
- for dir in $ROOTDIRSRAW ; do
- ROOTDIRS="$ROOTDIRS$SEP$dir"
- SEP="|"
- done
- OURCYGPATTERN="(^($ROOTDIRS))"
- # Add a user-defined pattern to the cygpath arguments
- if [ "$GRADLE_CYGPATTERN" != "" ] ; then
- OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)"
- fi
- # Now convert the arguments - kludge to limit ourselves to /bin/sh
- i=0
- for arg in "$@" ; do
- CHECK=`echo "$arg"|egrep -c "$OURCYGPATTERN" -`
- CHECK2=`echo "$arg"|egrep -c "^-"` ### Determine if an option
-
- if [ $CHECK -ne 0 ] && [ $CHECK2 -eq 0 ] ; then ### Added a condition
- eval `echo args$i`=`cygpath --path --ignore --mixed "$arg"`
- else
- eval `echo args$i`="\"$arg\""
- fi
- i=`expr $i + 1`
- done
- case $i in
- 0) set -- ;;
- 1) set -- "$args0" ;;
- 2) set -- "$args0" "$args1" ;;
- 3) set -- "$args0" "$args1" "$args2" ;;
- 4) set -- "$args0" "$args1" "$args2" "$args3" ;;
- 5) set -- "$args0" "$args1" "$args2" "$args3" "$args4" ;;
- 6) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" ;;
- 7) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" ;;
- 8) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" ;;
- 9) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" "$args8" ;;
- esac
-fi
-
-# Escape application args
-save () {
- for i do printf %s\\n "$i" | sed "s/'/'\\\\''/g;1s/^/'/;\$s/\$/' \\\\/" ; done
- echo " "
-}
-APP_ARGS=`save "$@"`
-
-# Collect all arguments for the java command, following the shell quoting and substitution rules
-eval set -- $DEFAULT_JVM_OPTS $JAVA_OPTS $CASE_STUDY_SORTING_PKG_OPTS -classpath "\"$CLASSPATH\"" de.tudresden.inf.st.sorting.Main "$APP_ARGS"
-
-exec "$JAVACMD" "$@"
diff --git a/case-study-sorting-pkg/build/scripts/case-study-sorting-pkg.bat b/case-study-sorting-pkg/build/scripts/case-study-sorting-pkg.bat
deleted file mode 100644
index 3030b01d141759259ed3ba43a64e177fb147a68f..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/scripts/case-study-sorting-pkg.bat
+++ /dev/null
@@ -1,89 +0,0 @@
-@rem
-@rem Copyright 2015 the original author or authors.
-@rem
-@rem Licensed under the Apache License, Version 2.0 (the "License");
-@rem you may not use this file except in compliance with the License.
-@rem You may obtain a copy of the License at
-@rem
-@rem https://www.apache.org/licenses/LICENSE-2.0
-@rem
-@rem Unless required by applicable law or agreed to in writing, software
-@rem distributed under the License is distributed on an "AS IS" BASIS,
-@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-@rem See the License for the specific language governing permissions and
-@rem limitations under the License.
-@rem
-
-@if "%DEBUG%" == "" @echo off
-@rem ##########################################################################
-@rem
-@rem case-study-sorting-pkg startup script for Windows
-@rem
-@rem ##########################################################################
-
-@rem Set local scope for the variables with windows NT shell
-if "%OS%"=="Windows_NT" setlocal
-
-set DIRNAME=%~dp0
-if "%DIRNAME%" == "" set DIRNAME=.
-set APP_BASE_NAME=%~n0
-set APP_HOME=%DIRNAME%..
-
-@rem Resolve any "." and ".." in APP_HOME to make it shorter.
-for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
-
-@rem Add default JVM options here. You can also use JAVA_OPTS and CASE_STUDY_SORTING_PKG_OPTS to pass JVM options to this script.
-set DEFAULT_JVM_OPTS=
-
-@rem Find java.exe
-if defined JAVA_HOME goto findJavaFromJavaHome
-
-set JAVA_EXE=java.exe
-%JAVA_EXE% -version >NUL 2>&1
-if "%ERRORLEVEL%" == "0" goto execute
-
-echo.
-echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
-echo.
-echo Please set the JAVA_HOME variable in your environment to match the
-echo location of your Java installation.
-
-goto fail
-
-:findJavaFromJavaHome
-set JAVA_HOME=%JAVA_HOME:"=%
-set JAVA_EXE=%JAVA_HOME%/bin/java.exe
-
-if exist "%JAVA_EXE%" goto execute
-
-echo.
-echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
-echo.
-echo Please set the JAVA_HOME variable in your environment to match the
-echo location of your Java installation.
-
-goto fail
-
-:execute
-@rem Setup the command line
-
-set CLASSPATH=%APP_HOME%\lib\case-study-sorting-pkg-0.1.jar;%APP_HOME%\lib\pnml-relast-engine-fatjar-0.1.jar;%APP_HOME%\lib\jackson-annotations-2.13.3.jar;%APP_HOME%\lib\jackson-core-2.13.3.jar;%APP_HOME%\lib\jackson-databind-2.13.3.jar
-
-
-@rem Execute case-study-sorting-pkg
-"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %CASE_STUDY_SORTING_PKG_OPTS% -classpath "%CLASSPATH%" de.tudresden.inf.st.sorting.Main %*
-
-:end
-@rem End local scope for the variables with windows NT shell
-if "%ERRORLEVEL%"=="0" goto mainEnd
-
-:fail
-rem Set variable CASE_STUDY_SORTING_PKG_EXIT_CONSOLE if you need the _script_ return code instead of
-rem the _cmd.exe /c_ return code!
-if not "" == "%CASE_STUDY_SORTING_PKG_EXIT_CONSOLE%" exit 1
-exit /b 1
-
-:mainEnd
-if "%OS%"=="Windows_NT" endlocal
-
-:omega
diff --git a/case-study-sorting-pkg/build/tmp/compileJava/source-classes-mapping.txt b/case-study-sorting-pkg/build/tmp/compileJava/source-classes-mapping.txt
deleted file mode 100644
index f3cae35b088b3f6b3ec582819918c7e7a0ee3d39..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/tmp/compileJava/source-classes-mapping.txt
+++ /dev/null
@@ -1,77 +0,0 @@
-de/tudresden/inf/st/sorting/launcher/NodeLauncher.java
- de.tudresden.inf.st.sorting.launcher.NodeLauncher
-de/tudresden/inf/st/sorting/constants/TokenConstants.java
- de.tudresden.inf.st.sorting.constants.TokenConstants
-de/tudresden/inf/st/sorting/fake/FakeServerNode.java
- de.tudresden.inf.st.sorting.fake.FakeServerNode
-de/tudresden/inf/st/sorting/handlers/ControlGetHandler.java
- de.tudresden.inf.st.sorting.handlers.ControlGetHandler
-de/tudresden/inf/st/sorting/nodes/SensorNode.java
- de.tudresden.inf.st.sorting.nodes.SensorNode
-de/tudresden/inf/st/sorting/nodes/LeftControllerNode.java
- de.tudresden.inf.st.sorting.nodes.LeftControllerNode
-de/tudresden/inf/st/sorting/launcher/FeedbackLauncher.java
- de.tudresden.inf.st.sorting.launcher.FeedbackLauncher
- de.tudresden.inf.st.sorting.launcher.FeedbackLauncher$1
-de/tudresden/inf/st/sorting/handlers/PlaceSuccessHandler.java
- de.tudresden.inf.st.sorting.handlers.PlaceSuccessHandler
-de/tudresden/inf/st/sorting/handlers/SortColorHandler.java
- de.tudresden.inf.st.sorting.handlers.SortColorHandler
-de/tudresden/inf/st/sorting/handlers/PlaceAbortHandler.java
- de.tudresden.inf.st.sorting.handlers.PlaceAbortHandler
-de/tudresden/inf/st/sorting/Main.java
- de.tudresden.inf.st.sorting.Main
- de.tudresden.inf.st.sorting.Main$1
- de.tudresden.inf.st.sorting.Main$2
- de.tudresden.inf.st.sorting.Main$3
-de/tudresden/inf/st/sorting/nodes/FeedbackNode.java
- de.tudresden.inf.st.sorting.nodes.FeedbackNode
-de/tudresden/inf/st/sorting/handlers/SensorDataProcessingHandler.java
- de.tudresden.inf.st.sorting.handlers.SensorDataProcessingHandler
- de.tudresden.inf.st.sorting.handlers.SensorDataProcessingHandler$1
-de/tudresden/inf/st/sorting/handlers/PlaceHandler.java
- de.tudresden.inf.st.sorting.handlers.PlaceHandler
-de/tudresden/inf/st/sorting/launcher/LeftControllerLauncher.java
- de.tudresden.inf.st.sorting.launcher.LeftControllerLauncher
- de.tudresden.inf.st.sorting.launcher.LeftControllerLauncher$1
-de/tudresden/inf/st/sorting/utils/LogUtils.java
- de.tudresden.inf.st.sorting.utils.LogUtils
-de/tudresden/inf/st/sorting/launcher/SynchronizerLauncher.java
- de.tudresden.inf.st.sorting.launcher.SynchronizerLauncher
- de.tudresden.inf.st.sorting.launcher.SynchronizerLauncher$1
-de/tudresden/inf/st/sorting/launcher/SensorLauncher.java
- de.tudresden.inf.st.sorting.launcher.SensorLauncher
- de.tudresden.inf.st.sorting.launcher.SensorLauncher$1
-de/tudresden/inf/st/sorting/launcher/RightControllerLauncher.java
- de.tudresden.inf.st.sorting.launcher.RightControllerLauncher
- de.tudresden.inf.st.sorting.launcher.RightControllerLauncher$1
-de/tudresden/inf/st/sorting/handlers/ControlEndHandler.java
- de.tudresden.inf.st.sorting.handlers.ControlEndHandler
-de/tudresden/inf/st/sorting/handlers/ShowResultHandler.java
- de.tudresden.inf.st.sorting.handlers.ShowResultHandler
-de/tudresden/inf/st/sorting/launcher/SelectorLauncher.java
- de.tudresden.inf.st.sorting.launcher.SelectorLauncher
- de.tudresden.inf.st.sorting.launcher.SelectorLauncher$1
-de/tudresden/inf/st/sorting/nodes/ExecutorNode.java
- de.tudresden.inf.st.sorting.nodes.ExecutorNode
-de/tudresden/inf/st/sorting/handlers/PickFailHandler.java
- de.tudresden.inf.st.sorting.handlers.PickFailHandler
-de/tudresden/inf/st/sorting/handlers/PickHandler.java
- de.tudresden.inf.st.sorting.handlers.PickHandler
-de/tudresden/inf/st/sorting/handlers/PickSuccessHandler.java
- de.tudresden.inf.st.sorting.handlers.PickSuccessHandler
-de/tudresden/inf/st/sorting/nodes/RightControllerNode.java
- de.tudresden.inf.st.sorting.nodes.RightControllerNode
-de/tudresden/inf/st/sorting/nodes/SynchronizerNode.java
- de.tudresden.inf.st.sorting.nodes.SynchronizerNode
-de/tudresden/inf/st/sorting/nodes/SelectorNode.java
- de.tudresden.inf.st.sorting.nodes.SelectorNode
-de/tudresden/inf/st/sorting/handlers/PickAbortHandler.java
- de.tudresden.inf.st.sorting.handlers.PickAbortHandler
-de/tudresden/inf/st/sorting/handlers/PlaceFailHandler.java
- de.tudresden.inf.st.sorting.handlers.PlaceFailHandler
-de/tudresden/inf/st/sorting/launcher/ExecutorLauncher.java
- de.tudresden.inf.st.sorting.launcher.ExecutorLauncher
- de.tudresden.inf.st.sorting.launcher.ExecutorLauncher$1
-de/tudresden/inf/st/sorting/handlers/SensorDataGetHandler.java
- de.tudresden.inf.st.sorting.handlers.SensorDataGetHandler
diff --git a/case-study-sorting-pkg/build/tmp/jar/MANIFEST.MF b/case-study-sorting-pkg/build/tmp/jar/MANIFEST.MF
deleted file mode 100644
index 73cdeb4105b0fa952845bc0a4740457ef4d01e67..0000000000000000000000000000000000000000
--- a/case-study-sorting-pkg/build/tmp/jar/MANIFEST.MF
+++ /dev/null
@@ -1,3 +0,0 @@
-Manifest-Version: 1.0
-Main-Class: de.tudresden.inf.st.sample.Main
-
diff --git a/case-study-sorting-pkg/src/main/java/de/tudresden/inf/st/sorting/nodes/FeedbackNode.java b/case-study-sorting-pkg/src/main/java/de/tudresden/inf/st/sorting/nodes/FeedbackNode.java
new file mode 100644
index 0000000000000000000000000000000000000000..26a5a63d76034d503c95997e127f77651779a5a9
--- /dev/null
+++ b/case-study-sorting-pkg/src/main/java/de/tudresden/inf/st/sorting/nodes/FeedbackNode.java
@@ -0,0 +1,11 @@
+package de.tudresden.inf.st.sorting.nodes;
+
+import de.tudresden.inf.st.pnml.engine.ros.DiNeRosDefaultNode;
+import de.tudresden.inf.st.pnml.jastadd.model.PetriNet;
+
+public class FeedbackNode extends DiNeRosDefaultNode {
+
+ public FeedbackNode(String nodeName, PetriNet petriNet, String rcHost) {
+ super(nodeName, petriNet, rcHost, "mqtt");
+ }
+}