From ca3b8786542d421951aaf43fd2c3ba390818cac5 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Mon, 29 Oct 2018 12:38:59 +0100
Subject: [PATCH] do not add rate 0 edges to jani (but print a warning)

---
 src/storm-gspn/builder/JaniGSPNBuilder.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm-gspn/builder/JaniGSPNBuilder.cpp b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
index 21dfc6264..940f38374 100644
--- a/src/storm-gspn/builder/JaniGSPNBuilder.cpp
+++ b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
@@ -141,6 +141,10 @@ namespace storm {
 
             }
             for (auto const& trans : gspn.getTimedTransitions()) {
+                if(storm::utility::isZero(trans.getRate())) {
+                    STORM_LOG_WARN("Transitions with rate zero are not allowed in JANI. Skipping this transition");
+                    continue;
+                }
                 storm::expressions::Expression guard = expressionManager->boolean(true);
                 
                 std::vector<storm::jani::Assignment> assignments;