diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/PostProcessingUtils.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/PostProcessingUtils.java index 969e4bba0d1892df95b427591957e49f5d4e6015..64f1f5f12a7cb71b468afbfe3d1fb16004673bfd 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/PostProcessingUtils.java +++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/PostProcessingUtils.java @@ -125,19 +125,19 @@ public class PostProcessingUtils { ServiceTransitionInformation oldSti = t.asInputSignalTransition().getStaticTransitionInformation().asServiceTransitionInformation(); t.asInputSignalTransition().setMutualTransitionInformation(new ServiceTransitionInformation(oldSti.getLocation(), oldSti.getType(), - oldSti.getInputLimit(), oldSti.getOutputLimit(), oldSti.getSubNet(), instanceId, oldSti.getServiceName())); + oldSti.getInputLimit(), oldSti.getOutputLimit(), oldSti.getSubNet(), instanceId, null, oldSti.getServiceName())); } else if (t.asInputSignalTransition().getStaticTransitionInformation().isTopicTransitionInformation()) { TopicTransitionInformation oldTti = t.asInputSignalTransition().getStaticTransitionInformation().asTopicTransitionInformation(); t.asInputSignalTransition().setMutualTransitionInformation(new TopicTransitionInformation(oldTti.getLocation(), oldTti.getType(), - oldTti.getInputLimit(), oldTti.getOutputLimit(), oldTti.getSubNet(), instanceId, oldTti.getTopic())); + oldTti.getInputLimit(), oldTti.getOutputLimit(), oldTti.getSubNet(), instanceId, null, oldTti.getTopic())); } else if (t.asInputSignalTransition().getStaticTransitionInformation().isDefaultTransitionInformation()) { TransitionInformation oldTi = t.asInputSignalTransition().getStaticTransitionInformation(); t.asInputSignalTransition().setMutualTransitionInformation(new DefaultTransitionInformation(oldTi.getLocation(), oldTi.getType(), - oldTi.getInputLimit(), oldTi.getOutputLimit(), oldTi.getSubNet(), instanceId)); + oldTi.getInputLimit(), oldTi.getOutputLimit(), oldTi.getSubNet(), instanceId, null)); } } else { t.asInputSignalTransition().getMutualTransitionInformation().setInstance(instanceId); @@ -150,7 +150,7 @@ public class PostProcessingUtils { if (p.asOutputSignalPlace().getMutualPlaceInformation() == null) { PlaceInformation oldPi = p.asOutputSignalPlace().getStaticPlaceInformation(); - p.asOutputSignalPlace().setMutualPlaceInformation(new PlaceInformation(oldPi.getLocation(), oldPi.getType(), oldPi.getSubNet(), instanceId)); + p.asOutputSignalPlace().setMutualPlaceInformation(new PlaceInformation(oldPi.getLocation(), oldPi.getType(), oldPi.getSubNet(), instanceId, null)); }else{ p.asOutputSignalPlace().getMutualPlaceInformation().setInstance(instanceId);