From 1c9cfa724854ab68349c7d6fd4a294826dc9b631 Mon Sep 17 00:00:00 2001 From: SebastianEbert <sebastian.ebert@tu-dresden.de> Date: Thu, 15 Jun 2023 19:26:20 +0200 Subject: [PATCH] fixed service toolspec transformer --- .../flatter/transform/ToolspecificsTransformer.java | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) 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 cf20562..1009f28 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 -- GitLab