From 7e486c3676ac413bb6b8ec40ae54768d8a3672c3 Mon Sep 17 00:00:00 2001 From: SebastianEbert <sebastian.ebert@tu-dresden.de> Date: Fri, 9 Feb 2024 17:58:04 +0100 Subject: [PATCH] fixes on postprocessing --- .../splitter/postprocessing/GlobalToLocalNetsPostProcessor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java index a30a293..a9241f8 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java +++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java @@ -319,7 +319,7 @@ public class GlobalToLocalNetsPostProcessor implements PostProcessor<PetriNet> { attr2.setValue(placeType); port.setAttributeNode(attr2); - if(!withLimit) { + if(withLimit) { Attr attr3 = doc.createAttribute(PnmlConstants.CHANNEL_LIMIT_KEY); attr3.setValue(String.valueOf(innerEntry.getValue())); port.setAttributeNode(attr3); -- GitLab