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 6972a8d87f0945b36d20a09e7b022a9e6f927e2b..54ff2c461715d3daba7df172a38c2738692fecbe 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 @@ -49,6 +49,7 @@ public final class PnmlConstants { public static final String INPUT_SIGNAL_DEF = "inputsignal"; public static final String INPUT_SIGNAL_ID_DEF = "inputsignalID"; public static final String INPUT_SIGNAL_INIT_VALUE_DEF = "initialvalue"; + public static final String SIGNAL_VALUE_PAGE_ID = "signalValuePage"; // structural keys public static final String COMMUNICATORS = "communicators";