From 081c0a95d0baffe23bb6f1e1911802cf4ab311bf Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 25 Jun 2018 14:04:35 +0200
Subject: [PATCH] Export pnpro with single-server semantics

---
 src/storm-gspn/storage/gspn/GSPN.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/storm-gspn/storage/gspn/GSPN.cpp b/src/storm-gspn/storage/gspn/GSPN.cpp
index 1f3e5a627..af41a94c2 100644
--- a/src/storm-gspn/storage/gspn/GSPN.cpp
+++ b/src/storm-gspn/storage/gspn/GSPN.cpp
@@ -432,7 +432,10 @@ namespace storm {
             for (auto& trans : timedTransitions) {
                 stream << space3 << "<transition name=\"" << trans.getName() << "\" ";
                 stream << "type=\"EXP\" ";
-                stream << "nservers-x=\"" << trans.getRate() << "\" ";
+                //stream << "nservers-x=\"" << trans.getRate() << "\" ";
+                // Use single-server semantics for GSPNs:
+                // timed rates are independent of number of tokens in input places
+                stream << "nservers=\"1\" ";
                 //Note: The rate is translated to a number showing the decimal figures so GreatSPN can process it
                 stream << "delay=\"" << std::showpoint << trans.getRate() << "\" ";
                 if (transitionLayout.count(trans.getID()) > 0) {