fixed service toolspec transformer

src/main/java/de/tudresden/inf/st/pnml/flatter/transform/ToolspecificsTransformer.java

@@ -26,15 +26,16 @@ public class ToolspecificsTransformer {
 
         for (DinerosTransition dt : petriNet.allDinerosTransitions()) {
             if (dt.getStaticTransitionInformation().isServiceTransitionInformation()) {
-                for (ServiceChannel sc : dt.getMutableTransitionInformation().asServiceTransitionInformation().getClientChannelList()) {
-
-                    if (pagePlaceIds.contains(sc.getRequestPlaceId().split("-")[0])
-                            && pagePlaceIds.contains(sc.getResponsePlaceId().split("-")[0])) {
 
                 if (dt.getMutableTransitionInformation() == null) {
                     dt.setMutableTransitionInformation(dt.getStaticTransitionInformation().asServiceTransitionInformation().treeCopyNoTransform());
                 }
 
+                for (ServiceChannel sc : dt.getMutableTransitionInformation().asServiceTransitionInformation().getClientChannelList()) {
+
+                    if (pagePlaceIds.contains(sc.getRequestPlaceId().split("-")[0])
+                            && pagePlaceIds.contains(sc.getResponsePlaceId().split("-")[0])) {
+
                         for (int i = 0; i < serviceCapacity; i++) {
 
                             ServiceChannel newSc = new ServiceChannel();