diff --git a/src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java b/src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java index fc6c5d5f0cf84e0db605d207e5de494d31130740..6972a8d87f0945b36d20a09e7b022a9e6f927e2b 100644 --- a/src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java +++ b/src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java @@ -17,6 +17,7 @@ public final class PnmlConstants { // general properties public static final String NODE_KEY = "node"; + public static final String CHANNEL = "channel"; public static final String TYPE_KEY = "type"; public static final String TOOL_SPEC_KEY = "de.tudresden.inf.st.pnml.distributedPN";