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 c9f39d7681204affff227e014a7b2da1eac7d033..97c99932b57171f2be21fb696b8efc214c302652 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 @@ -75,4 +75,18 @@ public final class PnmlConstants { public static final String ARC_TYPE_KEY = "type"; public static final String DEFAULT_ARC = "default"; public static final String INHIBITOR_ARC = "inhibitor"; + + // LRPN keys + public static final String CHANNEL_PORTS_KEY = "ports"; + public static final String CHANNEL_PORT_KEY = "port"; + public static final String CHANNEL_PLACE_KEY = "placeId"; + public static final String CHANNEL_NAME_KEY = "name"; + public static final String CHANNEL_PLACE_TYPE_KEY = "placeType"; + public static final String CHANNEL_PLACE_TYPE_SUB_KEY = "sub"; + public static final String CHANNEL_PLACE_TYPE_PUB_KEY = "pub"; + public static final String CHANNEL_PLACE_TYPE_CLIENT_RES_KEY = "cres"; + public static final String CHANNEL_PLACE_TYPE_CLIENT_REQ_KEY = "creq"; + public static final String CHANNEL_PLACE_TYPE_SERVER_RES_KEY = "sres"; + public static final String CHANNEL_PLACE_TYPE_SERVER_REQ_KEY = "sreq"; + }