From 21477007dfb5bfab7bfdfe86cb15e70028007404 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Mon, 22 May 2023 17:51:14 +0200
Subject: [PATCH] added export of place informations and rebuild the export
---
.../inf/st/pnml/base/constants/PnmlConstants.java | 14 ++++++++++++++
1 file changed, 14 insertions(+)
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 c9f39d7..97c9993 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";
+
}
--
GitLab