export of topic transition toolspecifics

src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java

@@ -5,7 +5,7 @@ public final class PnmlConstants {
     // general transitions
     public static final String TRANSITION_TYPE_DISCRETE = "discreteTransitionType";
 
-    // topic transitions
+    // topic elements
     public static final String TRANSITION_TYPE_TOPIC = "topicTransitionType";
 
     public static final String TRANSITION_TOPIC_PUBLISHERS_DEF_KEY = "publishers";

src/main/jastadd/base/export/PrimitiveElementsConverter.jadd

@@ -148,7 +148,8 @@ aspect PrimitiveElementsConverter{
 
                             sb.append("</channels>");
 
-                            t.addToolspecificsHLAPI(new ToolInfoHLAPI(toolInfo.getTool(), toolInfo.getVersion(), sb, toolInfo.getToolInfoGrammarURI(), null));
+                            t.addToolspecificsHLAPI(new ToolInfoHLAPI(toolInfo.getTool(),
+                                    toolInfo.getVersion(), sb, toolInfo.getToolInfoGrammarURI(), null));
 
                         } else {
                             t.addToolspecificsHLAPI(new ToolInfoHLAPI(toolInfo.getTool(), toolInfo.getVersion(),
@@ -157,6 +158,46 @@ aspect PrimitiveElementsConverter{
                         }
                     }
 
+                } else if(dinerosTransition.getStaticTransitionInformation().isServiceTransitionInformation()){
+
+                    for(ToolInfo toolInfo : dinerosTransition.getToolspecificList()) {
+                        if (toolInfo.getTool().equals(PnmlConstants.TOOL_SPEC_KEY)) {
+                            StringBuffer sb = new StringBuffer();
+
+                            TopicTransitionInformation tti = dinerosTransition.getMutableTransitionInformation().asTopicTransitionInformation();
+
+                            sb.append("<type>topic</type> \n");
+                            sb.append("<topicName>" + tti.getTopic() + "</topicName> \n");
+
+                            sb.append("<publishers> \n");
+
+                            for(PublisherPort tp : tti.getPublisherPorts()){
+
+                                sb.append("<publisher> \n");
+                                sb.append("<id>" + tp.getPlaceId() + "</id> \n");
+                                sb.append("<limit>" + tp.getLimit() + "</limit> \n");
+                                sb.append("</publisher> \n");
+                            }
+
+                            sb.append("</publishers> \n");
+
+                            sb.append("<subscribers> \n");
+
+                            for(SubscriberPort sp : tti.getSubscriberPorts()){
+
+                                sb.append("<subscriber> \n");
+                                sb.append("<id>" + sp.getPlaceId() + "</id> \n");
+                                sb.append("<limit>" + sp.getLimit() + "</limit> \n");
+                                sb.append("</subscriber> \n");
+                            }
+
+                            sb.append("</subscribers> \n");
+
+                            t.addToolspecificsHLAPI(new ToolInfoHLAPI(toolInfo.getTool(),
+                                    toolInfo.getVersion(), sb, toolInfo.getToolInfoGrammarURI(), null));
+                        }
+                    }
+
                 } else {
                     dinerosTransition.getToolspecificList().forEach(toolInfo ->
                             t.addToolspecificsHLAPI(new ToolInfoHLAPI(toolInfo.getTool(), toolInfo.getVersion(),