diff --git a/src/main/java/de/tudresden/inf/st/pnml/flatter/transform/ToolspecificsTransformer.java b/src/main/java/de/tudresden/inf/st/pnml/flatter/transform/ToolspecificsTransformer.java index cf20562524df264b5afa28b53443af20d7a3427a..1009f280cde7c40bc1c99be423b9547d51ed2924 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/flatter/transform/ToolspecificsTransformer.java +++ b/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()) { + + 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])) { - if (dt.getMutableTransitionInformation() == null) { - dt.setMutableTransitionInformation(dt.getStaticTransitionInformation().asServiceTransitionInformation().treeCopyNoTransform()); - } - for (int i = 0; i < serviceCapacity; i++) { ServiceChannel newSc = new ServiceChannel(); @@ -51,4 +52,4 @@ public class ToolspecificsTransformer { } } } -} +} \ No newline at end of file