limited scope of topic rewrites

src/main/jastadd/flatter/rewrites/ServiceRewrites.jadd

 aspect ServiceRewrites {
 
+    syn boolean PetriNet.hasServerPrototypePages() {
+
+        for(Page p : this.allPages()){
+            if(p.getType().equals(PnmlConstants.PAGE_TYPE_SERVER)){
+                return false;
+            }
+        }
+        return true;
+    }
+
      rewrite Page {
      when ( getType() != null && getType().equals(PnmlConstants.PAGE_TYPE_SERVER) && !getId().endsWith(PnmlConstants.PAGE_SERVER_INSTANCE_SUFFIX) )
         to Page {

src/main/jastadd/flatter/rewrites/TopicRewrites.jadd

@@ -4,7 +4,7 @@ import de.tudresden.inf.st.pnml.flatter.transform.*;
 aspect TopicRewrites {
 
     rewrite DinerosTransition {
-    when ( getStaticTransitionInformation().isTopicTransitionInformation() )
+    when ( !petriNet().hasServerPrototypePages() && getStaticTransitionInformation().isTopicTransitionInformation() )
         to Page {
 
             Page res = new Page();