From c77edb6b071d93ba18bc84ba12e4bc1d65c36371 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Mon, 26 Jun 2023 17:47:23 +0200
Subject: [PATCH] added channel constant to pnml constants
---
.../de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java | 1 +
1 file changed, 1 insertion(+)
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 fc6c5d5..6972a8d 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";
--
GitLab