diff --git a/src/storage/jani/Automaton.cpp b/src/storage/jani/Automaton.cpp
index 6b11d29a0..83ed56172 100644
--- a/src/storage/jani/Automaton.cpp
+++ b/src/storage/jani/Automaton.cpp
@@ -333,6 +333,10 @@ namespace storm {
         uint64_t Automaton::getNumberOfEdges() const {
             return edges.size();
         }
+        
+        bool Automaton::hasRestrictedInitialStates() const {
+            return hasInitialStatesRestriction() && !(getInitialStatesExpression().evaluateAsBool());
+        }
 
         bool Automaton::hasInitialStatesRestriction() const {
             return initialStatesRestriction.isInitialized();
diff --git a/src/storage/jani/Automaton.h b/src/storage/jani/Automaton.h
index 539e7df5e..6e9f945e8 100644
--- a/src/storage/jani/Automaton.h
+++ b/src/storage/jani/Automaton.h
@@ -258,6 +258,11 @@ namespace storm {
              */
             uint64_t getNumberOfEdges() const;
             
+            /*!
+             * Retrieves whether the initial restriction is set and unequal to true
+             */
+            bool hasRestrictedInitialStates() const;
+            
             /*!
              * Retrieves whether this automaton has an initial states restriction.
              */