From 1850cf736839613f0a88e5b53f1cd8a67df243fb Mon Sep 17 00:00:00 2001
From: Alexander Bork <alexander.bork@rwth-aachen.de>
Date: Fri, 22 Jun 2018 17:54:17 +0200
Subject: [PATCH] Fixed trigger rates for timed transitions not being saved in
 .pnpro files

---
 src/storm-gspn/storage/gspn/GSPN.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-gspn/storage/gspn/GSPN.cpp b/src/storm-gspn/storage/gspn/GSPN.cpp
index c622cc4fe..7b623b9de 100644
--- a/src/storm-gspn/storage/gspn/GSPN.cpp
+++ b/src/storm-gspn/storage/gspn/GSPN.cpp
@@ -433,6 +433,7 @@ namespace storm {
                 stream << space3 << "<transition name=\"" << trans.getName() << "\" ";
                 stream << "type=\"EXP\" ";
                 stream << "nservers-x=\"" << trans.getRate() << "\" ";
+                stream << "delay=\"" << trans.getRate() << "\" ";
                 if (transitionLayout.count(trans.getID()) > 0) {
                     stream << "x=\"" << transitionLayout.at(trans.getID()).x << "\" ";
                     stream << "y=\"" << transitionLayout.at(trans.getID()).y << "\" ";