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;